这是关于“角平分线幂”的标准引理:把角平分线延长到圆上,它切出的两个三角形总是彼此相似。
由于 A,L,NA,L,NA,L,N 共线,三角形 ABLABLABL 与 ANCANCANC 在 AAA 处共用角 ∠BAL=∠NAC=A/2\angle BAL=\angle NAC=A/2∠BAL=∠NAC=A/2;又因 ∠ABC\angle ABC∠ABC 与 ∠ANC\angle ANC∠ANC 对着外接圆的同一段弧 ACACAC,故 ∠ABL=∠ABC=∠ANC\angle ABL=\angle ABC=\angle ANC∠ABL=∠ABC=∠ANC。于是 △ABL∼△ANC\triangle ABL \sim \triangle ANC△ABL∼△ANC,从而 AB/AN=AL/ACAB/AN = AL/ACAB/AN=AL/AC,即 AL⋅AN=AB⋅ACAL\cdot AN = AB\cdot ACAL⋅AN=AB⋅AC。