差分

[[ファイル:みゆの三辺比定理.png]]

みゆの三辺比定理で示される三角形に対して余弦定理を用いることで以下の恒等式を導くことができる。

:$$(x^2+y^2-2xy\cos\theta)^2=(x^2-y^2)^2+(2xy-2y^2\cos\theta)^2-2(x^2-y^2)(2xy-2y^2\cos\theta)\cos\theta$$