How can I prove a line can't meet an ellipse in more than two points Without knowing the equation for an ellipse, but rather just with the geometric definition i.e. the ellipse is the locus of points with $PF_1 + PF_2 = k > F_1F_2$.
I tried to use a classic construction: $\omega = \odot(F_1,k)$, so for $Q \in \omega$, the point $P$ of meeting of the perpendicular bisector between $Q$ and $F_2$, with $QF_1$ is in the ellipse.
By the converse: given $P$ in the ellipse, the point $Q = PF_1 \cap \odot(P,PF_2)$, not in between $P$ and $F_1$, is in $\omega$.
The problem is that this last operation transforms lines in weird curves, while I was hoping it would transform lines in another lines and thus, a line would meet a circle in more than two points.
Notice that it is not obvious from this definition that an ellipse can be transformed in a circle by dilation on some axis.
 A: Here is a simple argument that does not directly use the sum of distances from the focal points:
We can begin with the assumption that this property holds for a circle, that is, a line can't meet a circle in more than two points. Then we note that if the plane of the circle is viewed from not top but a tilted direction, then the circle is seen as an ellipse. In fact for any given ellipse, one can find a point of view at which the circle is seen like that given ellipse. Also, such change in point of view does not essentially change lines. Therefore, our assumption of the property holding for circles can be translated to the statement you wanted to demonstrate.
A: There is a simple convexity argument. $d(x,y)=\sqrt{(x-x_1)^2+(y-y_1)^2}$ is a convex function, so the same holds for $f(x,y)=\sqrt{(x-x_1)^2+(y-y_1)^2}+\sqrt{(x-x_2)^2+(y-y_2)^2}$. Let $(x_1,y_1)$ and $(x_2,y_2)$ be the foci. Assume that a line meets the ellipse at three distinct points. Without loss of generality we may assume that the line has equation $y=0$, then consider $g(x)=f(x,0)$. $g(x)$ is convex, so it cannot attain the same value three times. We have got a contradiction.
A: In the style of classical geometry:
Let $\ell$ be the line, $F_1, F_2$ be the two foci, and $G_2$ be the reflection of $F_2$ through $\ell$. Then for any point $P$ on the line, $PF_2 = PG_2$, so the intersection of $\ell$ with the ellipse consists of all points $P$ where $F_1P + PG_2 = k$.
Let $Q$ be intersection of $F_1 G_2$ with $\ell$: $F_1 P + PG_2$ is minimized when $P=Q$, by the triangle inequality. Suppose that $Q, R, S$ appear on line $\ell$ in that order. Then $R$ is in the interior of $\triangle F_1 G_2 S$, so ray $G_2R$ must intersect $F_1S$ at some point $X$:

By a series of triangle inequalities, $F_1S + SG_2 > F_1 R + R G_2$, because
\begin{align}
   F_1S + SG_2 &= F_1X + XS + SG_2 \\
   &> F_1X + XG_2 \\
   &= F_1X + XR + RG_2 \\
   &> F_1R + RG_2.
\end{align}
In particular, we cannot have $F_1S + SG_2 = k$ and $F_1R + RG_2 = k$ at the same time. Therefore points of intersection between the line and the ellipse cannot be on the same side of $Q$ - so there can be at most two of them.
I suppose I assumed that the line $\ell$ does not pass between $F_1$ and $F_2$: if it does, then we do the same thing, except without the reflection step first.
