"⇒": Considerăm că d∩C(O,r)={A} și demonstrăm că d⊥OA.
Presupunem, prin absurd, că d nu este perpendiculară pe OA. Așadar, putem construi OB⊥d, cu B=A.
În △OBA, B=90°⇒OA este ipotenuză, deci OB<OA=r. Punctul B fiind în interiorul cercului, rezultă că dreapta AB va intersecta cercul în încă un punct, în contradicție cu presupunerea făcută. Prin urmare, d⊥OA.
"⇐": Considerăm că A∈C(O,r),d⊥OA și demonstrăm că d∩C(O,r)={A}.
Presupunem, prin absurd, că dreapta d intersectează cercul în încă un punct B. Deci OA=OB⇒OBA=OAB=90°, adică AOB=0°, ceea ce înseamnă că punctele A și B coincid, asta în contradicție cu presupunerea făcută. Prin urmare, dreapta d intersectează cercul într-un singur punct, adică este tangentă la cerc.