余弦定理の証明

初等関数と微分・積分 (アナログ・テクノロジ・シリーズ), pp.124-126
チャート式絶対に身につけたい数学1+Aの基本 (チャート式・シリーズ), p.64

三平方の定理を直角三角形以外にも適用できるようにしたものとも見なせる、との由。