Upgrade to Pro — share decks privately, control downloads, hide ads and more …

(2013) Le problème des distances de Erdős

Avatar for Roger Mansuy Roger Mansuy
January 24, 2022

(2013) Le problème des distances de Erdős

Exposé donné le 21 septembre 2013 au séminaire MathPark (captation disponible au https://www.youtube.com/watch?v=lyfLOwEAEGw)

Avatar for Roger Mansuy

Roger Mansuy

January 24, 2022
Tweet

More Decks by Roger Mansuy

Other Decks in Science

Transcript

  1. Le probl` eme des distances d’Erd¨ os Roger Mansuy Roger

    Mansuy Le probl` eme des distances d’Erd¨ os
  2. Distances Voici 5 points du plan ; ils d´ efinissent

    10 segments Roger Mansuy Le probl` eme des distances d’Erd¨ os
  3. Distances Voici 5 points du plan ; ils d´ efinissent

    10 segments et 9 distances distinctes. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  4. Une question naturelle est de savoir combien on obtient de

    distances diff´ erentes avec un ensemble de n points du plan. Question difficile. Grosse d´ ependance ` a l’ensemble de points de d´ epart. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  5. Avec n points de coodonn´ ees (k, 0), on obtient

    distances. 0 1 2 3 4 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  6. Avec n points de coodonn´ ees (k, 0), on obtient

    n − 1 distances. 0 1 2 3 4 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  7. Avec n points de coordonn´ ees (2k, 0), on obtient

    distances. 1 2 4 8 16 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  8. Avec n points de coordonn´ ees (2k, 0), on obtient

    n(n−1) 2 distances. 1 2 4 8 16 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  9. Avec ces 10 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  10. Avec ces 10 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  11. Avec ces 10 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  12. Avec ces 10 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  13. Avec ces 10 points, on obtient 7 distances. Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  14. Avec ces 13 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  15. Avec ces 13 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  16. Avec ces 13 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  17. Avec ces 13 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  18. Avec ces 13 points, on obtient distances. Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  19. Avec ces 13 points, on obtient 6 distances. Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  20. D´ efinition g(n) d´ esigne le nombre minimal de distances

    distinctes entre deux points pour un ensemble de n points distincts. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  21. D´ efinition g(n) d´ esigne le nombre minimal de distances

    distinctes entre deux points pour un ensemble de n points distincts. Exemple Voici quelques exemples de calcul de g(n) n 2 3 4 5 6 7 8 9 10 11 12 13 g(n) 1 1 2 2 3 3 4 4 5 5 5 6 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  22. Conjecture d’Erd¨ os (1946) Conjecture Pour tout α < 1,

    g(n) nα. Rappelons que un vn s’il existe une constante C > 0 et un entier N tels que ∀n ≥ N, un ≥ Cvn. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  23. Premi` ere preuve pour α = 1 2 Consid´ erons

    n points A1, . . . , An et tra¸ cons les cercles de centre A1 ou A2 passant par A3, . . . , An. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  24. En notant c1 et c2, le nombre de cercles obtenus

    pour chaque centre, n − 2 ≤ 2c1c2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  25. En notant c1 et c2, le nombre de cercles obtenus

    pour chaque centre, n − 2 ≤ 2c1c2. Ainsi, c1 ≥ n−2 2 ou c2 ≥ n−2 2 donc il y a au moins n−2 2 distances diff´ erentes. En conclusion, g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  26. Deuxi` eme preuve pour α = 1 2 Consid´ erons

    n points A1, . . . , An et tra¸ cons les cercles de centre A1 passant par A2, . . . , An. Coupons la figure en deux avec une droite passant par A1. D’apr` es le principe des tiroirs, l’une de ces deux moiti´ es contient au moins n−1 2 points. On ne consid` ere d´ esormais que cette moiti´ e. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  27. Notons c le nombre de cercles. Le nombre de distances

    distinctes est sup´ erieur ou ´ egal ` a c. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  28. Notons c le nombre de cercles. Le nombre de distances

    distinctes est sup´ erieur ou ´ egal ` a c. Il y a au moins un demi-cercle qui contient n−1 2c points. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  29. Notons c le nombre de cercles. Le nombre de distances

    distinctes est sup´ erieur ou ´ egal ` a c. Il y a au moins un demi-cercle qui contient n−1 2c points. Ceux-ci d´ efinissent au moins n−1 2c − 1 distances distinctes. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  30. Ainsi, le nombre de distances distinctes est sup´ erieur ou

    ´ egal ` a max c, n − 1 2c − 1 , Roger Mansuy Le probl` eme des distances d’Erd¨ os
  31. Ainsi, le nombre de distances distinctes est sup´ erieur ou

    ´ egal ` a max c, n − 1 2c − 1 , donc g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  32. Interm` ede : in´ egalit´ e de Cauchy-Schwarz Proposition Soit

    x1 . . . , xn, y1 . . . , yn ∈ R. Alors, n i=1 xi yi ≤ n i=1 x2 i n i=1 y2 i Roger Mansuy Le probl` eme des distances d’Erd¨ os
  33. Troisi` eme preuve pour α = 1 2 Consid´ erons

    n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   Roger Mansuy Le probl` eme des distances d’Erd¨ os
  34. Troisi` eme preuve pour α = 1 2 Consid´ erons

    n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   ≤ n i=1 12 n i=1   n j=1 1Ai Aj =   2 (Cauchy-Schwarz) Roger Mansuy Le probl` eme des distances d’Erd¨ os
  35. Troisi` eme preuve pour α = 1 2 Consid´ erons

    n points A1, . . . , An et une distance entre deux de ces points. Notons N le nombre de paires de points s´ epar´ es par la distance . Alors, N = n i=1 n j=1 1Ai Aj = = n i=1 1.   n j=1 1Ai Aj =   ≤ n i=1 12 n i=1   n j=1 1Ai Aj =   2 (Cauchy-Schwarz) = √ n n i=1 n j=1 n k=1 1Ai Aj = 1Ai Ak = Roger Mansuy Le probl` eme des distances d’Erd¨ os
  36. Comme il y a au plus deux points ` a

    distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  37. Comme il y a au plus deux points ` a

    distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 ≤ 2(n2 − n). Roger Mansuy Le probl` eme des distances d’Erd¨ os
  38. Comme il y a au plus deux points ` a

    distance de Aj et de Ak si j = k n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = ≤ n j=1 n k=1 k=j 2 ≤ 2(n2 − n). Par ailleurs, n j=1 n k=1 k=j n i=1 1Ai Aj = 1Ai Ak = = n j=1 n i=1 1Ai Aj = ≤ n2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  39. En rempla¸ cant, N ≤ √ n 3n2 − 2n

    ≤ √ 3n3. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  40. En rempla¸ cant, N ≤ √ n 3n2 − 2n

    ≤ √ 3n3. En notant D l’ensemble des distances distinctes obtenues, n(n − 1) 2 = ∈D N ≤ |D| √ 3n3. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  41. En rempla¸ cant, N ≤ √ n 3n2 − 2n

    ≤ √ 3n3. En notant D l’ensemble des distances distinctes obtenues, n(n − 1) 2 = ∈D N ≤ |D| √ 3n3. Ainsi, g(n) ≥ n(n−1) 2 √ 3n3 et donc g(n) √ n. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  42. Premi` ere preuve pour α = 2 3 Consid´ erons

    n points A1, . . . , An tels que la distance minimale soit atteinte entre A1 et A2. La droite (A1A2) s´ epare ce nuage de points en deux parties dont l’une contient au moins n−2 2 points. Dor´ enavant, on se limite ` a ces points. Construisons les demi-couronnes successives centr´ ees sur le milieu de [A1A2] de largeur A1A2 qui recouvrent les points. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  43. R´ epartissons ces demi-couronnes modulo 3 en trois ensembles. Au

    moins l’un de ces ensembles contient n−2 6 points. On se limite dor´ enavant ` a ces points. Remarquons que des points appartenant ` a des demi-couronnes dis- tinctes (parmi celles qui restent) ne peuvent ˆ etre ` a la mˆ eme distance de A1 (respectivement A2). Roger Mansuy Le probl` eme des distances d’Erd¨ os
  44. En reprenant, la premi` ere preuve du premier r´ esultat,

    on obtient que les ni points de la demi-couronne i d´ efinissent au moins √ ni distances distinctes ` a A1 ou A2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  45. En reprenant, la premi` ere preuve du premier r´ esultat,

    on obtient que les ni points de la demi-couronne i d´ efinissent au moins √ ni distances distinctes ` a A1 ou A2. Ainsi, le nombre d(n) de distances distinctes pour cette configuration est sup´ erieur ou ´ egal ` a (la somme porte sur les demi-couronnes choisies) i √ ni . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  46. En reprenant, la premi` ere preuve du premier r´ esultat,

    on obtient que les ni points de la demi-couronne i d´ efinissent au moins √ ni distances distinctes ` a A1 ou A2. Ainsi, le nombre d(n) de distances distinctes pour cette configuration est sup´ erieur ou ´ egal ` a (la somme porte sur les demi-couronnes choisies) i √ ni . D’o` u n − 2 6 ≤ i ni ≤ √ max ni . i √ ni ≤ d(n) √ max ni . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  47. Consid´ erons la demi-couronne contenant max ni points, puis la

    moiti´ e de cette couronne contenant la majorit´ e des points (soit au moins 1 2 max ni ). Soit enfin P un point d’ordonn´ ee minimale dans cette zone. Un rapide calcul montre que si Q et R sont ´ equidistants de P dans cette demi-couronne alors QR < 2A1A2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  48. Consid´ erons la demi-couronne contenant max ni points, puis la

    moiti´ e de cette couronne contenant la majorit´ e des points (soit au moins 1 2 max ni ). Soit enfin P un point d’ordonn´ ee minimale dans cette zone. Un rapide calcul montre que si Q et R sont ´ equidistants de P dans cette demi-couronne alors QR < 2A1A2. P Q R Roger Mansuy Le probl` eme des distances d’Erd¨ os
  49. Il y a donc au plus deux points de la

    zone ` a la mˆ eme distance de P, ce qui nous donne donc au moins 1 2 (1 2 max ni −1) distances diff´ erentes. D’o` u, max ni ≤ 4d(n) + 2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  50. Il y a donc au plus deux points de la

    zone ` a la mˆ eme distance de P, ce qui nous donne donc au moins 1 2 (1 2 max ni −1) distances diff´ erentes. D’o` u, max ni ≤ 4d(n) + 2. En reportant dans l’in´ egalit´ e n − 2 6 ≤ d(n) √ max ni , on obtient d(n)3 2 n, soit d(n) n2 3 . En conclusion, g(n) n2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  51. Interm` ede : nombre de croisements D´ efinition Un graphe

    est un couple (S, A) o` u S est l’ensemble des sommets et A est l’ensemble des arˆ etes non orient´ ees. Le nombre de croisements d’un graphe est le nombre minimal de croisements entre deux arˆ etes dans un dessin du graphe ; si le nombre de croisements est nul, le graphe est dit planaire. Pour un graphe planaire, les faces sont les parties du plan d´ elimit´ ees par un dessin sans croisement du graphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  52. Le nombre de croisements du graphe suivant est Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  53. Le nombre de croisements du graphe suivant est 0. Le

    graphe est planaire et poss` ede 4 faces. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  54. Le nombre de croisements du graphe suivant est Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  55. Le nombre de croisements du graphe suivant est 0. Roger

    Mansuy Le probl` eme des distances d’Erd¨ os
  56. Le nombre de croisements du graphe suivant est Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  57. Le nombre de croisements du graphe suivant est 588(?). Roger

    Mansuy Le probl` eme des distances d’Erd¨ os
  58. Le nombre de croisements du graphe suivant est Roger Mansuy

    Le probl` eme des distances d’Erd¨ os
  59. Le nombre de croisements du graphe suivant est un exercice

    laiss´ e aux spectateurs ! Roger Mansuy Le probl` eme des distances d’Erd¨ os
  60. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  61. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve Par r´ ecurrence sur a. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  62. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f a s Roger Mansuy Le probl` eme des distances d’Erd¨ os
  63. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f → f + 1 a → a + 1 s → s Roger Mansuy Le probl` eme des distances d’Erd¨ os
  64. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, s − a + f = 2 Preuve f → f a → a + 1 s → s + 1 Roger Mansuy Le probl` eme des distances d’Erd¨ os
  65. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, 3f ≤ 2a. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  66. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, 3f ≤ 2a. Preuve Une face est d´ elimit´ ee par au moins 3 arˆ etes et une arˆ ete est le cˆ ot´ e de deux faces. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  67. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, a ≤ 3s − 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  68. Proposition Soit (S, A) un graphe planaire ` a s

    sommets, a arˆ etes et f faces. Alors, a ≤ 3s − 6. Preuve Il suffit de combiner les deux r´ esultats pr´ ec´ edents. s − 2 = a − f ≤ 1 3 a. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  69. Proposition Soit (S, A) un graphe ` a s sommets

    et a arˆ etes. Alors, le nombre de croisements c v´ erifie c ≥ a − 3s + 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  70. Proposition Soit (S, A) un graphe ` a s sommets

    et a arˆ etes. Alors, le nombre de croisements c v´ erifie c ≥ a − 3s + 6. Preuve En retirant les (au plus) c arˆ etes qui forment des croisements, on obtient un graphe planaire ` a s sommets et a − c arˆ etes donc a − c ≤ 3s − 6. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  71. Proposition Soit (S, A) un graphe ` a s sommets

    et a arˆ etes tel que a > 4s. Alors, le nombre de croisements c v´ erifie c ≥ a3 64s2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  72. Proposition Soit (S, A) un graphe ` a s sommets

    et a arˆ etes tel que a > 4s. Alors, le nombre de croisements c v´ erifie c ≥ a3 64s2 . Preuve Construisons un graphe al´ eatoire (S , A ) en choisissant chaque som- met ind´ ependamment des autres avec probabilit´ e p puis en ne gar- dant que les arˆ etes dont les sommets ont ´ et´ e choisis. Notons s , a et c les variables al´ eatoires ´ egales au nombre de sommets, d’arˆ etes, de croisements de ce graphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  73. Preuve Alors, c ≥ a − 3s + 6 Roger

    Mansuy Le probl` eme des distances d’Erd¨ os
  74. Preuve Alors, c ≥ a − 3s Roger Mansuy Le

    probl` eme des distances d’Erd¨ os
  75. Preuve Alors, c ≥ a − 3s En passant `

    a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Roger Mansuy Le probl` eme des distances d’Erd¨ os
  76. Preuve Alors, c ≥ a − 3s En passant `

    a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps Roger Mansuy Le probl` eme des distances d’Erd¨ os
  77. Preuve Alors, c ≥ a − 3s En passant `

    a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a Roger Mansuy Le probl` eme des distances d’Erd¨ os
  78. Preuve Alors, c ≥ a − 3s En passant `

    a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a E(c ) ≤ p4c Roger Mansuy Le probl` eme des distances d’Erd¨ os
  79. Preuve Alors, c ≥ a − 3s En passant `

    a l’esp´ erance, E(c ) ≥ E(a ) − 3E(s ). Par construction, E(s ) = ps E(a ) = p2a E(c ) ≤ p4c D’o` u c ≥ pa−3s p3 et donc, pour p = 4s a , c ≥ a3 64s2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  80. On peut g´ en´ eraliser ce r´ esultat sur les

    croisements ` a certains multi- graphes. Proposition Soit (S, A) un multigraphe avec s sommets, a arˆ etes, c croisements et tel qu’il y ait au plus M arˆ etes entre deux sommets quelconques. Alors, c a3 Ms2 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  81. Deuxi` eme preuve pour α = 2 3 Consid´ erons

    un ensemble P de n points A1, . . . , An d´ efinissant d distances et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont les arcs des cercles centr´ es sur un point de P, passant par au moins 3 points de P et d´ elimit´ es par deux points de P. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  82. Il y a s = n sommets et a >

    n(n − 1) − 2nd arˆ etes. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  83. Il y a s = n sommets et a >

    n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  84. Il y a s = n sommets et a >

    n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Il y a au plus M = 2d arˆ etes entre deux sommets. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  85. Il y a s = n sommets et a >

    n(n − 1) − 2nd arˆ etes. Le nombre de croisements est inf´ erieur ` a 2(nd)2. Il y a au plus M = 2d arˆ etes entre deux sommets. L’in´ egalit´ e sur le nombre de croisements d’un multigraphe donne (nd)2 c a3 Ms2 n6 2dn2 , donc d n2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  86. Interm` ede : incidence Consid´ erons P un ensemble de

    n points et D un ensemble de m droites. Le nombre d’incidences est l’entier I = card{(A, D), A ∈ P, D ∈ D, A ∈ D}. Comment majorer correctement I en fonction de n et m ? Roger Mansuy Le probl` eme des distances d’Erd¨ os
  87. Proposition I m √ n + n √ m. Roger

    Mansuy Le probl` eme des distances d’Erd¨ os
  88. I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D

    Roger Mansuy Le probl` eme des distances d’Erd¨ os
  89. I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D

    ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) Roger Mansuy Le probl` eme des distances d’Erd¨ os
  90. I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D

    ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) = √ n A∈P D∈D D ∈D 1A∈D 1A∈D Roger Mansuy Le probl` eme des distances d’Erd¨ os
  91. I = A∈P D∈D 1A∈D = A∈P 1. D∈D 1A∈D

    ≤ A∈P 12 A∈P D∈D 1A∈D 2 (Cauchy-Schwarz) = √ n A∈P D∈D D ∈D 1A∈D 1A∈D = √ n D∈D D ∈D A∈P 1A∈D 1A∈D Roger Mansuy Le probl` eme des distances d’Erd¨ os
  92. On s´ epare alors les cas o` u D =

    D et D = D . I ≤ n Roger Mansuy Le probl` eme des distances d’Erd¨ os
  93. On s´ epare alors les cas o` u D =

    D et D = D . I ≤ n nm Roger Mansuy Le probl` eme des distances d’Erd¨ os
  94. On s´ epare alors les cas o` u D =

    D et D = D . I ≤ n nm + m(m − 1) Roger Mansuy Le probl` eme des distances d’Erd¨ os
  95. On s´ epare alors les cas o` u D =

    D et D = D . I ≤ n nm + m(m − 1) m √ n + n √ m. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  96. Avec la th´ eorie des graphes, Szemeredi et Trotter (1983)

    ont montr´ e la majoration suivante. Proposition I n + m + (nm)2 3 . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  97. Preuve On construit un graphe dont les sommets sont les

    points de P et les arˆ etes sont les portions des droites de D joignant deux sommets. Pour ce graphe, s = n, a = I − m. si a < 4s, I ≤ m + 4n. sinon, m2 ≥ c ≥ (I − m)3 64n2 donc I ≤ (64n2m2)1 3 + m (nm)2 3 + m. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  98. Avec les points [[1, 2N2]]×[[1, N]] et les droites passant

    par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] Roger Mansuy Le probl` eme des distances d’Erd¨ os
  99. Avec les points [[1, 2N2]]×[[1, N]] et les droites passant

    par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] m = 2N3, n = N3, n + m + (nm)2 3 ∼ cN4, Roger Mansuy Le probl` eme des distances d’Erd¨ os
  100. Avec les points [[1, 2N2]]×[[1, N]] et les droites passant

    par les points (k, 0) avec k ∈ [[1, N2]] et de pente dans [[1, N]] m = 2N3, n = N3, n + m + (nm)2 3 ∼ cN4, I = N4. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  101. Id´ ee d’une preuve pour α = 4 5 Consid´

    erons un ensemble P de n points A1, . . . , An et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont initialement les arcs des cercles centr´ es sur un point de P, passant par au moins 3 de P et d´ elimit´ es par deux points de P, Roger Mansuy Le probl` eme des distances d’Erd¨ os
  102. Id´ ee d’une preuve pour α = 4 5 Consid´

    erons un ensemble P de n points A1, . . . , An et consid´ erons le multigraphe dont les sommets sont ces points, les arˆ etes sont initialement les arcs des cercles centr´ es sur un point de P, passant par au moins 3 de P et d´ elimit´ es par deux points de P, on a enlev´ e les arˆ etes entre deux sommets connect´ es au moins k fois (avec k un entier fix´ e de l’ordre de √ n). Roger Mansuy Le probl` eme des distances d’Erd¨ os
  103. On a born´ e le nombre d’arˆ etes entre deux

    sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  104. On a born´ e le nombre d’arˆ etes entre deux

    sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  105. On a born´ e le nombre d’arˆ etes entre deux

    sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. On remarque qu’il y a k arˆ etes entre deux sommets A et B ∈ P si la m´ ediatrice de [AB] contient k points de P. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  106. On a born´ e le nombre d’arˆ etes entre deux

    sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. On remarque qu’il y a k arˆ etes entre deux sommets A et B ∈ P si la m´ ediatrice de [AB] contient k points de P. On est ramen´ e ` a un probl` eme d’incidence d’ordre k avec l’ensemble des droites m´ ediatrices et l’ensemble des points de P. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  107. On a born´ e le nombre d’arˆ etes entre deux

    sommets pour avoir un meilleur minorant dans l’in´ egalit´ e du nombre de croisements. On doit estimer le nombre d’arˆ etes restantes donc le nombre d’arˆ etes enlev´ ees. On remarque qu’il y a k arˆ etes entre deux sommets A et B ∈ P si la m´ ediatrice de [AB] contient k points de P. On est ramen´ e ` a un probl` eme d’incidence d’ordre k avec l’ensemble des droites m´ ediatrices et l’ensemble des points de P. On applique l’in´ egalit´ e sur le nombre de croisements ` a ce multigraphe. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  108. Aujourd’hui Voici le dernier r´ esultat en date dans une

    pr´ epublication de Guth- Katz en 2010. Proposition g(n) n ln n . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  109. P. Erd¨ os. On sets of distances of n points.

    The American Mathematical Monthly, 53 :248-250, 1946. P. Erd¨ os. On some metric and combinatorial geometric problems. Discrete Mathematics, 60 :147-153, 1986. L. Moser. On the different distances determined by n points. The American Mathematical Monthly, 59 :85-91, 1952. L. Sz´ ekely. Crossing numbers and hard Erd¨ os problems in discrete geometry. Combinatorics, Probability and Computing, 11 :1-10, 1993. L. Guth, N. H. Katz. On the Erd¨ os distinct distance problem on the plane. ArXiV 2010. J. Garibaldi, A. Iosevich, S. Senger. The Erd¨ os Distance Problem. Student Mathematical Library, AMS. 2010. Roger Mansuy Le probl` eme des distances d’Erd¨ os
  110. Merci ` a tous ! Roger Mansuy Le probl` eme

    des distances d’Erd¨ os
  111. Addendum (apr` es l’expos´ e) Erd¨ os a ´ etabli

    dans l’article de 1946 la majoration. Proposition g(n) n √ ln n . Roger Mansuy Le probl` eme des distances d’Erd¨ os
  112. Addendum (apr` es l’expos´ e) Dans cet expos´ e, on

    a choisi d’ˆ etre d´ elib´ er´ ement flou sur la no- tion de dessin de graphe (les arˆ etes sont-elles des segments ou des courbes) et ce flou entraˆ ıne une incertitude sur le nombre de croise- ments ; dans le cas o` u l’on impose que les arˆ etes sont des segments le nombre de croisements du graphe complet ` a 16 sommets est 603 et non 588. Roger Mansuy Le probl` eme des distances d’Erd¨ os