Господа, сообразил как это можно сделать без теоремы Пифагора. Доказательство получилось наверное даже сложнее чем доказательство самой теоремы Пифагора, зато как говорится, challenge accepted.
1. Предполагаем что два треугольника имеют равные суммы катетов и гипотенузу и при этом не равны друг другу. Значит, у них не могут быть все стороны равны, т.к. 3й признак равенства треугольников. Значит, у них отличаются катеты, а в частности наибольшие из них. Пусть
— наибольший катет первого треугольника,
— второго, и для определённости,
.
2. Рисуем отрезок
, равный сумме катетов каждого треугольника. Отмечаем на нем такие точки
и
, что
,
. В одной полуплоскости откладываем прямоугольный треугольник
, в другой —
(на соотв.
и
как на катетах), равные исходным.
3. Дорисовываем отрезки
,
. Получаются равнобедренные прямоугольные треугольники
,
.
4. Ключевой момент: продлеваем
до пересечения с
в точке
.
и
. Из чего
— равнобедренный,
. По условию,
как равные гипотенузы, значит
— равнобедренный (!).
5. Вспоминаем, что мы взяли
наибольшим катетом (или как минимум равным второму) треугольника
, следовательно
, а значит, *переводит дыхание*,
. Получили равнобедренный треугольник
, в котором угол при основании больше либо равен
. Противоречие с суммой углов треугольника, победа.
Наконец-то доказательство, которое под силу любому семикласснику!
P.S. подозреваю, что можно было сразу отложить оба треугольника в одной полуплоскости относительно
, но переписывать уже лень.