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 4 of 5: AN and KM are the perpendicular diagonals of AKNM
In plain words

AKNMAKNM is really the same kite shape as AKLMAKLM, just with its long diagonal stretched from LL out to NN — stretching a diagonal of a kite along its own line keeps the area formula 12d1d2\tfrac12 d_1 d_2 valid.

[AKNM]=12⋅AN⋅KM[AKNM] = \frac{1}{2}\cdot AN \cdot KM
Detailed analysis

Because AA, LL, NN lie on the same line (the bisector extended to the circle), the segment ANAN lies along the same line as ALAL, so KM⊥ANKM\perp AN as well as KM⊥ALKM\perp AL. Thus ANAN and KMKM are the two diagonals of quadrilateral AKNMAKNM, and they are perpendicular, so its area is half their product: [AKNM]=12AN⋅KM[AKNM]=\tfrac12 AN\cdot KM.