Théorème de pick

Théorème de pick

Théorème de Pick

Page d'aide sur l'homonymie Pour les articles homonymes, voir Pick.
polygone construit sur une grille de points équidistants

Soit un polygone construit sur une grille de points équidistants[1] tel que tous ses sommets soient des points de la grille ; le théorème de Pick fournit une formule simple pour calculer l'aire A de ce polygone en se servant du nombre i de points intérieurs du polygone et du nombre b de points du bord du polygone :

A = i + \frac{1}{2}.b - 1\,.

Dans l'exemple ci-dessus, nous avons i = 9 et b = 14, ainsi, l'aire est A = 9 + \frac{1}{2}.(14) - 1 = 9 + 7 - 1 = 15\, (unités carrées).

Cette formule est si simple qu'elle peut être correctement utilisée par des enfants de l'école élémentaire, en dessinant des figures sur les carrés du sol ou des murs, ou en étirant des élastiques avec des chevilles.

Le théorème tel qu'énoncé ci-dessus est seulement valide pour les polygones simples, c'est-à-dire ceux constitués d'une pièce et qui ne contiennent pas de "trous". Pour des polygones plus généraux, le "- 1" de la formule serait remplacé par "- \chi(P)\,", où \chi(P)\, est la caractéristique d'Euler de P.

Ce résultat fut énoncé en premier par Georg Alexander Pick en 1899. Il peut être généralisé en trois dimensions et plus par les polynômes d'Ehrhart. La formule se généralise aussi aux surfaces de polyèdres.

  1. c'est-à-dire des points de coordonnées entières

Démonstration

Considérons un polygone P et un triangle T avec un côté en commun avec P. Supposons que le théorème de Pick soit vrai pour P; nous voulons montrer qu'il est vrai aussi pour le polygone PT obtenu en ajoutant T à P. Puisque P et T partagent un coté, tous les points de bord le long du coté en commun sont fusionnés avec les points intérieurs, excepté pour les deux points extrêmes du côté, qui sont fusionnés avec les points de bord. Ainsi, en appelant le nombre de points de bord en commun c, nous avons

i_{PT} = (i_P + i_T) + (c - 2)\, et
b_{PT} = (b_P + b_T) - 2(c - 2) - 2\,.

De ce qui précède, il suit :

(i_P + i_T) = i_{PT} - (c - 2)\, et
(b_P + b_T) = b_{PT} + 2(c - 2) + 2\,.

Puisque nous supposons le théorème vrai pour P et pour T séparément,

A_{PT} = A_P + A_T\,
= i_P + \frac{1}{2}b_P - 1 + i_T + \frac{1}{2}b_T - 1\,
= (i_P + i_T) + \frac{1}{2}(b_P + b_T) - 2\,
= i_{PT} - (c - 2) + \frac{1}{2} (b_{PT} + 2(c - 2) + 2) - 2
= i_{PT} + \frac{1}{2}b_{PT} - 1\,.

Par conséquent, si le théorème est vrai pour les polygones construits à partir de n triangles, le théorème est aussi vrai pour les polygones construits à partir de n + 1 triangles. Pour finir la démonstration par récurrence, il reste à montrer que le théorème est vrai pour les triangles. La vérification dans ce cas peut être faite par étapes :

  • vérifier directement que la formule est correcte pour tout rectangle avec les cotés parallèles aux axes ;
  • vérifier à partir de ce cas qu'elle marche aussi pour les triangles droits obtenus en coupant ces rectangles par une diagonale ;
  • maintenant, tout triangle peut être converti en rectangle en attachant (au plus trois) tels triangles droits ; puisque la formule est correcte pour les triangles droits et pour le rectangle, elle l'est aussi pour le triangle original.

La dernière étape utilise le fait que si le théorème est vrai pour le polygone PT et pour le triangle T, alors il est vrai aussi pour P ; ceci peut être vu par un calcul très similaire à celui montré ci-dessus.

Pour démontrer, nous montrerons en premier que le théorème de Pick possède un caractère additif. Supposons que notre polygone possède plus que 3 sommets. Alors, nous pouvons le diviser en 2 polygones P_1\, et P_2\, tels que leur intérieur ne se réunissent pas. Les deux ont moins de sommets que P. Nous voulons que la validité du théorème de Pick soit équivalente à la validité du théorème de Pick pour P_1\, et P_2\,.

Notons l'aire, le nombre de points du réseau interne et le nombre de points du réseau du périmètre pour P_k\, par A_k\,, I_k\, et O_k\,, respectivement, pour k = 1, 2.

De façon claire, A = A_1 + A_2\,.

Ainsi, si nous notons le nombre de points du réseau sur les cotés en commun de P_1\, et P_2\, par L, alors

I = I_1 + I_2 + L - 2\,

et

O = O_1 + O_2 -2L + 2\,.

Par conséquent

I + \frac{1}{2}O - 1 = I_1 + I_2 + L - 2 + \frac{1}{2}O_1 + \frac{1}{2}O_2 - L + 1 - 1\,
= I_1 + \frac{1}{2}O_1 -1 + I_2 + \frac{1}{2}O_2 -1\,.

Ceci prouve notre but. Par conséquent, nous pouvons trianguler P et cela suffit à prouver le théorème de Pick.

Lien externe

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Pick ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de pick de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Théorème de Pick — Pour les articles homonymes, voir Pick.  Ne doit pas être confondu avec le théorème de Schwarz Pick (en) …   Wikipédia en Français

  • Theoreme isoperimetrique — Théorème isopérimétrique En géométrie, un théorème isopérimétrique traite d une question concernant les compacts d un espace métrique muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont …   Wikipédia en Français

  • Pick — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour les articles homophones, voir PIC et Pique. Patronyme Arnold Pick (1851 1924), neurologiste et psychiatre tchécoslovaque d origine germano… …   Wikipédia en Français

  • Théorème isopérimétrique — En géométrie, un théorème isopérimétrique traite d une question concernant les compacts d un espace métrique muni d une mesure. Un exemple simple est donné par les compacts d un plan euclidien. Les compacts concernés sont ceux de mesures finies… …   Wikipédia en Français

  • Georg Pick — Pour les articles homonymes, voir Pick. Georg Alexander Pick (1859–1942) était un mathématicien autrichien, qui a donné son nom au théorème de Pick. Il est mort dans le camp de concentration de Theresienstadt …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”