René DescartesDescartes et les Mathématiques

Fractions égyptiennes

Décomposition d'un nombre rationnel en fractions égyptiennes, conjecture de Sierpinski.

Sommaire

1. Légende : l'œil Oudjat
2. Décomposition d'un nombre en fractions égyptiennes
        Fraction de numérateur 2
        Fraction de numérateur 3
  Algorithme de Fibonacci
        Fraction de numérateur 4 - Conjecture d'Erdös
3. Waclaw Sierpinski
4. Conjecture de Sierpinski
      Fraction de numérateur 5

Stage « Mathématiques et informatique »
Ouagadougou - février 1999

œil Oudjat

Index algorithme et calculatrice

TI-92
Les suites

TI-92
Petits programmes

TI-92
Immerger une bille

π et le papyrus Rhind :
grands problèmes

1. Légende : l'œil Oudjat

L'œil Oudjat est un hybride d'œil humain et d'œil de faucon : il représente un œil humain fardé et souligné de deux marques colorées caractéristiques du faucon pèlerin.

Il serait œil d'Horus, fils d'Isis et d'Osiris, perdu dans un combat mené contre son oncle Seth pour venger son père.

Le dieu Thot, guérisseur et dieu de la médecine, l'avait soigné et le lui avait rendu. C'est pourquoi « Oudjat » symbolisait la santé et la lumière. L'Oudjat incarnait aussi le cycle du jour et de la nuit.

On le retrouve comme amulette sur les momies : l'amulette représentait aussi l'attachement du fils à son père, car Horus avait donné son œil à son père Osiris afin qu'il recouvre la vue.

Les « anciens Égyptiens » avaient coutume d'encastrer l'Oudjat dans les niches de leurs portes pour se préserver du mauvais œil.

Au début du XXe siècle, fut inventée la légende de l'identification de l'œil Oudjat avec des fractions, légende qui sera répétée jusqu'à la fin du siècle :
les parties constituantes de l'œil Oudjat serviraient à écrire les différentes fractions ayant 64 comme dénominateur, ce qui permettait de compter le grain, dont l'unité de mesure était le hékat (un hékat valait environ 4,785 litres).

L'œil d'Horus serait décomposé en six éléments de la façon suivante :

œil d'Horus

  – la petite pyramide = 1/2
  – le soleil = 1/4
  – la grande pyramide = 1/16
  – la ligne de sol = 1/8
  – le bloc poussé par l'Égyptien = 1/64
  – la ligne recourbée = 1/32

œil Oudjat

Au cours du combat, Seth arrache l'œil gauche d'Horus, le coupe en six morceaux et le jette dans le Nil. À l'aide d'un filet, Thot récupère les morceaux, mais il en manque un !
La somme des fractions de l'Oudjat ne fait que 63/64 ; le 1/64 manquant est le liant magique qui sera ajouté par le dieu Thot pour rendre à Horus son intégrité vitale, en permettant à l'œil de fonctionner.

Ce 1/64, manquant pour parfaire l'unité, serait toujours fourni par Thot, patron des scribes, au calculateur, qui se placerait ainsi sous sa protection.

2. Décomposition d'un rationnel en fraction égyptienne

Une fraction égyptienne est une somme d'inverses de naturels, avec ces naturels tous différents les uns des autres.

La décomposition d'un rationnel en fraction égyptienne permet de mettre en œuvre des exercices de la quatrième à la terminale S et fournit des exemples simples d'algorithmes.

2.a. Introduction

Dès l'an 2000 avant notre ère, l'Égypte antique connaissait les fractions sous une forme limitée aux inverses d'entiers.

Exemples

3/4 = (2+1)/4 = 1/2 + 1/4,

2/3 = (3+1)/6 = 1/2 + 1/6,

2/9 = 1/6 + 1/18,

7/11 = 14/22 = 1/2 + 1/11 + 1/22.

9/20 = (5+4)/20 = 1/4 + 1/5,

Remarque : la représentation sous forme d'une somme de fraction à numérateurs unitaires n'est pas unique.

Par exemple 5/8 = (4+1)/8 = 1/2 + 1/8, mais on a aussi 5/8 = 1/3 + 1/6 + 1/8 car 1/n=1/(n+1)+1/(n(n+1)) (formule du « Matching pair ») ;

Ou encore 2/5 = (5+1)/15 = 1/3 + 1/15 ou 9/2 = 1/5 + 1/5 = 1/5 + 1/6 + 1/30.

Il est ainsi possible d'obtenir une infinité de décompositions.
C'est pourquoi les Égyptiens avaient décidé d'utiliser celle contenant le moins de termes et n'en répétant aucun.

2.b. Trois méthodes

Il s'agit de décomposer un rationnel de ]0 ; 1[ en une somme d'inverses d'entiers strictement croissants.
Il peut être montré que tout nombre rationnels positif, inférieur à 1, peut être écrit sous cette forme et ce, d'une infinité de façons différentes.

On ne sait pas très bien comment les Égyptiens procédaient pour obtenir ces décompositions.

Deux méthodes égyptiennes

Méthode de Taton (2000 avant J.-C.)

Dénominateur pair.

Décomposer le numérateur en somme de puissances de 2 :

7/12 = (4+2+1)/12 = 4/12 + 2/12 + 1/12 = 1/3 + 1/6 + 1/12, mais 7/12 = 1/2 + 1/12 = 1/3 + 1/4.

Numérateur égal à 2 : « table de deux » du Papyrus Rhind

Les « anciens Égyptiens » devaient avoir différentes tables permettant de décomposer les fractions.
La table dite « de deux », se trouve dans le papyrus de Rhind. Elle répertorie les fractions dont le numérateur est 2 et dont le dénominateur varie de 3 à 101.

Une fraction irréductible de numérateur 2 peut s'écrire sous la forme 2/(2p -1).

Comme 2/(2p -1) = 1/p + 1/(p(2p - 1), la fraction se décompose en exactement deux fractions égyptiennes.

Exemple : 2/15 = 2/(2×8 - 1) = 1/8 + 1/120.

Si le dénominateur n'est pas premier, on trouve une autre décomposition la fraction du type 2/(pq) (p et q impairs) avec la formule :

2/(pq)=…

Par exemple, avec p = 3 et q = 5, on a aussi : 2/15 = 1/12 + 1/20.

Autre exemple : 2/7 = 2/(2 x 4 - 1) = 1/4 + 1/28.

Méthode « Matching pair » (méthode récente du 20e siècle)

Remplacer les doubles d'inverses avec la formule 1/n=1/(n+1)+1/(n(n+1)).

3/13 = (2+1)/13 ;

comme 1/13 = 1/14 + 1/182, on a 2/13 = 1/7 + 1/91,

d'où 3/13 = 1/7 + 1/13 + 1/91.

Un cas particulier pour 2/3 = 1/3 + 1/3 qui n'est pas un développement acceptable.
Transformer alors un des termes en double par « Matching pair » avec la formule 1/n=1/(n+1)+1/(n(n+1)).

Soit pour le deuxième tiers 1/3 = 1/4 + 1/12,

et l'on obtient 2/3 = 1/3 + 1/4 + 1/12, mais 2/3 = 1/2 + 1/6.

La méthode « Matching pair » s'utilise de même lorsque, dans des développements, on trouve des fractions unitaires égales.

2.c. Quelques exemples de travail à réaliser en classe

Travail de groupes sur les mêmes fractions.
Un rapporteur écrit au tableau les résultats de son groupe.
Comparaison des résultats (unicité, « meilleure décomposition possible »…).

Fraction de numérateur 3

Soit une fraction irréductible de type 3/n.

Si le dénominateur n est pair, on a la décomposition 3/(2k) = 1/k + 1/(2k).

Sinon n est de la forme 6k – 1 ou 6k + 1.

Si n est de la forme 6k – 1 alors 3/(6k - 1) = 1/(2k) + 1/(2k(6k - 1)) :

3/5 = 1/2 + 1/10 ;

3/11 = 1/4 + 1/44 ;

3/17 = 1/6 + 1/102.

Si n est de la forme 6k + 1, utiliser par exemple l'algorithme de Fibonacci ci-dessous.

Recherche empirique plus compliquée

11/13 = 1/2 + 1/3 + 1/78.

Cela devient difficile (impossible ?) à la main pour 17/19 = 1/2 + 1/3 + 1/18 + 1/171. D'où la nécessité d'un algorithme.

Pour un numérateur égal à 4 ou 5, voir les conjectures d'Erdös ou de Sierpinski ci-dessous.

2.d. Algorithme de Fibonacci

Expression clé : algorithme fraction égyptienne

Recherche et programmation d'un algorithme

G3: oudjat4

Première phase de recherche par groupes.

On espère voir sortir l'encadrement de la fraction par deux inverses d'entiers consécutifs n et n+1.
Sinon, on le suggère.

Deuxième phase de recherche au terme de laquelle l'algorithme sera soit trouvé soit donné.

Algorithme glouton de Fibonacci

En 1201, Fibonacci (Léonard de Pise 1175-1250) prouva que tout nombre rationnel, compris entre 0 et 1, pouvait s'écrire sous la forme d'une somme de fractions à numérateur unitaire et proposa la méthode suivante (pour toute fraction distincte de 2/3) :

« Soustraire à la fraction donnée la plus grande fraction égyptienne possible, répéter l'opération avec la nouvelle fraction, et ainsi de suite jusqu'à ce que l'opération donne une fraction égyptienne. »

Cet algorithme permet l'obtention des dénominateurs n de la décomposition de p/q :
Il suffit, si p > 1, de calculer la partie entière n de q/p + 1,
puis de calculer p/q - 1/n,
et de recommencer, avec cette dernière fraction, jusqu'à ce que le numérateur soit égal à 1.

Exemple : on retrouve la décomposition de la fraction 2/15, ci-dessus.

Pour p/q = 2/15 avec p = 2 ; q = 15,

q/p + 1 = 15/2 + 1 = 17/2, d'où n = partie entière(8,5) = 8,

p/q - 1/n = 2/15 - 1/8 = 1/120,

d'où 2/15 = 1/8 + 1/120.

Remarque : cet algorithme est peu performant, car on tombe facilement sur de grands nombres.
Le tester sur des types de matériels informatiques différents (calculatrices, ordinateurs…).
Comparer les difficultés rencontrées, les performances et les résultats.

Explications guidées pas à pas, sous forme d'exercice de recherche en classe, puis rédaction à la maison :

  • Recherche du dénominateur n de la fraction 1/n.
  • Exprimer p'/q' = p/q - 1/n (sous forme de fraction irréductible).
  • La suite des numérateurs p’ des différences est strictement décroissante, ce qui assure la finitude du processus.
  • Dans la décomposition, la suite des dénominateurs n est strictement croissante (toutes les fractions sont distinctes).
2.e. Programme pour la TI-92

La TI-92 permet de faire les calculs directement dans le mode fractionnaire exact, la simplification des fractions se faisant automatiquement.

Il est aussi possible de rédiger l'algorithme dans l'éditeur de programmes :

EGYPT(x)
Prgm
Local p,q,f,n
ClrIO
Disp x
getNum(x) → p
While p>1
getDenom(x) → q
If mod(q,p)=0 Then
q/p → n
Else
int(q/p)+1 → n
EndIf
 Disp 1/n
 x-1/n → x
 getNum(x) → p
 EndWhile
 Disp x
 EndPrgm

Puis exécuter le programme en tapant dans la fenêtre ¨Home :

Egypt(7/17)

On obtient : 7/17 = 1/3 + 1/13 + 1/663 ; mais on a aussi 7/17 = 1/3 + 1/17 + 1/51.

Taper sur la touche F5 ou sur ¨Home pour sortir du programme.

On peut ainsi trouver : 7/9 = 1/2 + 1/4 + 1/36 ; mais 7/9 = 1/2 + 1/6 + 1/9 ;

ou encore 11/12 = 1/2 + 1/3 + 1/12 ; mais 11/12 = 1/2 + 1/4 + 1/6 ;

Développement unique de longueur 3 : 17/18 = 1/2 + 1/3 + 1/9.

ecran calculatrice TI-92 - decomposition de 7/17 en fraction egytienne

2.f. Prolongements et limites de l'algorithme de Fibonacci (travail maison)

  • an=(2^n-1)/2^n : en utilisant la somme des termes d'une suite géométrique, trouver une décomposition de an en fractions égyptiennes et comparer cette décomposition avec celle de l'algorithme de Fibonacci.
    On a : a2 = 3/4 = 1/2 + 1/4 ; a3 = 7/8 = (4 + 2 + 1)/8 = 1/2 + 1/4 + 1/8 = 1/2 + 1/3 + 1/24.; a4 = 15/16 = 1/2 + 1/4 + 1/8 + 1/16 = 1/2 + 1/3 + 1/10 + 1/240.
    a6 = 63/64 = 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + 1/64 (CRPE 2012)
  • Une limite de l'algorithme : calculer une décomposition en fractions égyptiennes de (1/2+1/5+1/7)² par deux méthodes différentes.
    On trouve aussi 3481/4900 = 1/2 + 1/5 + 1/97 + 1/10113 + 1/… = 1/2 + 1/5 + 1/98 + 1/4900 = 1/2 + 1/5 + 1/100 + 1/2450.
  • Une autre limite : sur certains matériels, les grands dénominateurs que donne l'algorithme dépassent les capacités de calcul (exemple sur Excel).

2.g. Conjecture d'Erdös-Strauss : fraction de numérateur 4

Une fraction irréductible 4/n a un dénominateur n de la forme 4k – 1 ou 4k + 1.

Pour un dénominateur 4k – 1, on a une décomposition en deux fractions unitaires : 4/(4k - 1) = 1/k + 1/(k(4k - 1)).

Dans le cas général, la conjecture d'Erdös énonce que toute fraction irréductible de numérateur 4 a une décomposition de longueur 3 :

Pour tout entier n > 1 il existe trois naturels a, b et c tels que

4

 

1

 

1

 

1


=


+


+


n

 

a

 

b

 

c

Remarque : contrairement aux fractions égyptiennes on n'impose pas à a, b et c d'être tous différents.

Le nombre maximum de fractions obtenues par l'algorithme de Fibonacci dans la décomposition de 4/n, avec n > 4, est quatre :
la suite des numérateurs p’ étant dans la liste {4, 3, 2, 1}.

Par exemple 4/5 = 1/2 + 1/4 + 1/20 = 1/2 + 1/5 + 1/10

Étudier 4/17 = 1/5 + 1/29 + 1/1233 + 1/3039345

mais 4/17 = 1/17 + 3/17 = 1/6 + 1/17 + 1/102 (calcul de 3/17 ci-dessus)

De même décomposer 4/65 avec l'algorithme… et pourtant :4/65=1/26+1/65+1/130.

Allan Swett a confirmé que la décomposition en trois fractions unitaires admet des solutions pour n jusqu'à 1014, mais la conjecture n'a pas été démontrée.

3. Waclaw Sierpinski (Varsovie 1882 - 1969)

G5: sierpinski

Mathématicien polonais, professeur à l'université de Lvov puis de Varsovie, il consacre ses recherches à la théorie des nombres.

Il est bien connu par ses travaux :

  • sur la théorie analytique des nombres,
  • sur les images fractales : à partir d'une figure de base, répéter indéfiniment une transformation,
  • sur les courbes permettant de remplir un carré.

Le triangle de Sierpinski est obtenu en partant d'un grand triangle équilatéral. On prend les milieux de chacun de ses côtés et on enlève le triangle équilatéral ainsi obtenu. On obtient alors trois nouveaux petits triangles équilatéraux. On recommence alors l'opération précédente, à chacun de ces nouveaux triangles, et ainsi de suite. On obtient alors neuf, vingt-sept, quatre-vingt-un… nouveaux triangles.

Le tapis de Sierpinski est obtenu de même en découpant un grand carré en 9 petits carrés et on enlève le carré central. On applique à nouveau le même procédé à chacun des 8 petits carrés restants… et ainsi de suite.

Enfin, l'hexagone de Sierpinski est obtenu de même en découpant un grand hexagone en 7 petits hexagones (partager chaque côté en trois parties égales et de part et d'autre de chaque sommet tracer les segments parallèles à la diagonale issue de ce sommet). On enlève l'hexagone central. On applique à nouveau le même procédé à chacun des 6 petits hexagones restants… et ainsi de suite.

D'après Olivier Orochoir
Cécile Kerboul – Plot no 104 – mars 2003

g2w Télécharger la figure GéoPlan hex_sier.g2w

triangle de Sierpinski

hexagone de Sierpinski

4. Conjecture de Sierpinski

Une conjecture de Sierpinski énonce que toute fraction irréductible de numérateur 5 a une décomposition de longueur 3.

Pour tout entier n > 1 il existe trois naturels a, b et c tels que

5

 

1

 

1

 

1


=


+


+


n

 

a

 

b

 

c

Remarque : contrairement aux fractions égyptiennes on n'impose pas à a, b et c d'être tous différents.

Vérification avec TI-92Il semble que l'on ne sache pas encore démontrer cette conjecture.

La TI-92, en une journée, sait la vérifier jusqu'à n = 1000.

4.a. Quelques pistes de recherche

Si n est multiple de 2 : n = 2p 5/(2p)=1/p+1/p+1/(2p)

si n est multiple de 3 : n = 3p 5/(3p)=1/p+1/(3p)+1/(3p)

Pour les nombres n premiers de 7 à 37, en s'aidant éventuellement de l'algorithme de la deuxième partie, on a les résultats suivants :

5/7=…
5/13=1/4 + 1/8 + 1/104
5/19=…
5/29=…

5/11=…
5/17=…
5/23=1/7 + 1/14 + 1/322
5/37=…

Deux décompositions de 5/31 en fracations egyptiennes

On remarque :
  – qu'en général, la décomposition n'est pas unique,
  – que, si l'algorithme de Fibonacci permet d'obtenir trois fractions, le dernier nombre c est en général assez grand.

4.b. Algorithme

Pour n fixé, choisir a égal à la partie entière de n/5.

Calculer de 1 en 1 les valeurs de b jusqu'à trouver que le nombre 5/n=1/a-1/b soit l'inverse d'un entier.
En cas d'échec recommencer en augmentant a de 1.

Le plus efficace est de calculer de -1 en -1 pour b à partir de la partie entière de 2/(5/n-1/a) jusqu'à a.

4.c. Programme TI-92+, version française :
Sierpin(n)
Prgm
drap → 0 5/n → x
numér(x) → p dénom(x) → q
If p=1 then q → a else ent(q/p) → a
endif
x-1/a → y numér(y) → p dénom(y) → q
If p=1 then
2*q → b
2*q → c
2 → drap
endif
If p=2 then q → b q → c 2 → drap endif
If drap=2 then disp a, b, c else ent(2/y)+1 → b
while drap<1
b+1 → b
if b≤a then a+1 → a
x-1/a → y
ent(2/y) → b disp x a
endif
y-1/b → z
if numér(z)=1 then dénom(z) → c 1 → drap disp a, b, c endif
if 3/a<x then
disp “pas de solution”
pause
3 → drap
endif
endwhile
endif
endPrgm

Publimath Glossaire publimath

Descartes et les
Mathématiques

TI-92 : Les suites
en S ou ES

TI-92
Petits programmes

TI-92
Immerger une bille

π et le papyrus Rhind
grands problèmes

TI-92
Index

Table de matières

1. l'œil Oudjat
2. Décomposition d'un nombre en fractions égyptiennes 
3. Waclaw Sierpinski
4. Conjecture de Sierpinski

Téléchargement

doc Télécharger fracegypt.doc : ce document au format « .doc »
pdf Télécharger fracegypt.pdf : ce document au format « .pdf »

 

Moteur de recherche

Logo Google 

Liens - Rétroliens

Calculateur de fractions : Egyptian fractions

Maths en jeans - Poitiers - Camille Laurent-Gengoux
Gilles Dubois Mathématiques - (licence-cpge)

 Statistiques Orangee visiteur des pages « calculatrice ».

Page no 28, créée le 16/12/2002 - mise à jour le 6/6/2013