勾股定理
余弦定理（也叫做余弦公式）是勾股定理的扩展：