I was playing with the setup for Desargues Theorem in Geogebra today and got a very odd-looking (to me) result. I imagine I could grind through this analytically and get an ugly-looking parametric representation of it but I'm more interested to know whether anyone recognises these curves by sight and can attach a name to them. This is mostly a matter of idle curiosity at this point:
The red one looks like an elliptic curve to me, but the green one doesn't.
The setup is a bit convoluted to describe but here goes in case you want to try this at home:
- Take an arbitrary disjoint pair of ellipses. Join their foci in pairs (orange lines). Pick any point on the right ellipse (A) and project it to the point where those two orange lines intersect (P) (red line). One of the points where this intersects the left ellipse is identified.
The foci of each ellipse, together with one of the two points on its edge thus identified, form a triangle (black lines). By construction, the two triangles are in perspective. Each triangle fully determines its corresponding ellipse.
Construct points as in Desargues Theorem: produce all the sides of the triangles (dark blue dotted lines for the right-hand triangle, light blue for the left-hand one). Place a point were corresponding lines intersect. We'll call these the D-points. As the theorem predicts, they are collinear (dotted purple line).
Turn on "trace" for the three points. This will plot the locus of each point when it moves.
Take the point on the right ellipse and move it around the ellipse.
The result is the thick green and red lines. The red curve is the locus of one of D-points, the green is the two-branched locus of another; the third D-point (blue) remains stationary (this is not surprising; it's the point of intersection of the two lines joining the foci, which aren't moving).