![]() |
|
Si une droite est perpendiculaire à un plan elle est orthogonale à toutes les droites du plan.
Si une droite est orthogonale à deux droites concourantes d'un plan, elle est perpendiculaire à ce plan.
Cette démonstration utilisait l'expression "il suffit" dont nous voulions tester
la confusion avec "il faut" et une justification, en fin de démonstration, introduite par le mot "car".
La droite (AM) est orthogonale à (BC) CAR
une droite perpendiculaire à un plan est orthogonale
à toutes les droites de ce plan.
COMME le triangle ABC est rectangle en B,
.......... la droite (BC) est perpendiculaire
à (AB). |
PUISQUE la droite (BC) est orthogonale aux
droites (AM) et (AB) ; les droites (AM) et (AB) sont
sécantes.
si une droite est orthogonale à deux droites sécantes d'un plan, alors elle est perpendiculaire à ce plan.
Dans le test, ce théorème était attendu sous la forme:
Pour qu'une droite soit perpendiculaire à un plan, IL SUFFIT qu'elle soit orthogonale à deux droites sécantes de ce plan. |
PAR CONSÉQUENT (BC) est perpendiculaire au plan (ABM) et DONC (BC) est perpendiculaire à la droite (BM) PUISQUE (BM) est contenue dans le plan (ABM). |
DONC (BC) est perpendiculaire au plan (ABM) et PAR CONSÉQUENT (BC) est perpendiculaire à la droite (BM) D'OÙ (BM) est contenue dans le plan (ABM) Suite...