如果叫我说出一个我最喜欢的数学定理,之前我可能会说 Monge 定理;不过现在,我可能会说 Marden 定理了:
设 p(z) 是一个复数域上的三次多项式, z1 、 z2 、 z3 是 p(z) 的三个根,它们在复平面上不共线。那么,在这个复平面上存在唯一的椭圆,使得它与三角形 z1z2z3 的各边都相切,并且都切于各边的中点处。并且,这个椭圆的两个焦点是 p'(z) 的两根。
读完这个结论以后,你一定会被数学之美深深地打动。这个结论出现在了 Morris Marden 于 1945 年发表的一篇论文里,因而被 Dan Kalman 称为 Marden 定理。 Marden 本人则认为,这个结论最早是由 Jörg Siebeck 在 1864 年发现并证明的。下面我们简单地来证明一下这个结论,证明过程出自 Dan Kalman 在 2008 年发表的获奖论文 An Elementary Proof of Marden’s Theorem 。