@cqbztz1 的题解存在事实性错误：

1. 图下方 $AD=AE=r$，这个条件是不必要的，也无法被证明；

2. 图下方第二行 $DJ=JE=\sqrt{r\times r-X_A\times X_A}$，这句话显然是错误的，没有任何依据。

因此请求撤下。