Point et cercle de Miquel
Author: Yvan Monka - m@ths et tiques 2013

Ménélienne

Point de Miquel

Cercle de Miquel

A = (3.3411189515206443, 3.5269807711668175)
B = (-0.4076340572746475, -0.2510593705096899)
C = (2.4771485315248545, -0.2510593705096899)
poly1, c, a, b = Polygon(A, B, C)
d = Line(B, C)
M = Point(c)
N = Point(b)
e = Line(M, N)
R = Intersect(d, e)
f = Circle(R, C, N)
g = Circle(N, M, A)
h = Circle(B, C, A)
k = Circle(B, M, R)
G, H = Intersect(f, k)
poly2, e_1, a_1, d_1 = Polygon(A, M, N)
poly3, b_1, f_1, d_2 = Polygon(R, M, B)
poly4, e_2, f_2, c_1 = Polygon(R, C, N)
i = LineBisector(c)
j = LineBisector(a)
I = Intersect(j, i)
l = LineBisector(M, N)
m = LineBisector(A, M)
n = LineBisector(B, R)
p = LineBisector(M, B)
J = Intersect(l, m)
K = Intersect(p, n)
L = Intersect(p, n)
q = LineBisector(R, N)
r = LineBisector(C, R)
M_1 = Intersect(q, r)
s = Circle(H, J, I)