Mediatriz
Author: OBMEP_srdg

Aguarde o arquivo carregar.

mediatriz

$ 90^{\circ} $

A = (0.94, -1.44)
B = (7.28, -1.46)
a = Segment(A, B)
b = LineBisector(a)
P = Point(b)
c = Segment(P, A)
d = Segment(P, B)
e = Distance(c, d)
M = Intersect(b, a)
f = Line(P, M)
B' = Rotate(B, 90*°, M)
α = Angle(B, M, B')
A' = Rotate(A, 90*°, M)
β = Angle(A, M, A')
g = Segment(A, M)
h = Segment(M, B)