Calcul intégral visuel

Le calcul intégral visuel, conçu par Mamikon Mnatsakanian (appelé Mamikon tout court), est une méthode permettant de résoudre rapidement divers problèmes de calcul intégral semblant difficiles à résoudre directement . Cette méthode est du type de ce que Martin Gardner appelle un "haha!" ou Roger Nelsen une "preuve sans mots" .

Description

Illustration de la méthode de Mamikon montrant que les aires de deux couronnes ayant la même longueur de corde sont les mêmes quels que soient les rayons intérieur et extérieur.

Mamikon a conçu sa méthode en 1959 alors qu'il était encore étudiant, en l'appliquant d'abord à un problème de géométrie bien connu : trouver l'aire d'une couronne, connaissant la longueur d'une corde tangente à la circonférence interne, sans indication supplémentaire.

Le problème se résout facilement à l'aide du théorème de Pythagore mais Mamikon propose une construction originale de la couronne : il dessine d'abord le cercle intérieur, puis déplace un segment tangent de longueur constante le long de sa circonférence, "balayant" ainsi la totalité de la couronne. Il translate ensuite ces segments de manière que leurs points de tangence coïncident ; le résultat est un disque circulaire de rayon connu (et de surface facilement calculable). Mamikon prouve que les deux aires sont égales, ce qui donne la valeur de l'aire de la couronne : $\pi l^2/4$ où $l$ est la longueur de la corde.

Plus généralement le théorème de Mamikon concerne l'aire du domaine balayé par un segment $[AB]$ (non forcément de longueur constante) tangent à la courbe décrite par $A$. Mamikon désigne par "tangent sweep" (traduit par "balayage tangent") le domaine balayé par le segment et par " tangent cluster" (que nous désignerons par "balayage translaté"), le domaine balayé par un segment $[OM]$ translaté de $[AB]$, $O$ étant fixe, et énonce alors :

L'aire du balayage tangent est égale à l'aire du balayage translaté, quelle que soit la forme de la courbe d'origine.

Notons que ceci s'applique aussi à une courbe gauche auquel cas le balayage translaté est une portion de cône.

"Preuve" visuelle du théorème de Mamikon ; à gauche, la zone balayée par le segment tangent, à droite, le "balayage translaté" : les 2 aires sont égales ; ici, la courbe de départ est un demi-cercle.

La démonstration précise du théorème se trouve dans page 531.

Applications

Théorème de Pythagore

Avec les données de la figure ci-contre, l'aire de la couronne vaut $\pi c^2-\pi a^2$ ; mais par le théorème de Mamikon, elle vaut $\pi b^2$ ; on en déduit bien $c^2=a^2+b^2$.

Aire d'une arche de cycloïde

Illustration du calcul de l'aire d'une arche de cycloïde en utilisant le théorème de Mamikon.

L'aire d'une arche de cycloïde peut être calculée en considérant la zone qui la sépare d'un rectangle englobant. Les tangentes limitées à ce rectangle peuvent être regroupées pour former un disque (voir la justification plus loin). Si le cercle générant la cycloïde a un rayon Modèle:Formule alors ce disque a également un rayon Modèle:Formule et une aire Modèle:Formule . L'aire du rectangle étant Modèle:Formule , l'aire de la cycloïde est Modèle:Formule , soit 3 fois l'aire du cercle générateur.

Le balayage translaté est un disque : en effet considérons le cercle engendrant la cycloïde par roulement ; la tangente à la cycloïde est perpendiculaire au segment joignant le point traçant au point de contact sur la droite de roulement. Ainsi, le segment tangent et le segment précédent forment un triangle rectangle dans le cercle générateur. Cela signifie que, regroupées, les tangentes décrivent bien la totalité du disque intérieur au cercle générateur.

Des solutions à de nombreux autres problèmes se trouvent sur le site "Visual Calculus" , ainsi que dans . Certains sont repris dans l'article en français.

Dans , Tom Apostol décrit comment de jeunes élèves peuvent utiliser cette méthode.

Voir également

• Le principe de Cavalieri
• Le théorème de Holditch, donnant un cas particulier du théorème de Mamikon.

Lien externe

• Illustration du calcul de l'aire de la cycloïde