Let the triangle ABC be such that and . Let AL be its bisector and let M be the midpoint of AB. It turns out that . Show that .
(Danylo Khilko)

Fig. 4
Let the triangle ABC be such that and . Let AL be its bisector and let M be the midpoint of AB. It turns out that . Show that .
(Danylo Khilko)

Fig. 4
Since AL is a bisector, then (Fig. 4). Then is isosceles, so LM is its altitude and a median. Thus . Consider the triangles AML and ALC. Let C' be the projection of L on AC. Then right triangles AML and AC'L are equal by hypothenuse and the angle. Thus, . Therefore, , since there exists only one projection.
Thus is a right triangle for which , hence .