geo-036-mediatriz

Compás 1

Compás 2

Mediatriz

Todo

Segmento

Los radios deben ser iguales.

El compás 1 es demasiado pequeño.

A = (11, 8.5)
B = (14.5, 8.5)
l = Segment(A, B)
n = OrthogonalLine(B, l)
D = (11, 8.5)
d_1 = Circle(B, Segment[A, D])
L: B
radio1 = Distance(A, D)
I = Intersect(d_1, n, 2)
m = Segment(L, I)
i = LineBisector(A, B)
f = LineBisector(A, B)
C = Point(f)
g = Ray(A, C)
h = Ray(B, C)
c_1 = Circle(A, D)
E = Intersect(d_1, h, 1)
j = Segment(B, E)
F = (15.899230810937238, 10.61974504088587)
e_1 = Circle(B, F)
G = Intersect(c_1, e_1, 1)
H = Intersect(c_1, e_1, 2)
k = Line(G, H)
b = false
c = false
d = false
e = false
a = false
radio2 = Distance(B, F)
K: A