### 11.18.2 Exercice 2

Soit `SABCD` une pyramide de sommet `S` dont la base `ABCD` est un carré de centre `O` et tel que `SO` est perpendiculaire au plan `ABCD`.
Le plan passant par `C` et perpendiculaire à `SA` coupe `SA`, `SB`, `SC` respectivement en `M`, `N` et `P`.
Montrer que `NP` est parallèle à `BD`.
Pour faire la figure, on tape :

    //dessin exo2
    A:=point(2,2,0);
    B:=point(-2,2,0);
    C:=point(-2,-2,0);
    D:=point(2,-2,0);
    S:=point(0,0,4);
    polyedre(S,A,B,C,D);
    Q:=perpendiculaire(C,droite(S,A));
    M:=head(inter(Q,droite(S,A)));
    N:=head(inter(Q,droite(S,B)));
    P:=head(inter(Q,droite(S,D)));
    d1:=droite(N,P);
    d2:=droite(B,D);
    est_parallele(d1,d2)

Pour faire la démonstration avec `Xcas`, on peut taper en supposant que le plan du carré est le plan Oxy :

    // demo exo2
    A:=point(a,b,0);
    B:=point(c,f,0);
    d:=affixe(rotation(a+i*b,pi/2,point(c+i*f)));
    d1:=re(d);
    d2:=im(d);
    D:=point(d1,d2,0);
    C:=normal(B+(D-A));
    S:=point((c+d1)/2,(d+d2)/2,g);
    Q:=perpendiculaire(C,droite(S,A));
    M:=head(inter(Q,droite(S,A)));
    N:=normal(head(inter(Q,droite(S,B))));
    P:=normal(head(inter(Q,droite(S,D))));
    est_parallele(droite(D,B),droite(N,P));

On obtient :
`1`
mais on peut simplifier les calculs, car on peut choisir les axes pour avoir A sur Ox, on tape alors :

    // demo exo2
    A:=point(a,0,0);
    B:=point(0,a,0);
    C:=point(-a,0,0);
    D:=point(0,-a,0);
    S:=point(0,0,b);
    Q:=perpendiculaire(C,droite(S,A));
    M:=head(inter(Q,droite(S,A)));
    N:=normal(head(inter(Q,droite(S,B))));
    P:=normal(head(inter(Q,droite(S,D))));
    est_parallele(droite(D,B),droite(N,P));

On obtient :
`1`
La démonstration géométrique :
Les triangles `0AS`, `0BS` et `0DS` rectangles en `0` sont égaux puisque `0A=OB=0D` en tant que demi diagonale d’un carré.
Donc les arêtes `SA` `SB` et `SD` sont égales ainsi que les triangles isocéles `SAB` et `SAD` (la pyramide est donc régulière).
Les triangles `MSN` et `MSP` rectangles en `M` sont égaux (même côté `MS` et leurs angles `S` sont égaux), donc `SN=SP`.
Puisque `SB=SD`, on a donc :
`` `SN/SB``=``SP/SD`
ce qui montre d’après le théorème de Thalès que `NP` est parallèle à `BD`.