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 2 of 5: Classical bisector-chord identity via similar triangles
In plain words

This is the standard 'power of the angle bisector' lemma: extending the bisector to the circle always turns the two triangles it cuts off into similar copies of each other.

AL⋅AN=AB⋅ACAL \cdot AN = AB \cdot AC
Detailed analysis

Since A,L,NA,L,N are collinear, triangles ABLABL and ANCANC share the angle ∠BAL=∠NAC=A/2\angle BAL=\angle NAC=A/2 at AA; also ∠ABL=∠ABC=∠ANC\angle ABL=\angle ABC=\angle ANC because ∠ABC\angle ABC and ∠ANC\angle ANC subtend the same arc ACAC of the circumcircle. Hence △ABL∼△ANC\triangle ABL \sim \triangle ANC, giving AB/AN=AL/ACAB/AN = AL/AC, i.e. AL⋅AN=AB⋅ACAL\cdot AN = AB\cdot AC.