Ta có:
ABD = ACB (theo giả thiết)
Vì AB = AB (cạnh chung)
Và ABD = ACB (góc chung)
Nên tam giác ABD và tam giác ACB đồng dạng theo trường hợp góc - cạnh - góc (AAA).

Do đó, ta có tỉ lệ đồng dạng:
AB/AD = AC/AB
AB^2 = ADxAC (nhân cả hai vế với AB)

Vậy chứng minh được AB^2 = ADxAC.