Sangaku de la préfecture d'Iwate
Author: Yvan Monka - m@ths et tiques 2010

+

+

=

A = (-0.4, 0.04)
B = (2.3343636363636366, 4.143636363636363)
a = Segment(A, B)
b = OrthogonalLine(B, a)
C = Point(b)
poly1, c, a_1, b_1 = Polygon(A, B, C)
d = OrthogonalLine(B, b_1)
H = Intersect(d, b_1)
e = AngularBisector(H, A, B)
f = AngularBisector(H, B, A)
E = Intersect(e, f)
g = AngularBisector(H, C, B)
F = Intersect(e, g)
h = AngularBisector(H, B, C)
G = Intersect(g, h)
i = OrthogonalLine(G, b_1)
j = OrthogonalLine(E, b_1)
H_1 = Intersect(j, b_1)
I = Intersect(i, b_1)
k = OrthogonalLine(F, b_1)
J = Intersect(k, b_1)
p = Circle(F, J)
q = Circle(G, I)
r = Circle(E, H_1)
l = Segment(B, H)
m = Segment(E, H_1)
n = Segment(F, J)
s = Segment(G, I)
α = Angle(A, B, C)
β = Angle(C, I, G)
γ = Angle(C, J, F)
δ = Angle(C, H, B)
ε = Angle(C, H_1, E)
texte1: " " + m
texte2: " " + n
texte3: " " + s
texte7: " " + (m + n + s)