余弦定理とピタゴラスの定理