Twierdzenie o trzech prostopadłych – twierdzenie stereometrii: Jeżeli prosta b jest rzutem prostokątnym prostej a na daną płaszczyznę, to prosta c leżąca w tej płaszczyźnie jest prostopadła do prostej a wtedy i tylko wtedy, gdy jest prostopadła do b^[1]:

${\displaystyle c\perp a\Leftrightarrow c\perp b.}$

Rysunek jest ilustracją twierdzenia:

• proste x i y nie są prostopadłe do a, bo nie są prostopadłe do b, która jest rzutem a na płaszczyznę;
• prosta c jest prostopadła do a, bo jest prostopadła do b.

Fakt ten można udowodnić, wykorzystując twierdzenie o prostej prostopadłej do płaszczyzny^[2][3][4].

• Wojciech Babiański, Lech Chańko, Joanna Czarnowska, Grzegorz Janocha, Jolanta Wesołowska: Matematyka 4. Podręcznik dla liceum ogólnokształcącego i technikum. Warszawa: Wydawnictwo Nowa Era, 2022. ISBN 978-83-267-4399-3.