马里昂定理(《数学教师》1993年,Maushard 1994年,Morgan 1994年)指出,通过三等分三角形每条边,并将相应的点与对角顶点连接所确定的中心六边形区域的面积,是原始三角形面积的 1/10。
这可以很容易地使用三线坐标证明。在上图中,,
,
,并且根据多等分公式,三等分点的三线坐标为
|
(1)
| |||
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
|
然后,其他标记的点可以计算为
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
| |||
|
(14)
| |||
|
(15)
| |||
|
(16)
| |||
|
(17)
| |||
|
(18)
|
然后,使用三角形面积的三线方程,可以得到上面彩色三角形的面积,以原始三角形的面积表示。
|
(19)
| |||
|
(20)
| |||
|
(21)
| |||
|
(22)
|
然后取剩余的红色部分得到
|
(23)
| |||
|
(24)
|
正如最初所声明的那样。
马里昂定理的一个推广,有时被称为摩根定理,是由巴尔的摩 Patapsco 高中的二年级学生 Ryan Morgan 发现的(Morgan 1994)。如果三角形的边被分成 个相等的段(
为奇数),并且每个分点都连接到对角顶点,则仍然会形成一个中心六边形(Maushard 1994)。摩根定理指出,这个六边形的面积
|
(25)
|
相对于原始三角形(Morgan 1994)。对于 , 3, 5, ...,这给出了中心九边形数 1, 10, 28, 55, 91, 136, 190, 253, 325, 406, ... 的倒数之一 (OEIS A060544)。