Formule de Crofton

Soit γ une courbe plane rectifiable de longueur finie. Soit une droite orientée l, et soit n_γ(l) le nombre de points où γ et l s'intersectent. On peut paramétrer la droite l par sa direction φ composée d'un angle et de coordonnées par rapport à l'origine. La formule de Crofton permet d'exprimer la longueur de la courbe γ en termes d'intégrale sur l'espace de toutes les droites orientées :

${\displaystyle \ell (\gamma )={\frac {1}{4}}\iint n_{\gamma }(\varphi ,p)\;\mathrm {d} \varphi \;\mathrm {d} p.}$

La forme différentielle

${\displaystyle \mathrm {d} \varphi \wedge \mathrm {d} p}$

est invariante par rapport aux transformations rigides ; il s'agit donc d'une mesure naturelle pour intégrer, ce qui permet de parler de nombre « moyen » d'intersection.

• Théorème de Barbier
• Nouille de Buffon (en)