Definicja

Prosta $l$ jest prostopadła do płaszczyzny $\pi$, jeżeli jest prostopadła do każdej prostej zawartej w tej płaszczyźnie.

Twierdzenie o prostej prostopadłej do płaszczyzny

Prosta prostopadła do dwóch przecinających się prostych jest prostopadła do płaszczyzny wyznaczonej przez te proste.

Odcinek $DC$ jest prostopadły do odcinka $CA$ oraz do odcinka $CB$, zatem jest prostopadły do płaszczyzny wyznaczonej przez proste zawierające te odcinki. Wobec tego odcinek $DC$ jest prostopadły do podstawy $ABC$ czworościanu.