ｃ²　＝　ａ² + ｂ² − ２ａｂ・cos (∠Ｃ )

　　　　　

　　　直角三角形ＡＢＨにおける三平方の定理より
　 　　　　ｃ²　＝　( ｂ・sin (∠Ｃ ) ) ² + ( ａ − ｂ・cos (∠Ｃ) ) ²
　　　　　　　　＝→　ｂ²sin (∠Ｃ ) ² + ａ² − ２ａｂ・cos (∠Ｃ ) ＋ ｂ²cos (∠Ｃ ) ²
　　　　　　　　＝→　ｂ² ( sin (∠Ｃ ) ² ＋ cos (∠Ｃ ) ²) + ａ² − ２ａｂ・cos (∠Ｃ )
　　　　　　　　＝→　ａ² + ｂ² − ２ａｂ・cos (∠Ｃ )