Două puncte A și A' sunt simetrice față de dreapta d dacă
dreapta este mediatoarea segmentului [AA'].
Avem punctul A și dreapta d. Trebuie să determinăm punctul A', simetricul lui A față de dreapta d.
Ducem AM⊥d, cu M ∈ d.
Prelungim AM cu MA', astfel încât M să fie mijlocul lui [AA'] ,
evident vom avea AM = MA'.