直角三角形与垂足把 AL=AC 转化为 AB 上的一个有用乘积。
由 AL=ACAL=ACAL=AC 及高线定理 AC2=AD⋅ABAC^2=AD\cdot ABAC2=AD⋅AB,得 AL2=AD⋅ABAL^2=AD\cdot ABAL2=AD⋅AB。故三角形 ALDALDALD 与 ABLABLABL 相似,从而因 A,X,LA,X,LA,X,L 共线且 B,X,KB,X,KB,X,K 共线,有 ∠ALD=∠XBA\angle ALD=\angle XBA∠ALD=∠XBA。