Σταθερό γινόμενο

O κύκλος με εξίσωση 

$x^2-2kx+y^2+1=0 , k >1$

τέμνεται από την ευθεία $y=\lambda x$, στα σημεία $S , T$. 

Δείξτε ότι 

$(OS) \cdot ( OT)=1$.

Πηγή: mathematica (KARKAR)