$\textsf{\LARGE r}$

$\textsf{\LARGE F}$

Ponto a ponto

Uma parábola pode ser definida como o lugar geométrico dos pontos no plano
que estão equidistantes de uma reta r (diretriz) e um ponto F externo a ela (foco).
Localizar um ponto (o vértice) é fácil, mas como localizar os outros?

Lugar Geométrico

Onde está a parábola?

Podemos criar um ponto livre para explorar o terreno,
e marcar as posições onde as distâncias são iguais.
Isso é muito didático, mas pode se tornar tedioso.

Podemos construir um ponto genérico que crie o lugar geométrico,
mas essa construção só servirá para este caso ou casos semelhantes. 

VÉRTICE

Curva implícita (CAS)

X := (x, y) \
XF(x,y) :=Distância(X, \; F)\
Xr(x,y) :=Distância(X,  \; r)

O GeoGebra utiliza algoritmos 
numéricos para criar essa 
curva implícita, portanto, 
em alguns casos, podem 
ocorrer pequenos 
erros ou omissões.

XF - Xr = 0

Curvas paralelas

Offset móvel com traço

d = 1.54 (slider from 0 to 4, step 0.01)
d': 4 - d
G = (-1.5, 2)
H = (4.25, 1)
r = Line(G, H)
F = (0.5, 4)
op2 = false
op3 = false
op1 = true
B = (2.75, 5)
N = Point(r)
M = Point(r)
h = OrthogonalLine(F, r)
A = Intersect(h, r)
I = Midpoint(F, A)
C: (3.22, 3.94)
DD: (4.12, 4.78)
E: (5.22, 6.06)
C' = Mirror(C, h)
DD' = Mirror(DD, h)
E' = Mirror(E, h)
J = (4.26, 2.86)
f = OrthogonalLine(J, r)
K = Intersect(f, r)
j = Segment(J, K)
k = Segment(F, J)
D = Point(Segment[M, N])
g = Segment(F, D)
l = LineBisector(g)
m = OrthogonalLine(D, r)
L = Intersect(l, m)
lugar1 = Locus(L, D)
α = Angle(N, D, L)
O = Intersect(g, l)
β = Angle(F, O, L)
op6 = false
ec1:=XF - Xr = 0
op4 = false
op5 = false
offset1 = Sequence(Translate[r, Vector[(k * UnitOrthogonalVector[r])]], k, 0, 20, 0.2)
offset2 = Sequence(Translate[r, Vector[((-k) * UnitOrthogonalVector[r])]], k, 0, 20, 0.2)
hL = Sequence(Circle[F, k], k, 0, 20, 0.2)
zip1a = RemoveUndefined(Zip[Intersect[c1, c2, 1], c1, hL, c2, offset1])
zip1b = RemoveUndefined(Zip[Intersect[c1, c2, 2], c1, hL, c2, offset1])
zip2a = RemoveUndefined(Zip[Intersect[c1, c2, 1], c1, hL, c2, offset2])
zip2b = RemoveUndefined(Zip[Intersect[c1, c2, 2], c1, hL, c2, offset2])
v: (d' * UnitOrthogonalVector[r])
offset1' = Translate(r, v)
offset2' = Translate(r, Vector[(-v)])
c = Circle(F, d')