![]() |
|
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...