'''みゆの三辺比定理'''(みゆのさんぺんひていり)とは、三角形の2辺のなす角が (みゆのさんぺんひていり)とは、三角形の二辺のなす角が $$\theta~\mathrm{rad}$$ である場合の三辺比は2つの変数からなる代数式の比で表せる、ということを示す定理である。
==概要==
いずれの辺も $$0$$ ではないとき、$$(x^2-y^2)$$ と $$(2xy-2y^2\cos\theta)$$ に対応する2辺の成す角の角度が に対応する二辺の成す角の角度が $$\theta~\mathrm{rad}$$ となる。ここでいう2辺の成す角度とは、正確には辺を延長した直線と直線の成す角度である。三角形の辺として注目する場合は、2辺の正負符号が同じ場合には内角、いずれか一方が負の場合には外角が、それぞれ となる。ここでいう二辺の成す角度とは、正確には辺を延長した直線と直線の成す角度である。三角形の辺として注目する場合は、二辺の正負符号が同じ場合には内角、いずれか一方が負の場合には外角が、それぞれ $$\theta~\mathrm{rad}$$ となる。すなわち一方が負の場合の内角は $$\pi-\theta~\mathrm{rad}$$ となるが、これは辺の長さが負の値をとることによって内角と外角が入れ替わることに起因する。
==導出==
であり、先程の余弦定理を用いた表現に書き改めると
:$$x^2-y^2$$ : $$2xy-2y^2\cos\theta$$ : $$x^2+y^2-2xy\cos\theta$$
となる。この比率は2辺の成す角が となる。この比率は二辺の成す角が $$\theta~\mathrm{rad}$$ である三角形の三辺比といえる。