Доказать: AB² = AD · AC.

1. Угол ∠BAC равен углу ∠BDA как вписанные, опирающиеся на дугу BC.
2. Угол ∠ABC равен углу ∠ADC как вписанные, опирающиеся на дугу AC.
3. Следовательно, △ABC ~ △DBA по двум углам. Отсюда AB/DB = AC/AB, что дает AB² = AD · AC. Доказано.