O dreapta este perpendiculara pe o alta dreapta atunci cand acestea formeaza un unghi de 90 de grade.
DE perpendicular pe AB |
CF perpendicular pe AB |=> poligonul DEFC(dreptunghi)
