三角関数において重要な公式　『余弦定理』