Треугольники АНС =С₁Н₁А₁, так как <em>два прямоугольных треугольника равны, если катет и гипотенуза одного треугольника равны катету и гипотенузе другого</em>;
В треугольнике НВС угол НСВ= углу В₁С<span>₁</span><span> </span>Н<span> </span><span>₁</span>, ( <span>90 минус равный угол НСА и Н<span>₁</span>С<span>₁</span>А<span>₁</span></span>)
Треугольники АВС и А<span>₁</span>В<span>₁</span>С<span>₁</span> равныи, так как <em>если в прямоугольном треугольнике катет и прилежащий острый угол одного треугольника равны катету и прилежащему острому углу другого, то эти треугольники равны</em>;
катеты НС и Н<span>₁</span>1С<span>₁</span> и прилежащий острый угол одного треугольника р<span>авны катету и прилежащему острому углу другого</span>;
АВС=АНС+НАС.
А<span>₁</span>В<span>₁</span>С<span>₁</span>=В<span>₁</span>С<span>₁</span>Н<span>₁</span>+А<span>₁</span>Н<span>₁</span>С<span>₁</span><span> </span>
Отсюда АВС=А<span>₁</span>В<span>₁</span>С<span>₁</span>