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

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

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

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

Δείξτε ότι 

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

Πηγή: mathematica (KARKAR)