反転の問題で
原点と異なる点Pとあって、その後にOP☓OQ=1と書いてることが多いですが、OP☓OQ=1があれば自動的にPは原点と異なると思うのですが…
原点と異なるという文も必要なのでしょうか？