罗斯定理

在几何学中，罗斯定理是关于三角形面积的一个定理。给定一个三角形，在它的三边上各取一点，并和对面的顶点相连。三条连线将会在三角形中央围出一个新的小三角形。罗斯定理给出了这个新三角形的面积与三角形边上三个点的位置的关系。罗斯定理可以看成是塞瓦定理的一种推广。 这个定理最早由爱德华·约翰·罗斯于1896年在其著作《论解析静力学及例子》一书的第82页中提出。当 x = y = z = 2 {\displaystyle x=y=z=2} 时，结论就是所谓的七分三角形。 设有一个三角形 A B C {\displaystyle ABC} ，而 D {\displaystyle D} 、 E {\displaystyle E} 与 F {\displaystyle F} 分别是三角形的三条边 B C {\displaystyle BC} 、 C A {\displaystyle CA} 和 A B {\displaystyle AB} 上的点。如果设 B D = a {\displaystyle BD=a} 、 C E = b {\displaystyle CE=b} 、 A F = c {\displaystyle AF=c} ，以及 C D B D {\displaystyle {\tfrac {CD}{BD}}} = x {\displaystyle =x} 、 A E C E {\displaystyle {\tfrac {AE}{CE}}} = y {\displaystyle =y} 、 B F A F {\displaystyle {\tfrac {BF}{AF}}} = z {\displaystyle =z} ，那么右图中红色的小三角形 P Q R {\displaystyle \scriptstyle PQR} 的面积占三角形 A B C {\displaystyle ABC} 面积的比例就是： ( x y z − 1 ) 2 ( x z + x + 1 ) ( y x + y + 1 ) ( z y + z + 1 ) {\displaystyle {\frac {(xyz-1)^{2}}{(xz+x+1)(yx+y+1)(zy+z+1)}}} 这个三角形 P Q R {\displaystyle \scriptstyle PQR} 是由线段 A D {\displaystyle AD} 、 B E {\displaystyle BE} 和 C F {\displaystyle CF} 围出来的，或者可以看成将三角形 A B C {\displaystyle ABC} 沿着 B D {\displaystyle BD} 、 C E {\displaystyle CE} 、 A F {\displaystyle AF} 剪裁而剩下的三角形。 当 B D {\displaystyle BD} 、 C E {\displaystyle CE} 、 A F {\displaystyle AF} 三线交于一点，那么由三角形面积为0可以推出 x y z = 1 {\displaystyle xyz=1} ，这时就得到塞瓦定理。反过来如果 x y z = 1 {\displaystyle xyz=1} 时，中间的三角形面积为0，也就是说 B D {\displaystyle BD} 、 C E {\displaystyle CE} 、 A F {\displaystyle AF} 三线交于一点，因此得出塞瓦定理的逆定理。 设三角形 A B C {\displaystyle ABC} 面积为1。对三角形 A B D {\displaystyle ABD} 以及直线 F R C {\displaystyle FRC} 使用梅涅劳斯定理，得到： A F F B × B C C D × D R R A = 1 {\displaystyle {\frac {AF}{FB}}\times {\frac {BC}{CD}}\times {\frac {DR}{RA}}=1} 因此 D R R A = B F F A D C C B = z x x + 1 {\displaystyle {\frac {DR}{RA}}={\frac {BF}{FA}}{\frac {DC}{CB}}={\frac {zx}{x+1}}} 于是三角形 A R C {\displaystyle ARC} 的面积： S A R C = A R A D S A D C = A R A D D C B C S A B C = x z x + x + 1 {\displaystyle S_{ARC}={\frac {AR}{AD}}S_{ADC}={\frac {AR}{AD}}{\frac {DC}{BC}}S_{ABC}={\frac {x}{zx+x+1}}} 同理可得 S B P A = y x y + y + 1 {\displaystyle S_{BPA}={\frac {y}{xy+y+1}}} 和 S C Q B = z y z + z + 1 {\displaystyle S_{CQB}={\frac {z}{yz+z+1}}} 于是三角形 P Q R {\displaystyle PQR} 的面积： S P Q R = S A B C − S A R C − S B P A − S C Q B {\displaystyle \displaystyle S_{PQR}=S_{ABC}-S_{ARC}-S_{BPA}-S_{CQB}} = 1 − x z x + x + 1 − y x y + y + 1 − z y z + z + 1 {\displaystyle =1-{\frac {x}{zx+x+1}}-{\frac {y}{xy+y+1}}-{\frac {z}{yz+z+1}}} = ( x y z − 1 ) 2 ( x z + x + 1 ) ( y x + y + 1 ) ( z y + z + 1 ) . {\displaystyle ={\frac {(xyz-1)^{2}}{(xz+x+1)(yx+y+1)(zy+z+1)}}.} 当 x = y = z = 2 {\displaystyle x=y=z=2} 时，D、E、F三点便是三角形 A B C {\displaystyle ABC} 三条边的三等分点。由罗斯定理可以算出围成的小三角形 P Q R {\displaystyle PQR} 的面积是原来三角形 A B C {\displaystyle ABC} 面积的七分之一。简单来说，就是： 如果将三角形的顶点和对边的三等分点连线，那么沿线剪裁后剩下的小三角形的面积是原来的七分之一。 这里所取的三等分点必须是“同向”的，即是说不能有两点同时“更靠近”同一个顶点。 根据R.J. 库克和G.V.伍德的回忆，某次在康奈尔大学的研讨会结束后的晚宴上，有人曾经向物理学家理查德·费曼提出过这个问题。费曼几乎把所有的晚宴时间都花在证明这个命题不成立上面，但最后还是证出它是正确的。因此这个面积为原三角形面积七分之一的三角形有时也被叫作“费曼三角形”。 （英文）默里·S. 克拉姆金. Three more proofs of Routh's theorem. Crux Mathematicorum 7 (1981) 199–203.  R.J. Cook & G.V. Wood (2004), Feynman's Triangle, Mathematical Gazette 88:299–302. Feyman's Triangle[永久失效連結] （英文）H.S.M.考克瑟特. Introduction to Geometry. Wiley, New York, 1969,第二版.  （英文）J.S.克莱因, D.威尔曼. Yet another proof of Routh's theorem. Crux Mathematicorum 21 (1995) 37–40.  Routh's Theorem （页面存档备份，存于互联网档案馆）, Jay Warendorff, 沃夫兰证明计划. 埃里克·韦斯坦因. 罗斯定理. MathWorld.  Hugo Steinhaus (1960) Mathematical Snapshots James Randi (2001) Proof by Martin Gardner （页面存档备份，存于互联网档案馆） R.J. Cook & G.V. Wood (2004) Feynman's Triangle Mathematical Gazette 88:299–302. Michael de Villiers (2005) Feynman's Triangle: Some Feedback and More （页面存档备份，存于互联网档案馆） Mathematical Gazette 89:107.