余弦定理と三平方の定理