если в обоих прямоугольны треугольниках гепотенуза и один и тот же катит равны ,то треугольники равны
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
/|
/ |
гипотенуза / |катет
/ |
/__|
катет
Так как в прямоугольном треугольнике угол между двумя катетами — прямой, а любые два прямых угла равны, то из первого признака равенства треугольников следует, что:
если катеты одного прямоугольного треугольника соответственно равны катетам другого прямоугольного треугольника, то такие треугольники равны.
Из второго признака равенства треугольников следует, что:
если катет и прилежащий к нему острый угол одного прямоугольного треугольника соответственно равны катету и прилежащему к нему острому углу другого прямоугольного треугольника, то такие треугольники равны.
Рассмотрим еще два признака равенства прямоугольных треугольников:
если гипотенуза и острый угол одного прямоугольного треугольника соответственно равны гипотенузе и острому углу другого прямоугольного треугольника, то такие треугольники равны.
Доказательство. Из теоремы о сумме углов треугольника следует, что в этих треугольниках два других острых угла также равны, поэтому они равны по второму признаку равенства треугольников, т. е. по стороне (гипотенузе) и двум прилежащим к ней углам.