Let be a right triangle with the right angle at vertex and let be the midpoint of the leg . Prove that . When is the equality achieved?
Solution
Since , according to the sine addition theorem we have
Let , , and . From right triangles and we get
Since and , that is equivalent to
i.e. . Now it is clear that the given inequality holds in every right triangle. The equality is achieved when .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.