Problem:
Let be a square. Describe the locus of points of the plane, different from , for which
Problem:
Let be a square. Describe the locus of points of the plane, different from , for which
Solution:
Let us first recall that, given two points of the plane and a fixed angle , the locus of points such that consists of the union of two circular arcs, one for each half-plane determined by the line .
Let us first identify our locus:
- the two diagonals of the square certainly belong to the locus, indeed if we consider , then, by symmetry, we have and therefore
- considering the circumscribed circle of , the arcs and belong to the locus. Indeed for these points the two angles and subtend two arcs of the same length, and since one is acute and one is obtuse, they must be supplementary.
It remains to show that there are no other points of the locus besides these. Notice that, if is any point of the locus, one of must be at least and hence certainly lies inside one of the two circles having and respectively as diameter. In particular, therefore, belongs to the strip bounded by the lines and . Let us now distinguish between points interior to the square and points exterior:
- Let be interior to the square such that and . However, if all the points satisfying are exterior to the square (the circle will be larger than the one circumscribed about ); similarly there cannot be points of the locus interior to the square such that . Thus we must certainly have . Let us fix an angle with this property.
Then there exist at most two points satisfying and ; indeed these last two conditions determine (together with being interior to the square), as said at the beginning, two circular arcs, which can intersect in at most two points.
However it is easy to see that the circular arc determined by the condition , if , leaves out the points and and has inside it the intersection point of the diagonals of the square , hence it certainly intersects the two diagonals, in two distinct points, which we know belong to the locus. Hence there cannot be any others;
- Let be exterior to the square (but still in the strip of the plane determined by the lines and ), say in the half-plane determined by not containing the square; let us draw the perpendicular to through ; it will intersect the arc of the circumscribed circle of the square in exactly one point, which we call . It is clear that if is closer to than then
and therefore (the last equality holds because belongs to the locus) and similarly we get that if is farther than then . Hence necessarily and therefore there are no other points of the locus exterior to the square that do not lie on the circumscribed circle of .
Alternative solution (for the second part):
Let be a point of the locus located in the strip bounded by the lines and . Let us call the translate of by the vector ; then, by construction, the quadrilateral turns out to be cyclic; but then, since , calling and , two situations can occur:
In the first case and are parallel, hence and are parallel, that is, lies on the diagonal . In the other case, symmetrically, lies on the diagonal .
If instead is outside the strip mentioned above, say in the half-plane determined by the line not containing the square, let us consider the reflection of with respect to the perpendicular bisector of the segment ; by construction again turns out to be cyclic and the center of the circumscribed circle will lie on the perpendicular bisector of , which by construction is the perpendicular bisector of , and also on the perpendicular bisector of . Hence the center of this circle is the center of the square and, since and are points of the circle, so are and , by symmetry. Therefore the circle circumscribed about is also the circle circumscribed about the square and hence actually lies on the circumscribed circle of .