123
Date: 9 12 月 2012

1

2

t = 3.2 (slider from -5 to 5, step 0.01)
C_1 = (-2.44, 2.38)
F = DynamicCoordinates(C_1, floor(x(C_1)), floor(y(C_1)))
A_1 = (-2.86, 0.82)
A = DynamicCoordinates(A_1, floor(x(A_1)), floor(y(A_1)))
L: y = y(A)
L_2 = OrthogonalLine(F, L)
Γ = Parabola(F, L)
V, C = Intersect(Γ, L_2)
c = If(y(F) > y(V), Distance[F, V], -Distance[F, V])
B_1 = (1.6, -0.94)
P: (x(V) + 2 * c * t, y(V) + c * t^(2))
B = DynamicCoordinates(B_1, floor(x(B_1)), floor(y(B_1)))
c_1 = Circle(P, Segment[P, F])
a = Segment(P, F)
b = OrthogonalLine(P, L)
H = Intersect(b, L)
d = Segment(P, H)
e: y = If[y(F) > y(V), y(Corner[3]), y(Corner[1])]
D, E = Intersect(Γ, e)
q = true
f = false