1、首先用几何表达式，对图形进行精准的符号测量。设∠ACB=2x，那么∠ABC=-arccot(csc(2x)(cos(2x)-sin(x)csc(3x)-1))
2、就是这个∠ABC=20°，所以尝试着用Mathematica求出x的撕良滤儆值。jie=NSolve[{-ArcCot[Csc[2x](-1+Cos[2x]-Csc[3x]Sin[x])]==P足毂忍珩i/9, 0<x<4 Pi/9},x]得到三个答案，但是需要解一个8次方程。这就是难度所在。
3、网友提供了一个纯几何的想法，我分三大步做介绍。作△BDF全等于△CAB，且F、A位于BC同侧；容易证明，E在DF上。
4、连接CF，易知圆心O在CF上；连接OD，作AG//OD，与BC交于G；有∠DOC=2∠DAC=∠BCA，所以，△FBC、△DOC、△DCA相似。
5、所以，O、D、B、F四点共圆；进而，根据OE=OD，得出FB=FE；所以，∠FBE=80°，然后得出∠BCA=100°。之后，经过简单的计算，可以证明∠ECA=90°，O在AB上。
