20/07/08 14:12:29.85 wuJIFs5H.net
>>980
さすがに>>981ではアバウトすぎた気がするので、もう少し丁寧に書いておく。
点Pは点Qを中心とした半径PQの円Oと曲線Cの共有点であるが、交点ではない（理由は後述）から接点である。
つまり点PにおけるCの接線は円Oの接線でもあるので、半径PQと垂直である。
同様に点QにおけるDの接線もPQに垂直であり、同一の直線PQに垂直な2直線は平行である。
（交点ではない理由）
円Oと曲線Cが点Pで交わると仮定すると、円Oの内部に曲線C上の点をとれることになるがこれはPQの最小性に矛盾する。