Figure CabriII vers. DOS 1.0

Window center x: -1 y: -1.1

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
Gr, W, t, DS:1 1, GT:0, I, nSt
Const: 1, Val: 1 0, 0 1

3: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, I, nSt
Val: -9.9 -2.16_

4: Line, 0, CN:1, VN:2
V, W, t, DS:1 1, GT:0, V, nSt
Const: 3, Val: 18.73_ 0

"u", NP: 37, -18, NS: 13, 15
5: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: 1.83_ 0.36_
p: 0, Helvetica, S: 12 C: 15 Fa: 0

"v", NP: -26, -80, NS: 12, 15
6: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -0.8 2.1
p: 0, Helvetica, S: 12 C: 15 Fa: 0

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

8: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt
Const: 7 4

9: Cir, 0, CN:2, VN:2
Bl, W, t, DS:1 1, GT:0, I, nSt
Const: 8 6

10: Int, 4294934528, CN:2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt
Const: 4 9

11: Int, 4294934784, CN:2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt
Const: 4 9

12: Arc, 0, CN:3, VN:5
R, W, t, DS:1 1, GT:0, V, nSt
Const: 10 6 11

"w", NP: -163, -34, NS: 15, 15
13: Pt/, 0, CN:1, VN:3
R, W, t, DS:1 1, GT:1, V, nSt
Const: 12, Val: -5.20159961722938 0.467877560126375
p: 0, Helvetica, S: 12 C: 15 Fa: 0

"a", NP: -342, 68, NS: 13, 15
14: Pt/, 0, CN:1, VN:3
R, W, t, DS:1 1, GT:1, V, nSt
Const: 4, Val: -11.3 -2.16_
p: 0, Helvetica, S: 12 C: 15 Fa: 0

15: Line, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 14 13

16: Perp, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 13 15

"b'", NP: -124, 67, NS: 16, 15
17: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 4 16
p: 0, Helvetica, S: 12 C: 15 Fa: 0

18: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 14 13 17

19: Line, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 17 5

20: Perp, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 5 19

"c", NP: 86, 66, NS: 12, 15
21: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 4 20
p: 0, Helvetica, S: 12 C: 15 Fa: 0

22: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 17 5 21

23: Line, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 21 6

24: Perp, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 6 23

"a'", NP: -173, 68, NS: 16, 15
25: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 24 4
p: 0, Helvetica, S: 12 C: 15 Fa: 0

26: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 25 6 21

27: Line, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 25 13

28: Perp, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 13 27

"b", NP: 266, 68, NS: 13, 15
29: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 28 4
p: 0, Helvetica, S: 12 C: 15 Fa: 0

30: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 25 13 29

31: Line, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 29 5

32: Perp, 0, CN:2, VN:2
V, W, t, DS:1 1, GT:0, I, nSt
Const: 5 31

"c'", NP: 26, 66, NS: 15, 15
33: Int, 0, CN:2, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Const: 32 4
p: 0, Helvetica, S: 12 C: 15 Fa: 0

34: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 33 5 29

35: Arc, 0, CN:3, VN:5
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 33 6 14

36: Text, 0, CN:0, VN:1
B, W, BTh:2, DS:1 1, GT:0, V, nSt
Val: -315 96 0, A, nP, TP: -10.5, -3.2,TS: 17.2, -4.5
"Le plan de Poincar‚ est le demi-plan sup‚rieur ouvert limit‚ par la droite horizon H.
Les points situ‚s sur l'horizon ne font donc pas partie de la g‚om‚trie.
Les droites hyperboliques sont les demi-cercles du plan de Poincar‚ orthogonaux … l'horizon.
Les points u, v, w sont donc align‚s dans le plan de Poincar‚.
Deux droites du plan de Poincar‚ tangentes … l'horizon sont dites ultraparallŠles.
Il existe une infinit‚ d'hexagones hyperboliques dont les c“t‚s successifs sont ultraparallŠles
et passent successivement par les points u, v, w.
Tirer sur le point a pour le constater.
Ce th‚orŠme n'est qu'une reformulation du th‚orŠme de Pascal dans le plan de Poincar‚."
p: 0, Helvetica, S: 12 C: 15 Fa: 0