Figure CabriII vers. MacOS 1.1.8

Window center x: 4.93_ y: 0.96_

1: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, I, nSt
Val: 0 0

2: Axes, 1, CN:1, VN:3
dGr, W, t, DS:1 1, GT:0, I, nSt
Const: 1, Val: 1 0, 0 1

"w", NP: -58, -10, NS: 18, 15
3: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -1.36_ 0.23_
p: 0, Symbol, S: 14 C: 3 Fa: 0

"horizon", NP: -133, 42, NS: 42, 12
4: Cir, 0, CN:1, VN:2
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 3, Val: 3.97771570404701
p: 0, Times, S: 12 C: 6 Fa: 0

"A", NP: -18, 83, NS: 14, 12
5: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -0.66_ -2.76_
p: 0, Times, S: 12 C: 6 Fa: 0

"B", NP: 55, -15, NS: 14, 12
6: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: 1.63_ 0.46_
p: 0, Times, S: 12 C: 6 Fa: 0

7: Line, 0, CN:2, VN:2
O, W, t, DS:1 1, GT:0, V, nSt
Const: 5 6

"M", NP: -36, -101, NS: 16, 12
8: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -1.36_ 2.83_
p: 0, Times, S: 12 C: 10 Fa: 0

"U", NP: -42, 118, NS: 15, 12
9: Int, 32768, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 7 4
p: 0, Times, S: 12 C: 6 Fa: 0

10: Seg, 0, CN:2, VN:2
Gr, W, t, DS:1 1, GT:0, V, nSt
Const: 3 9

"V", NP: 75, -51, NS: 14, 12
11: Int, 33024, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 7 4
p: 0, Times, S: 12 C: 6 Fa: 0

12: Seg, 0, CN:2, VN:2
Gr, W, t, DS:1 1, GT:0, V, nSt
Const: 3 11

13: Perp, 0, CN:2, VN:2
G, W, t, DS:1 1, GT:0, V, nSt
Const: 9 10

14: Perp, 0, CN:2, VN:2
G, W, t, DS:1 1, GT:0, V, nSt
Const: 11 12

"P", NP: 125, 97, NS: 13, 12
15: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 13 14
p: 0, Times, S: 12 C: 9 Fa: 0

16: Line, 0, CN:2, VN:2
O, W, t, DS:1 1, GT:0, V, nSt
Const: 8 15

"R", NP: -74, -139, NS: 14, 12
17: Int, 32768, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 16 4
p: 0, Times, S: 12 C: 13 Fa: 0

"S", NP: 67, 51, NS: 13, 12
18: Int, 33024, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 16 4
p: 0, Times, S: 12 C: 13 Fa: 0

19: Seg, 0, CN:2, VN:2
Br, W, t, DS:1 1, GT:0, V, nSt
Const: 17 18

20: Seg, 0, CN:2, VN:2
lBl, W, t, DS:1 1, GT:0, V, nSt
Const: 5 6

21: Seg, 0, CN:2, VN:2
lGr, W, t, DS:1 1, GT:0, V, nSt
Const: 6 11

22: Seg, 0, CN:2, VN:2
lGr, W, t, DS:1 1, GT:0, V, nSt
Const: 5 9

23: Text, 0, CN:0, VN:1
B, W, BTh:1, DS:1 1, GT:0, V, nSt
Val: 174 -126 0, A, nP, TP: 5.8, 4.2, TS: 9.13_, -1
"Orthogonalit� dans le mod�le KB :
illustration de la sym�trie de la relation"
p: 0, Times, S: 14 C: 5 Fa: 1

24: Seg, 0, CN:2, VN:2
Gr, W, t, DS:5 8, GT:0, V, nSt
Const: 3 17

25: Seg, 0, CN:2, VN:2
Gr, W, t, DS:5 8, GT:0, V, nSt
Const: 3 18

26: Perp, 0, CN:2, VN:2
P, W, t, DS:5 8, GT:0, V, nSt
Const: 17 24

27: Perp, 0, CN:2, VN:2
P, W, t, DS:5 8, GT:0, V, nSt
Const: 18 25

"Q", NP: 176, -186, NS: 14, 12
28: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 26 27
p: 0, Times, S: 12 C: 4 Fa: 0

29: Text, 0, CN:0, VN:1
B, W, BTh:1, DS:1 1, GT:0, V, nSt
Val: 174 -73 0, A, nP, TP: 5.8, 2.43_, TS: 9.2, -3.5
"On pourrait v�rifier, par exemple avec l'outil d'appartenance de Cabri, que le p�le Q de la perpendiculaire � (AB) - la droite id�ale (RS) - appartient � la droite euclidenne (AB), et donc que la droite hyperbolique (AB) est bien orthogonale � la droite id�ale (RS), sa perpendiculaire en M."
p: 0, Times, S: 14 C: 6 Fa: 0