MathLabs

第2题

设 ABCABC 是直角三角形，∠B=90∘\angle B=90^\circ。点 DD 在直线 CBCB 上，且 BB 在 DD 与 CC 之间。设 EE 为 ADAD 的中点，FF 为 △ACD\triangle ACD 外接圆与 △BDE\triangle BDE 外接圆的第二个交点。证明当 DD 变化时，直线 EFEF 恒过一个定点。
第 3/5 步：过 B,D,E 的圆
上一步下一步
x2+y2+dx−a2−d22ay=0x^2+y^2+dx-\frac{a^2-d^2}{2a}y=0
详细分析

用 BB、DD、EE 代替 AA、CC、DD，同样方法即得上式所示 △BDE\triangle BDE 的外接圆；因其过原点，常数项为 00。