回复 3# isee
硬消总可以,但表达式估计很复杂,没啥意思……
大概酱紫:为方便起见令 `AB=2x`, `CD=2y`, `OP=d`, `\angle APO=t`, `\angle CPO=u`,
则 `x^2=r^2-d^2\sin^2t`, `y^2=r^2-d^2\sin^2u`,
当 `O` 在角内时 `\cos\alpha=\cos(t+u)=\cos t\cos u-\sin t\sin u`,
移项平方 `(\cos\alpha+\sin t\sin u)^2=(1-\sin^2t)(1-\sin^2u)`,
左边展开后再次移项平方,就可以代入上面那些 `\sin^2` 了…… |