CF平分角C,BE平分角B，Ia为旁心.证明：IaO⊥EF.
这是能算的……？
挣扎四十分钟最后算出来一个AE*CE＋EI²＝ab²c/(a＋c)(a＋b＋c)
要证等差幂线即证上式＝AF*CF＋FI²，由对称性取等当且仅当等腰……
吐了
即证AE*CE＋EI²＝AF*BF＋FI²应该没问题，用的角平分线公式和中线公式
但是继续用这俩展开就得到了b/(a＋c)＝c/(a＋b)
群友的点几何做法
登录后才能进行此操作
