Problem 2
Let be an acute triangle with and . Let be its incenter and its orthocenter. Prove that .
Step 4 of 6: Convert the target angle
Detailed analysis
From the isosceles trapezoid and the cyclic quadrilateral, .
From the isosceles trapezoid and the cyclic quadrilateral, .