已知 是锐角三角形 的外心,,。若
则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
外心等距可以产生两条关于系数的方程。
把其中一条与附加线性条件比较,会得到一个乘积为零的分支;锐角条件负责排除外心落在边中点的分支。
记 ,令 。则 。 由外心等距,
将 代入第二式并除以10,得
与题给 相减,
若 ,则 ,即 为 的中点, 是外接圆的直径,,与锐角三角形矛盾。 故 ,于是
在 下,两外心方程与附加条件给 。此时 ;另外两顶角的点积分别为 、,所以三角形确为锐角,原条件相容。
由系数关系得到乘积为零时,应分别核查分支的几何含义。外心落在某边中点常对应直角三角形,原锐角限制不能省略。
外心等距与附加系数条件相减会出现零因子分支;其中一支是外心落边中点,必须借锐角条件排除,不能直接约去未知系数。
已记下,谢谢!