Pythagorean theorem
ピタゴラスの定理は既に証明されているとする。 において、, とおくと、余弦定理より