Author: Daniel Mentrard

El teodolito forma parte de la familia de
instrumentos para la medida de ángulos.

Cómo podemos hallar la altura de esta torre?
Los ángulos los medimos con un teodolito de geómetra.

Moved el punto rojo.

D = (-3.0780000000000003, -4.776000000000001)
a = Line(D, xAxis)
h = 8.899999999999999 (slider from 1 to 50, step 0.01)
c = Circle(D, h)
b = OrthogonalLine(D, a)
B, C = Intersect(c, b)
d = Circle(D, h / 8.0)
D_1, E = Intersect(d, a)
e = OrthogonalLine(D_1, a)
f = OrthogonalLine(C, xAxis)
g = Line(C, xAxis)
F_1 = Intersect(e, g)
G = Midpoint(C, D)
H = Midpoint(G, D)
I = Point(b)
i = Line(I, g)
J = Point(i)
j = Segment(C, J)
k = Segment(D, J)
l = Segment(I, J)
m = Segment(C, D)
n = Line(J, m)
F = Intersect(a, n)
A, K = Intersect(c, a)
p = Segment(D, F)
q = Segment(D, K)
r = Circle(D, 0.6)
s = Circle(F, 0.6)
L, M = Intersect(r, b)
N, O = Intersect(s, n)
P = Midpoint(L, O)
u = Vector(P, O)
v = Vector(P, L)
T2: "" + (h * 5.0) + "m"
T3: "" + (p * 5.0) + "m"
Q = (7.84, -3.2600000000000002)
R = (10.18, -2.1)
α = Angle(C, J, I)
β = Angle(I, J, D)
γ = Angle(J, I, C)