Треугольники АНС =С₁Н₁А₁, так как два прямоугольных треугольника равны, если катет и гипотенуза одного треугольника равны катету и гипотенузе другого;
В треугольнике НВС угол НСВ= углу В₁С₁ Н ₁, ( 90 минус равный угол НСА и Н₁С₁А₁)
Треугольники АВС и А₁В₁С₁ равныи, так как если в прямоугольном треугольнике катет и прилежащий острый угол одного треугольника равны катету и прилежащему острому углу другого, то эти треугольники равны;
катеты НС и Н₁1С₁ и прилежащий острый угол одного треугольника равны катету и прилежащему острому углу другого;
АВС=АНС+НАС.
А₁В₁С₁=В₁С₁Н₁+А₁Н₁С₁
Отсюда АВС=А₁В₁С₁
Обозначим треугольник АВС. АВ основание, угол С прямой. Из С на АВ опустим высоту СД. Она делит треугольник АВС на два подобных треугольника площади которых относятся как квадраты сходственных сторон . Пусть ДВ=Х, СД=Н, тогда Scдв/Scда=Хквадрат/Н квадрат=4/16. Отсюда Х=H/2. Площадь треугольника СДВ равна Sсдв=1/2*Х*Н=4. Подставляем значение Х, получим Sсдв=1/2*H/2*H=4. Отсюда Н=4. Тогда Х=Н/2=2. Площадь треугольника АВС равна Sавс=1/2*АВ*Н=16+4. Подставляем Н, получим Sавс=1/2*АВ*4=20, отсюда АВ=10.