Tangentele duse dintr-un punct exterior unui cerc sunt congruente.
BA si CA sunt tangente duse din punctul M la cerc.
Triunghiurile OBA si OCA sunt dreptunghice in punctele B , respectiv C deoarece stim ca tangenta este perpediculara pe raza. Cele doua triunghiuri sunt congruente OBA si OCA de aici rezulta ca BA=CA