Twierdzenie o trzech prostych prostopadłych
Jeśli prosta k leży w płaszczyźnie π, a prosta l przecina tę płaszczyznę ukośnie w punkcie P, to k jest prostopadła do l wtedy i tylko wtedy, gdy k jest prostopadła do rzutu prostopadłego l' prostej l na płaszczyznę π.
O czym mówi twierdzenie?
Twierdzenie o trzech prostych prostopadłych jest jednym z fundamentalnych narzędzi stereometrii. Pozwala sprawdzać prostopadłość prostej do prostej w trójwymiarowej przestrzeni, sprowadzając ją do znacznie prostszego pytania o prostopadłość w płaszczyźnie. Dzięki temu zadania o kątach między prostymi w bryłach (np. w prostopadłościanie, ostrosłupie) stają się dużo bardziej przystępne.
Konfiguracja wygląda następująco: mamy płaszczyznę π, prostą k leżącą w tej płaszczyźnie oraz prostą l (niekoniecznie prostopadłą do π), która przecina lub przynajmniej „nachyla się" nad płaszczyzną. Rzucamy l prostopadle na π - powstaje rzut l', również leżący w π. Twierdzenie mówi, że relacja prostopadłości k ⟂ l jest RÓWNOWAŻNA relacji k ⟂ l'.
W praktyce twierdzenie pozwala redukować problem z 3D do 2D. Zamiast zmagać się z kątami w przestrzeni, wystarczy sprawdzić prostopadłość dwóch prostych w jednej płaszczyźnie - operacja dobrze znana z geometrii płaskiej. To typowa technika w zadaniach maturalnych o bryłach, gdzie trzeba wykazać, że dana krawędź jest prostopadła do dwusiecznej, przekątnej lub podstawy.
Elementy konfiguracji
Płaszczyzna, w której prowadzimy rzuty. W zadaniach z bryłami jest to zazwyczaj płaszczyzna podstawy lub jedna ze ścian bocznych.
Prosta leżąca w całości w płaszczyźnie π. To o niej chcemy wykazać prostopadłość do l (lub do l').
Prosta ukośna - niekoniecznie leżąca w π. W zadaniach stereometrycznych to często krawędź boczna ostrosłupa lub krawędź bryły wychodząca z punktu na płaszczyźnie.
Rzut prostopadły prostej l na płaszczyznę π. Otrzymujemy go, rzutując każdy punkt l prostopadle na π.
Sformułowanie i wnioski
Twierdzenie można zapisać w dwóch równoważnych kierunkach:
Implikacja w jedną stronę
Jeśli prosta k ⊂ π jest prostopadła do rzutu l' prostej l na płaszczyznę π, to k jest prostopadła również do samej prostej l.
Implikacja w drugą stronę
Jeśli k ⊂ π jest prostopadła do l, to k jest także prostopadła do rzutu l' prostej l na π.
Intuicja geometryczna
Trzy proste, o których mowa w nazwie, to: prosta k, prosta l oraz prosta łącząca punkt przebicia l przez π z odpowiednim punktem na l (czyli prostopadła do π). Wszystkie trzy tworzą „rzutowanie" i razem decydują o prostopadłości.
Wizualizacja
Rysunek przedstawia płaszczyznę π z prostą k oraz ukośną prostą l, która przebija płaszczyznę w punkcie P. Prostopadły rzut prostej l na π to prosta l'. Twierdzenie stwierdza, że k ⟂ l zachodzi wtedy i tylko wtedy, gdy k ⟂ l'.
Prosta w płaszczyźnie odniesienia
Przecina płaszczyznę π w punkcie P
Leży w π; k ⟂ l ⟺ k ⟂ l'
Kiedy stosować twierdzenie?
- Dowodzenie prostopadłości w bryłach - gdy trzeba pokazać, że dana krawędź jest prostopadła do innej niewspółpłaszczyznowej prostej.
- Obliczanie kątów między prostymi i płaszczyznami - często wygodnie jest sprowadzić problem do rzutu.
- Wyznaczanie wysokości ostrosłupów pochyłych - rzut wierzchołka na płaszczyznę podstawy.
- Zadania maturalne rozszerzone - typowe na maturze z matematyki rozszerzonej.
- Dowody w geometrii analitycznej 3D - twierdzenie upraszcza rachunki na iloczynach skalarnych.
Przykłady zastosowania
Przykład 1: Prostopadłość w prostopadłościanie
Zadanie: W prostopadłościanie ABCDA'B'C'D' wykaż, że przekątna podstawy AC jest prostopadła do krawędzi bocznej BB'.
Rozwiązanie:
Krawędź BB' jest prostopadła do płaszczyzny podstawy ABCD (bo prostopadłościan jest graniastosłupem prostym). Rzut BB' na płaszczyznę podstawy to punkt B - czyli prosta „zdegenerowana". W takim przypadku, ponieważ BB' ⟂ π, KAŻDA prosta w π przechodząca przez B jest prostopadła do BB'. W szczególności AC (która przechodzi przez B? Nie, AC to przekątna - sprawdźmy inaczej).
Alternatywnie: BB' jest prostopadła do CAŁEJ płaszczyzny podstawy, więc jest prostopadła do każdej prostej leżącej w tej płaszczyźnie, w tym do AC. Twierdzenie o trzech prostych prostopadłych potwierdza to poprzez argument o rzutowaniu.
Wniosek: AC ⟂ BB' (bo BB' jest prostopadła do płaszczyzny zawierającej AC).
Przykład 2: Prostopadłość przekątnej do krawędzi ostrosłupa
Zadanie: W ostrosłupie prawidłowym czworokątnym ABCDS (S nad środkiem ABCD) wykaż, że przekątna AC podstawy jest prostopadła do krawędzi bocznej SB.
Rozwiązanie:
Rzut S na płaszczyznę ABCD to środek O kwadratu ABCD. Zatem rzut odcinka SB na płaszczyznę podstawy to odcinek OB, czyli połowa przekątnej BD.
W kwadracie ABCD przekątne AC i BD są prostopadłe, więc AC ⟂ OB. Z twierdzenia o trzech prostych prostopadłych:
Wniosek: Przekątna AC jest prostopadła do krawędzi bocznej SB.
Przykład 3: Dwusieczna a krawędź boczna
Zadanie: W ostrosłupie prawidłowym trójkątnym ABCS dwusieczna kąta A w podstawie jest prostopadła do krawędzi bocznej z przeciwległego wierzchołka. Wyjaśnij dlaczego.
Rozwiązanie:
Rzut S na płaszczyznę ABC to środek ciężkości O trójkąta ABC (bo ostrosłup jest prawidłowy). W trójkącie równobocznym dwusieczna kąta A jest jednocześnie środkową z A i wysokością - przechodzi przez O.
Rzut krawędzi SB na płaszczyznę podstawy to odcinek OB. Ponieważ w trójkącie równobocznym dwusieczna z A jest prostopadła do boku BC i przecina ją w jego środku, związek między nią a linią OB wymaga dokładnej analizy - twierdzenie o trzech prostych prostopadłych pozwala ustalić, która relacja w 2D implikuje jaką relację w 3D.
Wniosek: Prostopadłość w 3D wynika z prostopadłości rzutów w 2D - to typowe użycie twierdzenia.
Przykład 4: Kąt między prostą a płaszczyzną
Zadanie: Prosta l przecina płaszczyznę π pod kątem α. Wykaż, że kąt między l a dowolną prostą k ⊂ π wynosi 90° wtedy i tylko wtedy, gdy k jest prostopadła do rzutu l' prostej l na π.
Rozwiązanie:
To bezpośrednie sformułowanie twierdzenia o trzech prostych prostopadłych. Dowód wykorzystuje fakt, że rzut l' jest częścią trójkąta prostokątnego z l - wysokość tego trójkąta jest prostopadła do π.
Wniosek: Zależność k ⟂ l ⟺ k ⟂ l' (przy k ⊂ π) to właśnie treść twierdzenia.
Częste błędy
Zapomnienie, że k musi leżeć w płaszczyźnie π
Twierdzenie działa tylko wtedy, gdy prosta k leży w TEJ SAMEJ płaszczyźnie, na którą rzutujemy l. Jeśli k jest ukośna do π, twierdzenie nie ma zastosowania.
Prosta w przestrzeni może być prostopadła do rzutu l' i nadal nie być prostopadła do l - jeśli sama nie leży w π.
Mylenie rzutu prostopadłego z ukośnym
W twierdzeniu chodzi o rzut PROSTOPADŁY (ortogonalny) prostej l na π, a nie o dowolny rzut ukośny. Zmiana kierunku rzutowania psuje twierdzenie.
Punkt P' = rzut P na π wymaga pionowego opuszczenia z P na π.
Próba stosowania, gdy l jest równoległa do π
Jeśli prosta l jest równoległa do płaszczyzny, jej rzut na tę płaszczyznę to prosta równoległa do l (a nie ta sama!). Twierdzenie wymaga, aby l PRZECINAŁA płaszczyznę.
Sprawdź, czy konfiguracja ma punkt przebicia P prostej l z płaszczyzną π.
Założenie, że wystarczy prostopadłość do jednej prostej w płaszczyźnie
Aby prosta była prostopadła do całej płaszczyzny, musi być prostopadła do DWÓCH różnych (nie równoległych) prostych w tej płaszczyźnie. Jedna prosta nie wystarczy.
To inne twierdzenie - „prostopadłość prostej do płaszczyzny", ale często mylone z twierdzeniem o trzech prostych prostopadłych.
Porady i wskazówki
Redukuj 3D do 2D: Twierdzenie to narzędzie „sprowadzenia do rzutu". Gdy masz problem z prostopadłością w przestrzeni, spróbuj przenieść go do płaszczyzny i rozwiązać jako zadanie planimetryczne.
Rozpoznaj rzut wierzchołka: W ostrosłupach prawidłowych rzut wierzchołka na podstawę to środek podstawy (kwadrat: przecięcie przekątnych; trójkąt: środek ciężkości). To kluczowe dla konstrukcji rzutu krawędzi bocznych.
Pamiętaj o obu kierunkach: Twierdzenie to równoważność („wtedy i tylko wtedy"), więc działa w obie strony. Możesz je stosować do dowodzenia prostopadłości lub do wnioskowania o prostopadłości rzutu.
Naszkicuj zawsze trzy proste: k w płaszczyźnie, l ukośna, l' jako rzut. Wizualizacja trójwymiarowa to 90% sukcesu w takich zadaniach.
Przypadki szczególne
Prosta l prostopadła do π
Jeśli l jest prostopadła do płaszczyzny π, to jej rzut l' jest pojedynczym punktem. W tej sytuacji każda prosta k ⊂ π jest prostopadła do l - co jest zgodne z definicją prostopadłości prostej do płaszczyzny.
Prosta l równoległa do π
Gdy l jest równoległa do π, jej rzut l' jest prostą w π równoległą do l. Twierdzenie nadal działa w wersji równoległej: k ⟂ l ⟺ k ⟂ l'.
Zastosowanie w analitycznej geometrii 3D
W układzie współrzędnych twierdzenie przekłada się na własność iloczynu skalarnego: jeśli wektor v leży w płaszczyźnie o normalnej n, to v⟂u ⟺ v⟂u_⊥, gdzie u_⊥ to rzut wektora u na tę płaszczyznę.