三角形内嵌的相似三角形之间的关系

给定一个参考三角形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点。 证毕！