托勒密充分必要证明题[C已将，待重做]

As shown in the figure, in $\mathrm{△}ABC$, $AB=AC$. Point $D$ is chosen on segment $AB$, and point $E$ is chosen on the extension of segment $AC$such that $DE=AC$. Segment $DE$ intersects the circumcircle of $\mathrm{△}ABC$ at point $T$. Point $P$ is a point on the extension of segment $AT$.

Prove that the necessary and sufficient condition for point $P$ to satisfy $PD+PE=AT$ is that point $P$ lies on the circumcircle of $\mathrm{△}ADE$.

本题的证明分为充分性（$\Leftarrow$⇐）和必要性（$\Rightarrow$⇒）两部分。核心思路是利用托勒密定理（Ptolemy’s Theorem）和相似三角形。

1. 充分性证明 ($\Leftarrow$⇐)

假设： 点 $P$P 在 $\mathrm{△}ADE$△ADE 的外接圆上（即 $A,D,P,E$A,D,P,E 四点共圆）。 求证： $PD+PE=AT$PD+PE=AT。

证明步骤：

1. 利用 △ABC△ABC 外接圆的托勒密定理： 因为 $A,B,T,C$A,B,T,C 四点共圆（$\mathrm{△}ABC$△ABC 的外接圆），根据托勒密定理，我们有： $AC\cdot BT+AB\cdot CT=BC\cdot AT\cdots \cdots \text{①}$AC⋅BT+AB⋅CT=BC⋅AT⋯⋯①
2. 证明 △BTC∼△DPE△BTC∼△DPE：
   • 角1： 在 $\mathrm{△}ABC$△ABC 外接圆中，$\mathrm{\angle }TBC=\mathrm{\angle }TAC$∠TBC=∠TAC（同弧 $TC$TC 所对圆周角）。 因为 $A,C,E$A,C,E 共线，$A,T,P$A,T,P 共线，所以 $\mathrm{\angle }TAC$∠TAC 即 $\mathrm{\angle }PAE$∠PAE。 因为 $A,D,P,E$A,D,P,E 四点共圆，$\mathrm{\angle }PAE=\mathrm{\angle }PDE$∠PAE=∠PDE（同弧 $PE$PE 所对圆周角）。 所以，$\mathrm{\angle }TBC=\mathrm{\angle }PDE$∠TBC=∠PDE。
   • 角2： 在 $\mathrm{△}ABC$△ABC 外接圆中，$\mathrm{\angle }TCB=\mathrm{\angle }TAB$∠TCB=∠TAB（同弧 $TB$TB 所对圆周角）。 因为 $A,T,P$A,T,P 共线，$\mathrm{\angle }TAB$∠TAB 即 $\mathrm{\angle }PAD$∠PAD。 因为 $A,D,P,E$A,D,P,E 四点共圆，$\mathrm{\angle }PAD=\mathrm{\angle }PED$∠PAD=∠PED（同弧 $PD$PD 所对圆周角）。 所以，$\mathrm{\angle }TCB=\mathrm{\angle }PED$∠TCB=∠PED。
   • 结论： 由两角对应相等，得 $\mathrm{△}BTC\sim \mathrm{△}DPE$△BTC∼△DPE。
3. 建立比例关系： 由相似三角形性质可得： $\frac{BT}{PD}=\frac{TC}{PE}=\frac{BC}{DE}=k$PDBT​=PETC​=DEBC​=k 即： $BT=k\cdot PD,TC=k\cdot PE,BC=k\cdot DE\cdots \cdots \text{②}$BT=k⋅PD,TC=k⋅PE,BC=k⋅DE⋯⋯②
4. 代入并化简： 将 ② 代入 ① 中： $AC\cdot (k\cdot PD)+AB\cdot (k\cdot PE)=(k\cdot DE)\cdot AT$AC⋅(k⋅PD)+AB⋅(k⋅PE)=(k⋅DE)⋅AT 消去 $k$k： $AC\cdot PD+AB\cdot PE=DE\cdot AT$AC⋅PD+AB⋅PE=DE⋅AT由已知条件 $AB=AC$AB=AC 且 $DE=AC$DE=AC，可得 $AB=AC=DE$AB=AC=DE。 代入上式： $DE\cdot PD+DE\cdot PE=DE\cdot AT$DE⋅PD+DE⋅PE=DE⋅AT 消去 $DE$DE（$DE\mathrm{\ne }0$DE=0）： $PD+PE=AT$PD+PE=AT 充分性得证。

---

2. 必要性证明 ($\Rightarrow$⇒)

假设： $PD+PE=AT$PD+PE=AT。 求证： 点 $P$P 在 $\mathrm{△}ADE$△ADE 的外接圆上。

证明思路（基于笔记中的椭圆定义法/同一法）：

1. 构造辅助点： 设 $\mathrm{△}ADE$△ADE 的外接圆与直线 $AT$AT 在 $DE$DE 下方（即 $AT$AT 延长线方向）交于点 $P^{\mathrm{\prime }}$P′。
2. 利用充分性结论： 根据刚才证明的充分性，既然 $P^{\mathrm{\prime }}$P′ 在 $\mathrm{△}ADE$△ADE 的外接圆上，那么它必然满足： $P^{\mathrm{\prime }}D+P^{\mathrm{\prime }}E=AT$P′D+P′E=AT
3. 利用唯一性：
   • 题目已知 $P$P 在 $AT$AT 延长线上，且满足 $PD+PE=AT$PD+PE=AT。
   • 我们现在有两个点 $P$P 和 $P^{\mathrm{\prime }}$P′ 都在直线 $AT$AT 上，且都满足到 $D,E$D,E 的距离之和等于 $AT$AT。
   • 考虑函数 $f(X)=XD+XE$f(X)=XD+XE。因为 $T$T 是线段 $DE$DE 与直线 $AP$AP 的交点，所以 $D,E$D,E 位于直线 $AP$AP 的两侧。
   • 当点 $X$X 在直线 $AP$AP 上运动时，$XD+XE$XD+XE 在 $X=T$X=T 处取得最小值 $DE$DE（三角形两边之和大于第三边，仅当 $X$X 在线段 $DE$DE 上取等号，此处 $X=T$X=T 恰在 $DE$DE 上）。
   • 当 $X$X 从 $T$T 向 $P$P 方向（远离 $T$T）移动时，$XD+XE$XD+XE 单调递增。
   • 因此，在射线 $TP$TP 上，满足 $XD+XE=AT$XD+XE=AT 的点是唯一的。
   • 既然 $P$P 和 $P^{\mathrm{\prime }}$P′ 都满足该条件，且都在射线 $TP$TP 上，那么 $P$P 必须重合于 $P^{\mathrm{\prime }}$P′。
4. 结论： 因为 $P=P^{\mathrm{\prime }}$P=P′，且 $P^{\mathrm{\prime }}$P′ 在 $\mathrm{△}ADE$△ADE 的外接圆上，所以点 $P$P 在 $\mathrm{△}ADE$△ADE 的外接圆上。 必要性得证。

(注：笔记中使用了椭圆定义，即以 D,ED,E 为焦点，ATAT 为长轴长作椭圆。直线 ATAT 与该椭圆在 DEDE 下方只有一个交点，而 △ADE△ADE 外接圆与该直线的交点 P′P′ 也在椭圆上，故 PP 与 P′P′ 重合。这与上述单调性分析本质一致。)

“If P lies on the circumcircle of $\mathrm{△}ADE$, then we can apply Ptolemy’s on $\mathrm{△}ADE$.” “we see that $AT\cdot BC=AB\cdot CT+DE\cdot BT$“

这里有一个混淆：

• 你写的公式 $AT\cdot BC=AB\cdot CT+AC\cdot BT$(注意 $AC=DE$) 其实是圆内接四边形 ABTC的托勒密定理，而不是 $\mathrm{△}ADE$或四边形 $ADPE$的。
• 建议将文字改为：“Apply Ptolemy’s Theorem on the cyclic quadrilateral ABTC..”