### 10.18.3 Exercice 3 prolongement de l’exercice 2

Soit `SABCD` une pyramide de sommet `S` dont la base `ABCD` est un losange 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 démonstration avec `Xcas`, on peut taper en supposant que le plan du losange est le plan Oxy et que lepoint A est sur Ox, on tape alors puisque les diagonales d’un losange sont perpendiculaires en leur milieu :

    // demo exo3
    A:=point(a,0,0);
    B:=point(0,b,0);
    C:=point(-a,0,0);
    D:=point(0,-b,0);
    S:=point(0,0,c);
    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 `0BS` et `0DS` rectangles en `0` sont égaux puisque `OB=0D` en tant que demi diagonale d’un losange.
Donc les arêtes `SB` et `SD` sont égales ainsi les triangles `SAB` et `SAD` ont 3 cotés égaux ; ils sont donc égaux.
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`.