Прямой треугольник состоит из боковых стенок ab и ac в соответствующих точках d и e, а линия bc пересекает точку f. доказательство неравенства ae > ad.

Достаточно доказать, что  угол (ADE) > угол(DEA)   [ <ADE > <DEA ].<ADE = <ABC + <BFD = <ACB +<BFD= (<CEF+<CFE )+ <BFD =<CEF +2*<F=  <DEA +2<F  > уголDEA[ <BFD  ; <CFE ;  <  F ]   . Значит   AE >AD  [ в/ треугольнике против большого угла лежит большая сторона ].