P是圆O内一点,求过P点的最短弦AB,并证明你的结论