Figure CabriII vers. MacOS 1.1.8

Used macro(s):

Perpendiculaire - KB, Cette perpendiculaire hyper
Icon:
00FFFFFFFFF00000
0000FF0000FFF000
0000FF00000FF000
0000FF00000FFF00
0000FF00000FFF00
0000FF00000FFF00
0000FF00000FF000
0000FF0000FFF000
0000FFFFFFF00000
0000FF0000000000
0000FF0000000000
0000FF0000000000
0000FF0000000000
0000FF0000000000
0000FF0000000000
00FFFFFF00000000
Help:
"Montrer le segment ou la droite hyperbolique (donc un segment) un point M et l'horizon."
Mth: 0
CN:3, ON:19, FN:3, PO:18
CT:
segment, CS 2, lBl, W, t, DS:1 1, GT:0, V, nSt
circle, CS 1, Bl, W, t, DS:1 1, GT:0, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
Const:
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 2
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 4 7
Int, Mth:1, 0, 32768, CN:2, VN:1, Const: 8 5
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 8 5
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 7 8
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 9 10
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 9 10
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 9 12
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 14 13
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 15 11
Par, Mth:0, 0, 0, CN:2, VN:2, Const: 10 14
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 16 17
Sym, Mth:0, 0, 0, CN:2, VN:1, Const: 18 10
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 15 19
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 12 20
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 6 21
Int, Mth:1, 1, 32768, CN:2, VN:1, Const: 22 5, R, W, t, DS:1 1, GT:1, I, nSt
Int, Mth:1, 1, 33024, CN:2, VN:1, Const: 22 5, R, W, t, DS:1 1, GT:1, I, nSt
Seg, Mth:0, 1, 0, CN:2, VN:2, Const: 23 24, Br, W, t, DS:1 1, GT:0, V, nSt

Perpendiculaire commune - KB, Cette perpendiculaire commune
Icon:
0000066666600000
0006600060066000
0063000600000600
0603006000000060
0600360000000006
6000600000000006
6006030000000006
6006003000000006
6060003000000006
6600000300066666
6000000366660006
0600006660000060
0606660003000060
0060000003000600
0006600000366000
0000066666600000
Help:
"Montrer deux segments ou deux droites hyperboliques (donc des segments euclidiens) et le cercle horizon. La macro renvoie la perpendiculaire commune."
Mth: 0
CN:3, ON:34, FN:3, PO:33
CT:
segment, CS 2, G, W, t, DS:1 1, GT:0, V, nSt
segment, CS 2, G, W, t, DS:1 1, GT:0, V, nSt
circle, CS 1, Bl, W, t, DS:1 1, GT:0, V, nSt
Const:
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 2
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 7 9
Int, Mth:1, 0, 32768, CN:2, VN:1, Const: 10 8
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 10 8
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 9 10
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 11 12
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 11 12
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 11 14
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 16 15
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 17 13
Par, Mth:0, 0, 0, CN:2, VN:2, Const: 12 16
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 18 19
Sym, Mth:0, 0, 0, CN:2, VN:1, Const: 20 12
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 17 21
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 14 22
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 4 5
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 7 24
Int, Mth:1, 0, 32768, CN:2, VN:1, Const: 25 8
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 25 8
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 24 25
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 26 27
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 26 27
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 26 29
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 31 30
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 32 28
Par, Mth:0, 0, 0, CN:2, VN:2, Const: 27 31
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 33 34
Sym, Mth:0, 0, 0, CN:2, VN:1, Const: 35 27
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 32 36
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 29 37
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 38 23
Int, Mth:1, 1, 32768, CN:2, VN:1, Const: 39 8, R, W, t, DS:1 1, GT:1, I, nSt
Int, Mth:1, 1, 33024, CN:2, VN:1, Const: 39 8, R, W, t, DS:1 1, GT:1, I, nSt
Seg, Mth:0, 1, 0, CN:2, VN:2, Const: 40 41, P, W, t, DS:1 1, GT:0, V, nSt

Figure description:

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

3: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -3.53_ -0.26_

4: Cir, 0, CN:1, VN:2
Bl, W, t, DS:1 1, GT:0, V, nSt
Const: 3, Val: 4.23385823517457

5: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -5.16_ 2.6

6: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -6.06_ -2.23_

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

8: Pt, 0, CN:0, VN:1
R, W, t, DS:1 1, GT:1, V, nSt
Val: -4.53_ -0.3

9: Seg, 0, CN:2, VN:2
G, W, t, DS:1 1, GT:0, V, nSt
Const: 6 8

10: Seg, 0, CN:2, VN:2
G, W, t, DS:1 1, GT:0, V, nSt
Const: 8 5

Ma: Perpendiculaire - KB, Const: 5 i: 0 9 i: 0 4 i: 0
27: Ma R, F No1, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

28: Ma R, F No2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

29: Ma R, F No3, VN:2
O, W, t, DS:1 1, GT:0, V, nSt

Ma: Perpendiculaire - KB, Const: 6 i: 0 10 i: 0 4 i: 0
46: Ma R, F No1, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

47: Ma R, F No2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

48: Ma R, F No3, VN:2
O, W, t, DS:1 1, GT:0, V, nSt

Ma: Perpendiculaire - KB, Const: 8 i: 0 7 i: 0 4 i: 0
65: Ma R, F No1, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

66: Ma R, F No2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

67: Ma R, F No3, VN:2
O, W, t, DS:1 1, GT:0, V, nSt

Ma: Perpendiculaire commune - KB, Const: 48 i: 0 67 i: 0 4 i: 0
99: Ma R, F No1, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

100: Ma R, F No2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

101: Ma R, F No3, VN:2
P, W, t, DS:1 1, GT:0, V, nSt

Ma: Perpendiculaire commune - KB, Const: 67 i: 0 29 i: 0 4 i: 0
133: Ma R, F No1, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

134: Ma R, F No2, VN:1
R, W, t, DS:1 1, GT:1, I, nSt

135: Ma R, F No3, VN:2
P, W, t, DS:1 1, GT:0, V, nSt

136: Text, 0, CN:0, VN:1
B, W, BTh:1, DS:1 1, GT:0, V, nSt
Val: 42 -109 0, A, nP, TP: 1.4, 3.63_, TS: 7.93_, -7.3
"Les trois hauteurs d'un triangle forment un faisceau : elle sont

- soit concourantes,
- soit parall¸les
- soit sont non sˇcantes et non parall¸les, et alors elles ont une perpendiculaire commune aux trois.

Ci-contre si on se place dans le troisi¸me cas, on observera qu'il y a deux perpendiculaires communes l'une sur l'autre. 

C'est une fa¨on de vˇrifier avec Cabri qu'elles sont confondues, et donc que les trois droites ont bien une perpendiculaire commune."
p: 0, Times, S: 14 C: 2 Fa: 0, p: 32, Times, S: 14 C: 9 Fa: 0, p: 43, Times, S: 14 C: 3 Fa: 1, p: 52, Times, S: 14 C: 9 Fa: 0, p: 208, Times, S: 12 C: 9 Fa: 0, p: 279, Times, S: 12 C: 4 Fa: 0, p: 309, Times, S: 12 C: 9 Fa: 0, p: 331, Times, S: 12 C: 11 Fa: 0