Densité des N-uplets pythagoriciens

1. Densité des N-uplets pythagoriciens Yohan Thibault Avec la collaboration de : Yukiko Kenmochi, Akihiro Sugimoto et Bertrand Nouvel

2. Le théorème de Pythagore Théorème : Dans un triangle rectangle, le carré de l‘hypoténuse est égal à la somme des carrés des longueurs des deux autres côtés. Tout triplet de nombre réels {a,b,c} forme un triangle rectangle si Il y a une infinité de solutions réelles.

3. Les triplets pythagoriciens Définition : Trois entiers tels que Le nombre de triplets pythagoriciens est infini On peut représenter les triplets sous deux formes différentes :

4. Les angles pythagoriciens Définition : Un angle est pythagoricien si son sinus et son cosinus sont rationnels. Pour chaque triplet pythagoricien il existe un unique angle pythagoricien associé.

5. Densité Définition : Un ensemble S est dense sur , si pour toute paire d’éléments de , avec , il existe un élément de S tel que . Théorème : L’ensemble des angles pythagoriciens est dense.

6. Preuve de la densité (600 av JC) Théorème : Pour toute paire d’angles pythagoriciens ………...., il existe un angle pythagoricien tel que . Lemme 1: Soit deux angles pythagoriciens. est un angle pythagoricien. Lemme 2: Pour tout pythagoricien, il existe ……… pythagoricien tel que .

7. Preuve de la densité (suite) Lemme 1: Soit deux angles pythagoriciens. est un angle pythagoricien. Du fait que sont rationnels, on déduit que est rationnel.

8. Preuve de la densité (suite) Lemme 2: Pour tout pythagoricien, il existe ……… pythagoricien tel que . Il existe une infinité de triplets pythagoriciens de la forme Quand , . Donc . On peut donc trouver .

9. Preuve de la densité (suite) Théorème : Pour toute paire d’angles pythagoriciens ………...., il existe un angle pythagoricien tel que . Grace au lemme 1 : est pythagoricien. Grace au lemme 2 : il existe . Grace au lemme 1, on pose : .

10. Les vecteurs pythagoriciens Définition : Un 2D vecteur est pythagoricien si ses coordonnées et sa norme Euclidienne sont entières. Pour chaque triplet pythagoricien il existe un unique vecteur pythagoricien associé Pour chaque vecteur pythagoricien il existe un angle pythagoricien associé. (la réciproque est presque vraie).

11. Densité des vecteurs Définition : Un sous-ensemble S d’un espace vectoriel E est dense dans E si pour toute paire d’éléments de E il existe un élément de S tels que : où sont une paire de scalaires positifs. Théorème : L’ensemble des vecteurs pythagoriciens est dense. Ce résultat est la base des résultat en dimension supérieure.

12. Objectifs Prouver la densité de l’ensembles des vecteurs pythagoriciens en 3D, puis dans l’espace à N-dimensions.

13. Les quadruplets pythagoriciens Définition : Quatre entiers tels que . Le nombre des quadruplets pythagoriciens est infini On peut représenter les quadruplets sous deux formes :

14. Les angles « pythagoriciens » en 3D Un quadruplet pythagoricien correspond à une paire d’angles. Les sinus et cosinus de ces angles ne sont pas rationnels (ou rarement). Conséquence :Ils ne sont donc pas désignés pour travailler dans le domaine discret.

15. Les vecteurs pythagoriciens dans l’espace Définition : Un vecteur est pythagoricien si ses coordonnées et sa norme Euclidienne sont entières. Pour chaque quadruplet pythagoricien il existe un unique vecteur associé. Théorème (Thibault 08) : L’ensemble des vecteurs pythagoriciens est dense dans l’espace.

16. Densité en dimension n Définition : Un sous-ensemble S d’n espace vectoriel E est dense dans E si pour tout sous ensemble d’éléments de E il existe au moins un élément de S tels que : Où sont des scalaires positifs.

17. Preuve de la densité des vecteurs 3D Définition : Un sous ensemble C d’un espace vectoriel est un cône convexe si ax+by appartient à C pour tout scalaire positif a,b et tout éléments x,y de C. On définit un cône convexe par trois vecteurs pythagoriciens quelconques (mais linéairement indépendants).

18. Preuve de la densité des vecteurs 3D • On projette les trois vecteurs dans le plan OXY. • Par construction au moins une paires de vecteurs projetés est linéairement indépendante. • Cette paire forme un cône convexe en 2D.

19. Preuve de la densité des vecteurs 3D • Les vecteurs pythagoriciens 2D sont denses donc il existe donc un vecteur dans le cône convexe • On définit un plan P passant par l’origine et ayant pour vecteurs directeur OZ et le vecteur crée

20. Preuve de la densité des vecteurs 3D • On cherche l’intersection entre P et le cône convexe 3D • Cette intersection est un cône convexe 2D. • Dans ce cône on cherche un autre vecteur pythagoricien. • On construit le vecteur pythagoricien 3D final.

21. Preuve de la densité des vecteurs 3D Remarque : Si est un triplet pythagoricien, ………………....est aussi un triplet pythagoricien avec k dans N Construction du vecteur final Deux vecteurs : et . On cherche k et l tel que : . Les quatre entiers forment un quadruplet pythagoricien dont le vecteur est dans le cône.

22. Les n-uplets pythagoriciens Définition : n entiers tels que Le nombre de n-uplets pythagoriciens est infini La représentation consistante dans l’espace discret est la forme vectorielle.

23. Les vecteurs pythagoriciens dans l’espace à n-1 dimension Définition : Un vecteur est pythagoricien si ses coordonnées et sa norme Euclidienne sont entières. Pour chaque n-uplet pythagoricien il existe un unique vecteur pythagoricien associé Théorème (Thibault 08): L’ensemble des vecteurs pythagoriciens est dense dans l’espace.

24. Preuve de la densité des vecteurs pythagoricien (n-1)D • Prérequis : en dimension n-2 l’ensemble des vecteurs pythagoriciens est dense. • On définit un cône convexe par n-1 vecteurs pythagoriciens quelconque (mais linéairement indépendant). • On les projettes dans un hyperplan HP.

25. Preuve de la densité des vecteurs pythagoricien (n-1)D • Comme les n-1 vecteurs sont linéairement indépendants, il existe au moins un sous ensemble de n-2 vecteurs dont leur projection est linéairement indépendante dans HP • Ce sous-ensemble forme un cône convexe n-2D dans HP.

26. Preuve de la densité des vecteurs pythagoricien (n-1)D • Les vecteurs en n-2D sont denses donc il existe un vecteur dans le cône convexe 2D. • On définit un plan P passant par l’origine et ayant pour vecteurs directeur l’axe de projection et le vecteur créé.

27. Preuve de la densité des vecteurs pythagoricien (n-1)D • On cherche l’intersection entre P et le cône d’origine. • Cette intersection est un cône convexe 2D. • Dans ce cône on cherche un vecteur pythagoricien 2D. • On construit le vecteur pythagoricien (n-1)D final.

28. Preuve densité des vecteurs n-1D Remarque : Si est un n-uplet pythagoricien, ……………….... est aussi un n-uplet pythagoricien avec k dans N Construction du vecteur final Deux vecteurs : et . On cherche k et l tel que : . Les quatre entiers forment un quadruplet pythagoricien dont le vecteur est dans le cône.

29. Les n-uplets pythagoiciens forts • La projection d’un vecteur pythagoricien dans une dimension inférieur ne donne pas un vecteur pythagoricien. • Il existe des vecteurs pythagoriciens qui « résistent » à la projection. • Un vecteur pythagoricien à n-1 dimensions est fort s’il existe j dans tel que :

30. Utilité des vecteurs pythagoriciens • Leur densité permet d’approximer avec des entiers tous les vecteurs de l’espace. • Ils permettent de faire toutes les rotations possibles dans l’espace de la même manière que les angles charnières. Perspective : Approximer en nD un vecteur quelconque par un vecteur pythagoricien.

31. Merci de votre attention. Des Questions ?