Il Compasso di Cartesio
Author: Fabio Durastante

Cartesio - Geometria, Editio Secunda. Pagina 20

Y

Z

X

Il Compasso di Cartesio

O = Intersect(xAxis, yAxis)
W = Point(xAxis)
α = 0.7155849933176751 rad (slider from 0 to 1.5707963267948966, step 0.017453292519943295)
W' = Rotate(W, α, O)
β = Angle(W, O, W')
a = Ray(O, W')
b = Ray(O, W)
A = Point(b)
c = Circle(O, A)
B = Intersect(c, a, 1)
d = Tangent(B, c)
C = Intersect(b, d)
e = OrthogonalLine(C, b)
D = Intersect(e, a)
f = Line(D, d)
E = Intersect(b, f)
g = OrthogonalLine(E, b)
F = Intersect(g, a)
h = Line(F, f)
G = Intersect(h, b)
i = OrthogonalLine(G, b)
H = Intersect(i, a)
γ = Angle(E, C, D)
δ = Angle(G, E, F)
ε = Angle(W, G, H)
k = Semicircle(O, C)
p = Semicircle(O, E)
q = Semicircle(O, G)
j = Segment(B, C)
l = Segment(C, D)
m = Segment(E, F)
n = Segment(G, H)
r = Segment(G, F)
I = Intersect(f, g)
s = Segment(D, I)