三角形内点相关周长相等命题的几何证明求解

API 探路者

2026-5-19

几何解法：证明$\boldsymbol{p(PA'C)=p(PB'C)}$

先明确已知条件：

$P$是$\triangle ABC$内部一点，直线$AP$交$BC$于$A'$，直线$BP$交$AC$于$B'$
$\triangle AA'B'$和$\triangle BB'A'$的周长相等，即$p(AA'B')=p(BB'A')$

我们的目标是证明$\triangle PA'C$和$\triangle PB'C$的周长相等，也就是$p(PA'C)=p(PB'C)$。

步骤1：转化已知周长条件

因为两个三角形有公共边$A'B'$，周长相等意味着另外两边的和必然相等：
$$AA' + AB' = BB' + BA'$$
把$AA'$拆成$AP + PA'$，$BB'$拆成$BP + PB'$，代入上式得：
$$AP + PA' + AB' = BP + PB' + BA' \tag{1}$$

步骤2：转化目标结论

$\triangle PA'C$和$\triangle PB'C$有公共边$PC$，所以周长相等等价于：
$$PA' + A'C = PB' + B'C \tag{2}$$

步骤3：建立等式关联

我们把式(1)变形，将含$PA'$、$PB'$的项移到一边：
$$PA' - PB' = BP - AP + BA' - AB' \tag{3}$$
再把式(2)变形：
$$PA' - PB' = B'C - A'C \tag{4}$$
联立(3)(4)，并利用$BA' + A'C = BC$、$AB' + B'C = AC$（即$BA' = BC - A'C$，$AB' = AC - B'C$），代入后整理可得：
$$p(PA'C) - p(PB'C) = BP - AP + BC - AC \tag{5}$$

步骤4：反证法推导矛盾

假设$p(PA'C) \neq p(PB'C)$，不妨先假设$p(PA'C) > p(PB'C)$，那么由式(5)可得：
$$BP - AP + BC - AC > 0 \implies AP + AC < BP + BC \tag{6}$$
将式(6)和假设的$PA' + A'C > PB' + B'C$相加：
$$(AP + AC) + (PA' + A'C) > (BP + BC) + (PB' + B'C)$$
左边化简为$AA' + AC + A'C = AA' + AC + (BC - BA')$，右边化简为$BB' + BC + B'C = BB' + BC + (AC - AB')$。两边减去$AC + BC$后得到：
$$AA' - BA' > BB' - AB' \implies AA' + AB' > BB' + BA'$$
这与我们从已知周长条件推出的$AA' + AB' = BB' + BA'$矛盾！

同理，如果假设$p(PA'C) < p(PB'C)$，会推出$AA' + AB' < BB' + BA'$，同样与已知条件矛盾。