Euclid's Elements
ユークリッド原論第2巻命題12では、鈍角三角形の鈍角に対応する第二余弦定理がピタゴラスの定理を用いて示されている。現代的に書けば