两个直角三角形若拥有相同的直角边和相同的锐角,其形状与大小必然完全一致——就像两把完全相同的三角尺,只是其中一把被旋转过而已。
△OLX\triangle OLX△OLX 与 △OMC\triangle OMC△OMC 都在 LLL、MMM 处为直角(半径与切线以 90∘90^\circ90∘ 垂直),且直角边 OL=OMOL=OMOL=OM(均为半径)相等。由于 AX=AOAX=AOAX=AO,三角形 OAXOAXOAX 是等腰三角形,从而 ∠OXL=90∘−∠A2=180∘−∠A2\angle OXL = 90^\circ-\tfrac{\angle A}{2}=\tfrac{180^\circ-\angle A}{2}∠OXL=90∘−2∠A=2180∘−∠A;又因为 ABCDABCDABCD 是圆内接四边形,有 ∠A+∠C=180∘\angle A+\angle C=180^\circ∠A+∠C=180∘,于是上式等于 ∠C2\tfrac{\angle C}{2}2∠C。另一方面,因为 CM,CNCM,CNCM,CN 是从 CCC 出发的两条切线,所以 OCOCOC 平分 ∠C\angle C∠C,即 ∠OCM=∠C2\angle OCM=\tfrac{\angle C}{2}∠OCM=2∠C。对应角与对应边都相等,故 △OLX≅△OMC\triangle OLX\cong\triangle OMC△OLX≅△OMC,从而 LX=MCLX=MCLX=MC。