考虑三角形 ABC,设 IA 为其 A-旁心。设 M,N,P 分别为 IA 在直线 AC,BC,AB 上的投影。证明:如果 IAM+IAP=IAN,则 ABC 为等边三角形。
参考解答
设 ra 为 A 旁切圆的半径。由于 M,N,P 分别是 A 旁切心 IA 在直线 AC,BC,AB 上的投影,因此 IA 到这些直线的距离等于旁切圆半径:
∣IAM∣=∣IAN∣=∣IAP∣=ra
给定条件为 IAM+IAP=IAN。两边取模:
∣IAM+IAP∣2=∣IAN∣2
∣IAM∣2+∣IAP∣2+2IAM⋅IAP=∣IAN∣2
代入模长 ra:
ra2+ra2+2ra2cos(θ)=ra2
其中 θ 是 IAM 与 IAP 之间的夹角。化简得:
2cos(θ)=−1⟹cos(θ)=−21⟹θ=120∘
在四边形 AMIAP 中,M 和 P 处的角均为 90∘(因为它们是投影)。四边形内角和为 360∘,所以:
∠A+∠MIAP=180∘
由于向量 IAM 与 IAP 之间的夹角为 θ=120∘,有 ∠MIAP=120∘。因此:
∠A=180∘−120∘=60∘
在向量方程 IAM+IAP=IAN 中,向量 IAM+IAP 必在 ∠MIAP 的角平分线上。直线 AIA 是 ∠A 的内角平分线,同时也是 ∠MIAP 的角平分线。因此,向量 IAN 必与直线 AIA 共线。这意味着点 A,IA,N 共线。由于 N 是 IA 在 BC 上的投影,直线 IAN 垂直于 BC。因此,∠A 的内角平分线也是 A 到 BC 的高。这一对称条件意味着三角形 ABC 是等腰三角形,即 AB=AC,所以 ABC 是等边三角形。