from math import* PLANS PARALLELES - Si deux droites sécantes d1 et d2 d’un plan P sont parallèles à deux droites sécantes d′1et d′2 d’un plan P′, alors P et P′ sont parallèles. DROITES ET PLANS PARALLELES - Si un plan P contient une droite d parallèle à une droite ∆ alors P et ∆ sont parallèles. - Si une droite d et un plan P sont parallèles alors tout plan P′ contenant d et sécant à P coupe P selon une droite ∆ parallèle à d. - Théorème «du toit» : Si deux plans P et P′ sont sécants selon une droite ∆ et si d etd′ sont deux droites parallèles contenues respectivement dans P et P′, alors la droite ∆ est parallèle à d et d′ DROITES ORTHOGONALES Dire que deux droites d et d′ sont orthogonales signifie que l’on peut trouver un point I tel que les parallèles à ces droites passant par I sont perpendiculaires. DROITES ET PLAN ORTHOGONALE Dire qu’une droite d et un plan P sont orthogonaux signifie que la droite d estorthogonale à deux droites sécantes du plan P.