为
的直径，C，D是上不同于A，B的两点，
，连接
．过点C作
，交
的延长线于点E，延长
，交的延长线于点F．
是的切线；
时，求
的长． 
，证明：
．
且x，y均为正，
______，
______．（不等式的两边都乘以同一个正数，不等号的方向不变）．（不等式的传递性）
，则
． 
的方程
无解，则
的值为
，
，将
绕点O逆时针旋转90°，点B的对应点
的坐标是
是等边三角形
的外接圆，其半径为4．过点B作
于点E，点P为线段
上一动点（点P不与B，E重合），则
的最小值为
搜索
