ラウスの定理

三角形 ABC の BC 上に D を、CA 上に E を、AB 上に F をとる。 ${\displaystyle {\tfrac {CD}{BD}}=x}$, ${\displaystyle {\tfrac {AE}{CE}}=y}$, ${\displaystyle {\tfrac {BF}{AF}}=z}$ としたとき、三角形 ABC の面積に対する AD, BE, CF の3本の線で囲まれる三角形の面積は以下の式で表される。

${\displaystyle {\frac {(xyz-1)^{2}}{(xy+y+1)(yz+z+1)(zx+x+1)}}.}$

一例として、x = y = z = 2 のときには元の面積の1/7の三角形(en)が作られる。xyz = 1 のときはこの式は0となるが、これはチェバの定理の逆が成り立つため3線が1点に集まるからである。

三角形 ABC の面積を 1 とする。三角形 ABD と直線 FRC に対しメネラウスの定理を適用すると以下の式が得られる。

${\displaystyle {\frac {AF}{FB}}\times {\frac {BC}{CD}}\times {\frac {DR}{RA}}=1}$

これを変形する。

${\displaystyle {\frac {DR}{RA}}={\frac {BF}{FA}}{\frac {DC}{CB}}={\frac {zx}{x+1}}}$

三角形 ARC の面積は以下のように求まる。

${\displaystyle S_{ARC}={\frac {AR}{AD}}S_{ADC}={\frac {AR}{AD}}{\frac {DC}{BC}}S_{ABC}={\frac {x}{zx+x+1}}}$

同様に ${\displaystyle S_{BPA}={\frac {y}{xy+y+1}}}$、${\displaystyle S_{CQB}={\frac {z}{yz+z+1}}}$ が得られる。

以上から三角形 PQR の面積は以下のように求められる。

${\displaystyle \displaystyle S_{PQR}=S_{ABC}-S_{ARC}-S_{BPA}-S_{CQB}}$

${\displaystyle =1-{\frac {x}{zx+x+1}}-{\frac {y}{xy+y+1}}-{\frac {z}{yz+z+1}}}$

${\displaystyle ={\frac {(xyz-1)^{2}}{(xz+x+1)(yx+y+1)(zy+z+1)}}.}$

• Murray S. Klamkin and A. Liu (1981) "Three more proofs of Routh's theorem", Crux Mathematicorum 7:199–203.
• H. S. M. コクセター (1969) Introduction to Geometry, statement p. 211, proof pp. 219–20, 2nd edition, Wiley, New York.
• J. S. Kline and D. Velleman (1995) "Yet another proof of Routh's theorem" (1995) Crux Mathematicorum 21:37–40
• Routh's Theorem, Jay Warendorff, The Wolfram Demonstrations Project.
• Weisstein, Eric W. “Routh's Theorem”. mathworld.wolfram.com (英語).
• Routh's Theorem by Cross Products at MathPages
• Ayoub, Ayoub B. (2011/2012) "Routh's theorem revisited", Mathematical Spectrum 44 (1): 24-27.