Lemme. Soit $d,d'$ (resp. $\mathcal{C},\mathcal{C}'$)
deux droites (resp. deux cercles) distincts
définis sur $k$. Alors l'intersection de deux de ces objets est vide, ou
est définie sur $k$, ou bien est définie sur $k(\sqrt{c})$
où $c$ est un certain réel positif.
Démonstration. Seul le cas de deux cercles n'est pas évident.
Il faut donc résoudre un système du type
$$\left\{
\begin{array}{l}
(x-a)^2+(y-b)^2=c^2 \\
(x-a')^2+(y-b')^2=c'^2\,,
\end{array}
\right.$$
où $a,\ldots,c' \in k$.
<!DOCTYPE html>So simple, isn't it ? A concrete picture is here
<html> <head> <title>MathJax TeX Test Page </title> <!-- Only the following script is required. You will then use : $$...$$ or \[...\] for centered equations and \(...\) for inline equations. Note that the $...$ delimiter is not used by default. --> <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> </head> <body> <h1> MathJax TeX Test Page </h1> <h2> Imbed mathematics in a web page like this ? </h2> <b>Lemme.</b> <em>Soit \(d,d'\) (resp. \(\mathcal{C},\mathcal{C}'\)) deux droites (resp. deux cercles) distincts d&eacute;finis sur \(k\). Alors l'intersection de deux de ces objets est vide, ou est d&eacute;finie sur \(k\), ou bien est d&eacute;finie sur \(k(\sqrt{c})\) o&ugrave; \(c\) est un certain r&eacute;el positif. </em> <br> <em>D&eacute;monstration.</em> Seul le cas de deux cercles n'est pas &eacute;vident. Il faut donc r&eacute;soudre un syst&egrave;me du type $$ \left\{ \begin{array}{l} (x-a)^2+(y-b)^2=c^2 \\ (x-a')^2+(y-b')^2=c'^2\,, \end{array} \right. $$ o&ugrave; \(a,\ldots,c' \in k\). </body> </html>