2001 IMO Problems
Problem 1
Consider an acute triangle . Let be the foot of the altitude of triangle issuing from the vertex , and let be the circumcenter of triangle . Assume that . Prove that .
Problem 2
Let be positive real numbers. Prove that .