A1 = 0
A = (0.35889780594233023, 0.8567963377188751)
B = (2.6977005257559403, 1.026274795676382)
C = (-1.968606350007446, 1.455620222502066)
c = DroiteH(A, B)
d = CercleRayonH(C, 1)
D = (6.279345270591275, 1.2635446368168917)
E = (6.652197878097792, 2.788850758434454)
e, f = SegmentH(D, E)
F = (3.3304201021306366, 2.5628794811577778)
g, h = SegmentH(E, F)
k, p = SegmentH(F, D)
α = AngleHyp(E, D, F)
β = AngleHyp(D, F, E)
γ = AngleHyp(F, E, D)
δ: α + β + γ
texte1: "α+β+γ = " + δ + ""

Tool: Droite H (command DroiteH)
Pt, Pt
Input: A, B
Output: d

a = LineBisector(A, B)
C = Intersect(a, xAxis)
c = Circle(C, A)
D, E = Intersect(c, xAxis)
d = CircumcircleArc(E, A, D)

Tool: Segment H (command SegmentH)
Pt, Pt
Input: A, B
Output: f, e

a = LineBisector(A, B)
C = Intersect(a, xAxis)
c = Circle(C, A)
D, E = Intersect(c, xAxis)
d = CircumcircleArc(E, A, D)
F, G = Intersect(d, a)
e = CircumcircleArc(A, F, B)
f = CircumcircleArc(B, G, A)

Tool: Perpendiculaire H (command PerpendiculaireH)
Pt, Droite
Input: H, d
Output: g

H' = Mirror(H, d)
g = DroiteH(H', H)

Tool: Demi-Droite H (command DemiDroiteH)
Pt base, Pt
Input: A, B
Output: k, p

a = LineBisector(A, B)
C = Intersect(a, xAxis)
A' = Mirror(A, C)
h = CircumcircleArc(A, B, A')
I, J = Intersect(h, xAxis)
k = CircumcircleArc(A, B, J)
p = CircumcircleArc(A, B, I)

Tool: Angle H (command AngleH)
Droite, Droite
Input: q, r
Output: α

O, A = Intersect(q, r)
b, a = Tangent(O, q)
i, c = Tangent(O, r)
α = Angle(b, i)

Tool: Cercle H (command CercleH)
Centre, Point
Input: A, B
Output: k

h = DroiteH(A, B)
b, a = Tangent(B, h)
i = OrthogonalLine(A, xAxis)
I = Intersect(i, b)
k = Circle(I, B)

Tool: Longueur H (command LongueurH)
Pt, Pt
Input: A, B
Output: W

d = LineBisector(A, B)
C = Intersect(d, xAxis)
e = Circle(C, A)
D, E = Intersect(e, xAxis)
AD = Distance(A, D)
BE = Distance(B, E)
AE = Distance(A, E)
BD = Distance(B, D)
W: abs(log(AD * BE / (AE * BD)))

Tool: Cercle Rayon H (command CercleRayonH)
Centre, Rayon
Input: A, a
Output: d

distanceAaxeX = Distance(A, xAxis)
B = Point(Circle[A, abs(2 * distanceAaxeX * sinh(a / 2))])
d = CercleH(A, B)

Tool: Mediatrice H (command MediatriceH)
Pt, Pt
Input: A, B
Output: e

c = CercleH(A, B)
d = CercleH(B, A)
C = Intersect(c, d, 1)
D = Intersect(c, d, 2)
e = DroiteH(C, D)

Tool: Dist Point Droite H (command DistPointDroiteH)
Pt, Droite
Input: C, c
Output: b, e

d = PerpendiculaireH(C, c)
D, E = Intersect(d, c)
b = LongueurH(C, D)
e = LongueurH(C, E)

Tool: Symetrie H (command SymetrieH)
Point, Droite
Input: C, c
Output: C'

C' = Mirror(C, c)

Tool: Sym Centrale H (command SymCentraleH)
Point, Centre
Input: A, B
Output: E, F, G, I

c = MediatriceH(A, B)
d = DroiteH(A, B)
C, D = Intersect(d, c)
e, f = DemiDroiteH(C, B)
g, h = DemiDroiteH(D, B)
k = CercleH(B, A)
E = Intersect(g, k)
F = Intersect(f, k)
G = Intersect(h, k)
I = Intersect(k, e)

Tool: Perp H (command PerpH)
[Pt sur la droite, Droite]
Input: A, c
Output: e

a, f = Tangent(A, c)
C = Intersect(a, xAxis)
d = Circle(C, A)
b = OrthogonalLine(C, xAxis)
D = Intersect(d, b, 2)
e = DroiteH(A, D)

Tool: Rotation H (command RotationH)
[Pt, Centre, Angle]
Input: B, A, α
Output: C

Z: B
C: ((cos(α / 2) * y(A) - sin(α / 2) * x(A)) * Z + (x(A)^(2) + y(A)^(2)) * sin(α / 2)) / (-sin(α / 2) * Z + cos(α / 2) * y(A) + sin(α / 2) * x(A))

Tool: TranslationH
[pt à deplace, vecteur (deux points)]
Input: A, B, C
Output: E

c = DroiteH(B, C)
d = CercleH(C, B)
D = Intersect(c, d, 2)
a = LongueurH(B, A)
b = LongueurH(C, A)
e = CercleRayonH(C, a)
f = CercleRayonH(D, b)
E = Intersect(e, f, 1)

Tool: Angle Hyp (command AngleHyp)
Point, Sommet, Point
Input: B, A, C
Output: α

c = DroiteH(A, B)
d = DroiteH(A, C)
a, g = Tangent(A, c)
b, h = Tangent(A, d)
e = OrthogonalLine(B, a)
f = OrthogonalLine(C, b)
D = Intersect(a, e)
E = Intersect(b, f)
α = Angle(D, A, E)

Tool: Aire H (command AireH)
Sommet, Sommet, Sommet
Input: A, B, C
Output: aire

α = AngleHyp(B, A, C)
β = AngleHyp(C, B, A)
γ = AngleHyp(A, C, B)
aire: (180° - α - β - γ) / (180°) * π

Tool: milieu H (command milieuH)
Point, Point
Input: A, B
Output: D

c = DroiteH(A, B)
e = MediatriceH(A, B)
D = Intersect(c, e, 1)

Tool: Bissectrice H (command BissectriceH)
Point, Sommet, Point
Input: B, A, C
Output: p, s

c = DroiteH(A, B)
d = DroiteH(A, C)
e = MediatriceH(A, B)
D, E = Intersect(e, c)
f = CercleH(A, D)
F = Intersect(d, f, 2)
g = CercleH(A, E)
G = Intersect(d, g, 2)
h = CercleH(D, F)
k = CercleH(F, D)
H = Intersect(h, k, 2)
p = DroiteH(A, H)
q = CercleH(E, G)
r = CercleH(G, E)
I = Intersect(q, r, 1)
s = DroiteH(A, I)

Tool: T
translation z+1
Input: A
Output: B

B: A + (1, 0)

Tool: S
Symétrie -1/z
Input: A
Output: D'

D: A / abs(A)^(2)
D' = Mirror(D, yAxis)

Tool: Tinv
Translation z-1
Input: A
Output: B

B: A - (1, 0)