La preuve que 22 / 7 dépasse π

22 / 7 dépasse π

Les preuves du célèbre résultat mathématique que le nombre rationnel 22 / 7 est supérieur à π remontent à l'Antiquité. Ce qui suit est une démonstration mathématique moderne que 22 / 7> π, nécessitant uniquement des techniques élémentaires de calcul. Le but n'est pas d'abord de convaincre le lecteur que 22 / 7 est en effet plus grand que π; des méthodes de calcul systématiques de la valeur de π existent. Contrairement à certaines preuves élémentaires, le calcul fondé sur la preuve présentée ici est simple, son élégance résultant de ses liens avec la théorie des approximations diophantines. Stephen Lucas qualifie cette proposition de "l'un des plus beaux résultats liés à l'approximation de π". Julian Havil met fin à une discussion sur les fractions approchant π avec ce résultat, le décrivant comme "impossible de ne pas être mentionné" dans ce contexte.

$0<\int_0^1\frac{x^4(1-x)^4}{1+x^2}\,dx=\frac{22}{7}-\pi.$

Les détails

Il reste de démontrer que l'intégral en effet evalue à la quantité désirée:

$0\,$	$<\int_0^1\frac{x^4(1-x)^4}{1+x^2}\,dx$
	$=\int_0^1\frac{x^4-4x^5+6x^6-4x^7+x^8}{1+x^2}\,dx$	(développer les termes du numérateur)
	$=\int_0^1 \left(x^6-4x^5+5x^4-4x^2+4-\frac{4}{1+x^2}\right) \,dx$	(faire la division polymomiale, un aspect important de la formulation de la géométrie algébrique)
	$=\left.\frac{x^7}{7}-\frac{2x^6}{3}+ x^5- \frac{4x^3}{3}+4x-4\arctan{x}\,\right|_0^1$	(integration définie)
	$=\frac{1}{7}-\frac{2}{3}+1-\frac{4}{3}+4-\pi\$	(substituer un pour x, puis zéro pour x, et faire soustraire l'un de l'autre, utiliser arctan(1) = π/4)
	$=\frac{22}{7}-\pi.$	(addition)

Ce document provient de « 22 / 7 d%C3%A9passe %CF%80 ».