由三角形OTA’与三角形TAA’相似可得|TA’|^2=|AA’|。看上去像北京中考最后一题的出题套路。
【 在 Elale 的大作中提到: 】
: （在网络画板https://www.netpad.net.cn/svg.html#posts/945283 拖动A'点可以看到P的轨迹）
: 猜想：当AA'中垂线PT和单位圆相切时PA最小，再使用向量法求AA'的长度。
: 因为OT和A'A均垂直于PT，则OT//A'A，且OT是单位向量，所以，OT=A'A/|A'A|,
: ...................
--
FROM 221.223.194.*