x^2+y^2-10x+16=0の円と傾きkで原点を通る直線があります。
これらが2点で交わるときの交点をA,Bとすると原点をOとしたとき、それらの距離であるOAとOBの積は一定なのですがこれの証明をおねがいします。