三角形的垂足三角形与内接三角形

对于$△ABC$, $P$为平面上任意一点, 其垂足三角形为 $△P_1{P}_2{P}_3$, 是否存在垂足三角形某种特定形状(即 $\angle P_2{P}_1{P}_3=\alpha$, $\angle P_1{P}_2{P}_3=\beta$, $\angle P_1{P}_2{P}_3=\gamma$)的点$P$? 并求出其集合.

先证明一个结论:
$$\angle BPC=\angle P_3{P}_1{P}_2+\angle A$$
易证 $B$, $P_3$, $P$, $P_1$ 四点共圆; $C$, $P_2$, $P$, $P_1$ 四点共圆
所以 $$\angle P_3{P}_{1}P=\angle ABP$$
$$\angle P{P}_1{P}_2=\angle PC{P}_2$$
$$\angle BP{P}_1=\angle ABP+\angle BAP$$
$$\angle CP{P}_1=\angle ACP+\angle CAP$$
进而得出此结论, 同理
$$\angle APB=\angle P_1{P}_3{P}_2+\angle C$$
$$\angle APC=\angle P_3{P}_2{P}_1+\angle B$$
因此 $P$ 点满足命题条件的充要条件是:
在以$BC$为弦, 半径为 $a/(2\sin (A+\alpha ))$的$⨀O_1$ (取使得$\angle BPC=\alpha$的那个, 下面同理), 以$AC$为弦, 半径为 $b/(2\sin (B+\beta ))$的$⨀O_2$, 以$BC$为弦, 半径为 $c/(2\sin (C+\gamma ))$的$⨀O_3$的交点(异于三角形三顶点)上.

可以证明三圆必交于一点.
若 $⨀O_1$, $⨀O_2$ 交于 $X$, 则 $\angle APB=2\pi -\angle BPC-\angle APC=2\pi -A-B-\alpha -\beta =C+\gamma$, $X$ 必在 $⨀O_3$ 上.

因此充要条件可以进一步弱化为这三个圆任意两个的交点.

当交点在顶点上时, 没有满足条件的点. 否则存在, 其集合为该交点.

在回答下一个问题前, 我们先证明一条引理, 对于 $△ABC$, 将由 $P$ 向三边所引的三条垂线旋转任意角度, 与三边(所在直线)的交点构成的三角形均与 $△P_1{P}_2{P}_3$ 相似.

易证三个阴影三角形相似, 进而 $△P_{3}P{P}_2\sim \angle P_3{}^{\prime }P{P}_2{}^{\prime }$, $△P_{3}P{P}_1\sim \angle P_3{}^{\prime }P{P}_1{}^{\prime }$, $△P_{2}P{P}_1\sim \angle P_2{}^{\prime }P{P}_1{}^{\prime }$
进而 $$\angle P_3{P}_2{P}_1=\angle P_3{}^{\prime }{P}_2{}^{\prime }{P}_1{}^{\prime }$$
$$\angle P_3{P}_1{P}_2=\angle P_3{}^{\prime }{P}_1{}^{\prime }{P}_2{}^{\prime }$$
$$\angle P_2{P}_3{P}_1=\angle P_2{}^{\prime }{P}_3{}^{\prime }{P}_1{}^{\prime }$$
进而
$$△P_3{P}_1{P}_2\sim △P_3{}^{\prime }{P}_1{}^{\prime }{P}_2{}^{\prime }$$

是否存在某种特定形状(即 $\angle S_2{S}_1{S}_3=\alpha$, $\angle S_1{S}_2{S}_3=\beta$, $\angle S_1{S}_3{S}_2=\gamma$)的内接三角形(三点分别在三角形三边所在直线上即算作内接三角形)？并求出其集合.

可以证明: 若一个内接三角形为此形状, 则其 Miquel 点的垂足三角形必然为此形状, 即其 Miquel 点必为垂足三角形为此形状的点, 记为 $S$, 且其必然与 $S$ 的垂足三角形满足引理中 $△P_1^{\prime }{P}_2^{\prime }{P}_3^{\prime }$ 与 $△P_1{P}_2{P}_3$的位置关系.

证明可参考引理, 此处略.

由此我们不难回答此问题, 当存在一点 $S$ 的垂足三角形为此形状时, 此类内接三角形必然存在, 其集合是所有与 $S$ 的垂足三角形满足引理中 $△P_1^{\prime }{P}_2^{\prime }{P}_3^{\prime }$ 与 $△P_1{P}_2{P}_3$的位置关系的内接三角形.