Треугольник ВНС равен треугольнику В1Н1С1
по стороне ВН=В1Н1 и двум углам, прилегающим к ней (прямому
и углу НВС=90-НСВ=90-Н1С1В1=Н1В1С1)
→ ВС=В1С1, угол НВС=Н1В1С1
аналогично треугольник АВН равен треугольнику А1В1Н1
→ АВ=А1В1, угол АВН=А1В1Н1
треугольники АВС и А1В1С1 равны по двум сторонам
и углу между ними
(угол АВС=АВН+НВС=А1В1Н1+Н1В1С1=А1В1С1,
АВ=А1В1, ВС=В1С1)
