a_31的垂线，垂足为formula_32，如果formula_32在formula_31内部，则formula_35的长度为formula_36，formula_37的长度为formula_38，formula_39的长度为formula_40。根据勾股定理：如果formula_32在formula_31的延长线上，证明是类似的。同理可以得到其他的等式。
勾股定理之二.设formula_26中，formula_27，formula_28，formula_29。过formula