En mathématiques, plus précisément en géométrie, une courbe plane est dite unicursale, ou rationnelle, si elle admet un paramétrage tel que ses coordonnées x {\displaystyle x} et y {\displaystyle y} sont toutes les deux des fractions rationnelles du paramètre.
Une droite est unicursale puisqu'elle admet une représentation paramétrique de la forme
{ x = x 0 + a t y = y 0 + b t {\displaystyle \left\{{\begin{array}{l}x=x_{0}+at\\y=y_{0}+bt\end{array}}\right.}où ( x 0 , y 0 ) {\displaystyle \left(x_{0},y_{0}\right)} vecteur directeur de la droite.
sont les coordonnées d'un point de la droite, et n → ( a b ) {\displaystyle {\vec {n}}{\binom {a}{b}}} unUn cercle est unicursal. Dans le cas du cercle de centre l'origine du repère et de rayon 1, on a la représentation paramétrique suivante :
{ x = 1 − t 2 1 + t 2 y = 2 t 1 + t 2 {\displaystyle \left\{{\begin{array}{l}x={\dfrac {1-t^{2}}{1+t^{2}}}\\y={\dfrac {2t}{1+t^{2}}}\end{array}}\right.}En réalité, l'image de R {\displaystyle \mathbb {R} } par cette fonction n'est pas le cercle entier puisqu'il manque le point de coordonnées ( − 1 ; 0 ) {\displaystyle \left(-1;0\right)} . Mais on admet que ce point est l'image de ∞ {\displaystyle \infty } par la représentation paramétrique. Ceci est un exemple de compactifié d'Alexandrov de R {\displaystyle \mathbb {R} } .
Les coniques non dégénérées aussi sont unicursales ; voici par exemple la paramétrisation rationnelle d'une hyperbole équilatère :
{ x = 1 + t 2 1 − t 2 y = 2 t 1 − t 2 {\displaystyle \left\{{\begin{array}{l}x={\dfrac {1+t^{2}}{1-t^{2}}}\\y={\dfrac {2t}{1-t^{2}}}\end{array}}\right.}Théorème — Une courbe cubique est unicursale si et seulement si elle admet un point double, c'est-à-dire si et seulement si elle est nodale ou cuspidale.
En particulier, une courbe elliptique n’est pas unicursale.
Exemples Cubiques nodalesLe folium de Descartes a pour représentation paramétrique
{ x = 3 t 1 + t 3 y = 3 t 2 1 + t 3 . {\displaystyle \left\{{\begin{array}{l}x={\dfrac {3t}{1+t^{3}}}\\y={\dfrac {3t^{2}}{1+t^{3}}}.\end{array}}\right.}Le point double est l'origine ( 0 , 0 ) {\displaystyle (0,0)}
du repère, obtenue pour t = 0 {\displaystyle t=0} et pour t = ± ∞ {\displaystyle t=\pm \infty } .De façon générale, les strophoïdes sont unicursales.
Cubiques cuspidalesLa parabole semi-cubique admet pour représentation paramétrique
{ x = t 2 y = t 3 . {\displaystyle \left\{{\begin{array}{l}x=t^{2}\\y=t^{3}.\end{array}}\right.}Elle est même mieux que rationnelle, puisque x {\displaystyle x} polynômes en t {\displaystyle t} .
et y {\displaystyle y} sont même desUn exemple de quartique unicursale est la lemniscate de Bernoulli dont une équation paramétrique est
{ x = 2 t 1 + t 4 y = 2 t 3 1 + t 4 . {\displaystyle \left\{{\begin{array}{l}x={\dfrac {2t}{1+t^{4}}}\\y={\dfrac {2t^{3}}{1+t^{4}}}.\end{array}}\right.}Par élimination de t {\displaystyle t} algébrique.
Article connexe : entre x {\displaystyle x} et y {\displaystyle y} , toute courbe unicursale est Géométrie algébrique.Une courbe algébrique n'est pas nécessairement unicursale. Elle l'est si et seulement si son genre est 0.
ExempleOn peut montrer que la courbe affine plane d'équation ( x 2 − 1 ) 2 − 2 y 3 − 3 y 2 {\displaystyle (x^{2}-1)^{2}-2y^{3}-3y^{2}} est de genre 0. Elle est donc unicursale et admet un paramétrage rationnel, par exemple :
{ x = t ( 2 t 2 − 3 ) y = 2 t 4 − 4 t 2 + 1 2 {\displaystyle {\begin{cases}x&=t(2t^{2}-3)\\y&=2t^{4}-4t^{2}+{\frac {1}{2}}\end{cases}}}avec t = x y x 2 − y − 1 {\displaystyle t={\frac {xy}{x^{2}-y-1}}}
. Contre-exemplesConiques : Une conique dégénérée n'est pas unicursale, par exemple la « courbe » d'équation x 2 = 1 {\displaystyle x^{2}=1}
n'a pas de représentation paramétrique rationnelle (une fonction de t {\displaystyle t} qui ne prend que les valeurs 1 et –1 ne peut être rationnelle). Cependant, cette conique dégénérée est constituée de deux composantes, les deux droites d'équation x = 1 {\displaystyle x=1} et x = − 1 {\displaystyle x=-1} qui sont chacune unicursale.Cubiques : Les cubiques sans point double ne sont pas unicursales. En effet, leur genre vaut 1. Par contre, une cubique ayant un point double est de genre 0.
Si t ∈ Q {\displaystyle t\in \mathbb {Q} }
(par exemple si t {\displaystyle t} est un entier), les coordonnées x ( t ) {\displaystyle x(t)} et y ( t ) {\displaystyle y(t)} sont elles-mêmes rationnelles. On peut donc utiliser la représentation paramétrique d'une courbe unicursale pour obtenir des points à coordonnées rationnelles de celle-ci.Exemple : La recherche de points à coordonnées rationnelles sur le cercle unité (voir supra) est liée à celle des nombres pythagoriciens : avec t = 5 {\displaystyle t=5} , on a
{ x = 1 − 5 2 1 + 5 2 = 1 − 25 1 + 25 = − 24 26 = − 12 13 y = 2 × 5 1 + 5 2 = 10 1 + 25 = 5 13 {\displaystyle \left\{{\begin{array}{l}x={\dfrac {1-5^{2}}{1+5^{2}}}={\dfrac {1-25}{1+25}}=-{\dfrac {24}{26}}=-{\dfrac {12}{13}}\\y={\dfrac {2\times 5}{1+5^{2}}}={\dfrac {10}{1+25}}={\dfrac {5}{13}}\end{array}}\right.}où l'on reconnaît le triplet ( 5 , 12 , 13 ) {\displaystyle (5,12,13)}
.Clark a utilisé les représentations paramétriques rationnelles du cercle et du folium pour créer des nomogrammes de multiplication (cercle doublement coté avec une droite cotée, folium triplement coté).