给定一个参考三角形ABC,在三条边上(或延长线)各任意取一点X,Y,Z,那么XYZ叫做内嵌三角形或叫Miquel三角形。与XYZ相似(指同向相似)的内嵌三角形有无数个,那么所有相似的内嵌三角形具有唯一的一个Miquel点。
下面用文字证明以上结论:
根据Miquel定理:参考三角形ABC三条边上的X,Y,Z三点形成的三个Miquel圆具有唯一的交点,这点好理解,因为实际上三个圆共点有且仅有一个交点,这个交点就是三角形XYZ的Miquel点,设为P。连接PX, PY和PZ,那么PX,PY, PZ三条直线与ABC三边夹角相等;从P点引另外三条与ABC边相交的直线,让这三条直线保持与三边具有相同的方向夹角, 设与三边的交点为X',Y',Z',那么根据相似理论,这个三角形X'Y'Z'与XYZ相似。特别地,如果从P点作一个垂足三角形HIJ,那么HIJ也和XYZ也相似。
用反证法:假设有另一个内嵌三角形UVW,它与XYZ相似,但它的Miquel点为Q,那么作Q点的另一个垂足三角形的H'I'J',有H'I'J'与UVW相似,而UVW和XYZ相似,XYZ与HIJ正向相似,所以根据相似的传递性(边长等比或内角相值),则H'I'J'和HIJ相似,这说明可以以平面上某个点S为中心点,将H'I'J'相似变换(包括旋转和伸缩)到HIJ, 连接S与这两个垂足三角形的6个垂足点,则对应三角形ABC同一条边上的两条S射线与该边的夹角相等(根据相似变换的原理),根据Miquel定理的逆定理,得S点就是HIJ和H’I’J’的Miquel点。由于P点就是HIJ的Miquel点,根据Miquel点的唯一性,得P,Q和S是同一点,即所有相似的内嵌三角形具有唯一的一个Miquel点。 证毕!