MathLabs

Problem 2

In an acute-angled triangle ABCABC, the interior bisector of angle AA intersects BCBC at LL and intersects the circumcircle of ABCABC again at NN. From point LL, perpendiculars are drawn to ABAB and ACAC, with feet KK and MM respectively. Prove that the quadrilateral AKNMAKNM and the triangle ABCABC have equal areas.
Step 1 of 5: AKLM is a kite: perpendicular diagonals
In plain words

Folding the figure along ALAL swaps KK with MM and BB's side with CC's side, because ALAL is exactly the angle bisector — this symmetry is what forces KM⊥ALKM\perp AL.

AK=AM=ALcos⁡A2,LK=LM=ALsin⁡A2AK = AM = AL\cos\frac{A}{2}, \qquad LK = LM = AL\sin\frac{A}{2}
Detailed analysis

Since ALAL bisects angle AA and LK⊥ABLK \perp AB, LM⊥ACLM \perp AC, the right triangles AKLAKL and AMLAML share the hypotenuse ALAL and the equal angle ∠KAL=∠MAL=A/2\angle KAL = \angle MAL = A/2, so they are congruent: AK=AM=ALcos⁡(A/2)AK=AM=AL\cos(A/2) and LK=LM=ALsin⁡(A/2)LK=LM=AL\sin(A/2). Hence AKLMAKLM is a kite symmetric about ALAL, and its diagonals ALAL and KMKM are perpendicular.