Compound Loci, Applications
A locus is a set of points that contains all the points, and only the points, that satisfy the condition, or conditions, required to describe a geometric figure. The word locus is Latin for place or location. A locus may also be defined as the path traced out by a point in motion, as it moves according to a stated set of conditions, since all the points on the path satisfy the stated conditions. Thus, the phrases "locus of a point" and "locus of points" are often interchangeable. A locus may be rather simple and appear to be obvious from the stated condition. Examples of loci (plural for locus) include points, lines, and surfaces. The locus of points in a plane that are equidistant from two given points is the straight line that is perpendicular to and passes through the center of the line segment connecting the two points (Figure 1a).
The locus of points in a plane that is equidistant from each of two parallel lines is a third line parallel to and centered between the two parallel lines (Figure 1b). The locus of points in a plane that are all the same distance r from a single point is a circle with radius r. Given the
same condition, not confined to a plane but to three-dimensional space, the locus is the surface of a sphere with radius r. However, not every set of conditions leads to an immediately recognizable geometric object.
To find a locus, given a stated set of conditions, first find a number of points that satisfy the conditions. Then, "guess" at the locus by fitting a smooth line, or lines, through the points. Give an accurate description of the guess, then prove that it is correct. To prove that a guess is correct, it is necessary to prove that the points of the locus and the points of the guess coincide. That is, the figure guessed must contain all the points of the locus and no points that are not in the locus. Thus, it is necessary to show that (1) every point of the figure is in the locus and (2) every point in the locus is a point of the figure, or every point not on the figure is not in the locus.