显然, \( Rt\blacktriangle KOQ \backsim Rt\blacktriangle POM \)
\( \Longrightarrow \frac{OK}{OQ}=\frac{OP}{OM} \)
\( \Longrightarrow OK \bullet OM =r^2 \)
又显然, \( Rt\blacktriangle KAO \backsim Rt\blacktriangle AMO \)
\( \Longrightarrow \frac{OK}{AO}=\frac{OA}{MO} \)
\( \Longrightarrow OK \bullet OM =OA^2 =r^2 \)