Обозначим основания трапеции ABCD как AD = a и BC = b. Так как треугольники ABC и CAD подобны, то их соответствующие стороны пропорциональны. Запишем пропорцию для соответствующих сторон:
AC/AD = BC/AC
Перемножив крайние и средние члены пропорции, получим:
AC * AC = AD * BC
AC^2 = a * b
Что и требовалось доказать.