n::::勾股定理之二.设formula_26中，formula_27，formula_28，formula_29。过formula_30点作formula_52的垂线，垂足为formula_32，设formula_54，则formula_55，根据勾股定理：如果formula_32在formula_52的延长线上，证明是类似的。同理可以得到其他的等式。
应用.余弦定理是解三角形中的一个重要定理。
求边.余弦定理可以简单地变形成：因此，如果知道了三角