使用 acuteness.
O≠Y O\ne Y O=Y 译文:, otherwise ∠A=90∘\angle A=90^\circ ∠A=90∘. 因此 OP>YP OP>YP OP>YP 译文:. Also PC=YC−YP<R−YP≤R/2 PC=YC-YP<R-YP\le R/2PC=YC−YP<R−YP≤R/2 译文:, so OP>PC OP>PC OP>PC.