MODE
bao
figure ggb cmd 0|40
SI
perp a e
perp b e
para b c
perp c d
para d f
ALORS
para a b
para a c
perp a d
perp a f

a:y = 4x + 3.08
A=(2.72, 3.7)
C=(3.92, 0.3)
B=Point[a]
b=Line[A, a]
c=Line[C, b]
d=Perpendiculaire[A, a]
e=Perpendiculaire[B, a]
f=Perpendiculaire[C, a]

D1 droite
RESUME
Si deux droites sont parallèles, toute droite perpendiculaire à l'une est perpendiculaire à l'autre.
SI
para d1 d2 | deux droites parallèles
perp d3 d1 | une droite perpendiculaire à l'une
ALORS
perp d3 d2 | cette droite est perpendiculaire à l'autre.
--
D2 droite
RESUME
Si deux droites sont perpendiculaires, toute droite perpendiculaire à l'une est parallèle à l'autre.
SI
perp d1 d2 | deux droites perpendiculaires
perp d3 d1 | une droite perpendiculaire à l'une
ALORS
para d3 d2 | cette droite est parallèle à l'autre.
--
D3 droite
RESUME
Si deux droites sont parallèles, toute droite parallèle à l'une est parallèle à l'autre.
SI
para d1 d2 | deux droites parallèles,
para d3 d1 | une droite parallèle à l'une
ALORS
para d3 d2 | cette droite est parallèle à l'autre.
--
D4 droite
RESUME
Deux droites perpendiculaires à une même troisème en un même point sont confondues.
CONTEXTE
Soient {O},{M},{N} et {P} des points distincts
SI
perp (OM) (OP)
perp (ON) (OP)
ALORS
aligne O M N
--
D5 droite
RESUME
Si MN+NP=MP alors M,N et P sont alignés dans cet ordre.
CONTEXTE
SI
egal so(MN;NP) MP
ALORS
aligne_ordre M N P
--
D6 droite
RESUME
Deux droites parallèles ayant un point commun sont confondues.
SI
para (MN) (MP)
ALORS
aligne M N P