Classroom examples
Definition of a parabola
Maybe the most natural example to illustrate how useful loci are is definition of a parabola. As Wikipedia writes it is the set of points equidistant from a single point (the focus) and a line (the directrix). This definition is for beginners, however, not easy to handle. There is at least one abstract step in-between, namely that to find the distance from a line we may need a perpendicular being drawn.
Thus, when focus F and directrix d are given, constructing one point P of parabola p is as follows:
- Choose an arbitrary point D of d.
- Construct a perpendicular line to d on D.
- Construct the bisector b of D and F.
- Let the intersection point of the perpendicular line and b be P.
- Now P is a point of parabola p since PD=PF (because bisector b is actually the axis for the mirroring of point D to F).
In the figure we can see a dark red dashed parabola which is the real locus drawn by GeoGebra numerically. The lighter red curve has been computed symbolically by the LocusEquation command. In this special case these two curves are exactly the same. We will see some examples below where this is not the case. The reason comes from the algorithm we use to compute the equation. (In many cases the symbolical result can be improved by using extended algorithms.)
Locus of the orthocenter
A parabola can also be obtained by getting the orthocenter points of a triangle if two vertices are fixed and the third one moves on a line which is parallel to the opposite side.
In this figure point A is constrained by line PQ. Students can drag point A on line PQ and see how the orthocenter D is changing meanwhile. It is not obvious to prove that the locus here is a parabola, but the students are able at least to get experience by changing points B and C by preserving parallelism of lines PQ and BC.
On the other hand, the locus equation will not be essentially different on other positions of P, Q, B and C: it will be quadratic in most set of positions. Some of these positions seem easy to investigate, for example when PQ is perpendicular to BC (here the result will be a linear equation). Others, for example by putting P to (1,1) and not changing anything else in the set, the locus result is a hyperbola, namely . First, this formula is hard to analyze in secondary school since it is not in explicit form like a function . Second, this formula is still a quadratic implicit equation and thus it can open horizons of generalization to cover all kind of conics.
In case P=(1,1), Q=(2,0), B=(3,1), C=(3,1) the computed locus equation is , i.e. whose left hand side is the product of and , two lines, namely and written in the usual explicit form. In this constellation height of side AB always lies on line CQ since it is perpendicular to PQ. Thus point D will also lie on line CQ, so it seems sensible that the locus equation is CQ in this case. Unfortunately, GeoGebra's LocusEquation shows an extra line here, not only CQ (which has the explicit equation ) but also another one. This example shows that the real locus may be a subset of the result of the LocusEquation command.
One further step forward is to constrain point A on a circle, not a line. In this way we can obtain non-quadratic locus equations like the strophoid formula which is a cubic one.
Here points P and Q define a circle which has perimeter point A as a constraint.
In this figure a quartic equation is shown, but the real locus is a cubic curve. That is an extra component is shown (here line x=-1) as in many other cases when dragging points P, Q, B or C. On the other hand, by moving point P down, for example into (-1,1) or (-1,0), the locus is the same as LocusEquation computes: in these cases the locus is a real quartic curve.
A beautiful side case is when points when B=P and C=Q. In this case the real locus is a right strophoid curve and an extra line component is drawn on points C and Q.