点O(0,0)を中心とする半径1の円に、円外の点P(x[0],y[0])から2本の直線を引く

2つの接点の中点をQとするとき、点Qの座標(x[1],y[1])をを点P(x[0],y[0])を用いて表せ
また OP × OQ = 1 であることを示せ



まず接線の方程式を y - y[0] = (y - y[0] / x-x[0])(x-x[0])とすると式が煩雑でできない
別の解法のヒントなり手順ください