Равенство справедливоПусть Q высота к гипотенузе большого треугольника. Мы получаем внутри большого треугольника два маленьких.Для маленьких треугольников по теореме Пифагора с общим катетом Q.a^2_c + q^2 = a^2b^2_c + q^2 = b^2Отнимем от первого выражения второе.Получим a^2_c + q^2 - (b^2_c + q^2) = a^2 - b^2скобки раскроем и упростим до нужного видаПолучим a^2 - b^2 = a^2_c - b^2_c