Hoặc
Quan sát Hình 25 và chứng minh x=aha'−a
Xét tam giác ABC có BC ⊥ AB' và B'C'⊥ AB' nên suy ra BC // B'C'.
Theo hệ quả định lí Thalès, ta có:
ABAB'=BCBC'⇒xx+h=aa'⇒a'x=a(x+h)⇒a'x−ax=ah
⇒xa'−a=ah⇒x=aha'−a (đpcm).