ユークリッド原論
ユークリッド原論第2巻命題13では、鋭角三角形に対する第二余弦定理が示されている。