Пусть даны треугольники ABC и A'B'C', при этом углы A, A' прямые, тогда BC, B'C' — гипотенузы, по условию, BC=B'C'. Пусть также ∠B=∠B'=β. Докажем, что ΔABC=ΔA'B'C'.
Сумма углов любого треугольника равна 180 градусам. Поскольку наши треугольники прямоугольные, сумма их острых углов равна 90 градусам. Таким образом, ∠B+∠C=90°, ∠C=90°-∠B=90°-β. Аналогично, ∠C'=90°-∠B'=90°-β. Следовательно, ∠C=∠C'. Это значит, что ΔABC и ΔA'B'C' равны по гипотенузе и двум прилежащим к ней острым углам (BC=B'C', ∠B=∠B', ∠C=∠C'), что и требовалось доказать.
Чтобы доказать эту теорему, построим два прямоугольных гольника ABC и А'В'С', у которых углы А и А' равны, гипотенузы АВ и А'В' также равны, а углы С и С' — прямые
Наложим треугольник А'В'С' на треугольник ABC так, чтобы вершина А' совпала с вершиной А, гипотенуза А'В' — с равной гипотенузой АВ. Тогда вследствие равенства углов A и А' катет А'С' пойдёт по катету АС; катет В'С' совместится с катетом ВС: оба они перпендикуляры, проведённые к одной прямой АС из одной точки В. Значит, вершины С и С' совместятся.
Сумма углов любого треугольника равна 180 градусам. Поскольку наши треугольники прямоугольные, сумма их острых углов равна 90 градусам. Таким образом, ∠B+∠C=90°, ∠C=90°-∠B=90°-β. Аналогично, ∠C'=90°-∠B'=90°-β. Следовательно, ∠C=∠C'. Это значит, что ΔABC и ΔA'B'C' равны по гипотенузе и двум прилежащим к ней острым углам (BC=B'C', ∠B=∠B', ∠C=∠C'), что и требовалось доказать.
Чтобы доказать эту теорему, построим два прямоугольных гольника ABC и А'В'С', у которых углы А и А' равны, гипотенузы АВ и А'В' также равны, а углы С и С' — прямые
Наложим треугольник А'В'С' на треугольник ABC так, чтобы вершина А' совпала с вершиной А, гипотенуза А'В' — с равной гипотенузой АВ. Тогда вследствие равенства углов A и А' катет А'С' пойдёт по катету АС; катет В'С' совместится с катетом ВС: оба они перпендикуляры, проведённые к одной прямой АС из одной точки В. Значит, вершины С и С' совместятся.
Треугольник ABC совместился с треугольником А'В'С'.
Следовательно, тр. АВС = тр. А'В'С'.