En la teoría de números aditivos , la conjetura de Kemnitz establece que cada conjunto de puntos de la red en el plano tiene un gran subconjunto cuyo centroide es también un punto de la red. Fue probado de forma independiente en el otoño de 2003 por Christian Reiher , entonces estudiante de pregrado, y Carlos di Fiore, entonces estudiante de secundaria. [1]
La formulación exacta de esta conjetura es la siguiente:
La conjetura de Kemnitz fue formulada en 1983 por Arnfried Kemnitz [2] como una generalización del teorema de Erdős-Ginzburg-Ziv , un resultado unidimensional análogo que establece que cada entero tiene un subconjunto de tamaño cuyo promedio es un entero. [3] En 2000, Lajos Rónyai demostró una forma debilitada de la conjetura de Kemnitz para conjuntos con puntos de celosía. [4] Luego, en 2003, Christian Reiher demostró la conjetura completa utilizando el teorema de Chevalley-Warning . [5]