Se sabe ( teorema de la suma de dos cuadrados ) que un número se puede escribir como suma de dos cuadrados (es decir, como para enteros y ) si y sólo si, en su factorización prima, todo primo congruente con módulo (es decir, cada número primo , , , , , , etc.) ocurre con una potencia par (posiblemente ).
Se sabe además (constante de Landau-Ramanujan: 1 , 2 , 3 ) que el número de tales números menor que es asintóticamente equivalente a dónde
Ahora, ¿qué pasa si queremos contar solo los números? que se puede escribir como donde ambos y son distintos de cero ? Esta secuencia es OEIS A000404 en lugar de OEIS A001481 .
Por el mismo razonamiento que conduce al teorema de la suma de dos cuadrados, estos son los números tal que en la descomposición en factores primos de , todo primo que es congruente con módulo ocurre a una potencia par, y hay al menos uno otro primo. (En otras palabras, del conjunto de sumas de dos cuadrados, estamos excluyendo solo números de la forma donde todo factor primo de es congruente con módulo .)
Asintóticamente, ¿cuántos números de este tipo hay menos que un dado? ? Es decir, deduzco que debe ser por alguna constante ; cual es el valor exacto de ?
Algunas preguntas que parecen relevantes, aunque no entiendo todas las matemáticas involucradas: Números divisibles solo por números primos de la forma 4k+1 en MathOverflow y, enlazados desde allí, Asintóticos para sumas primitivas de dos cuadrados en este sitio.
El conjunto que se descarta es de densidad despreciable en el conjunto original (sumas de dos cuadrados). El nuevo conjunto se compone de cuadrados, la cuenta hasta cierto límite es dividir esto por y el límite es cero. Por lo tanto, restar este conjunto deja el término dominante sin cambios, a saber con constante conocida
El término dominante se elabora en William J. LeVeque, Topics in Number Theory. Tengo la edición de Dover, ambos volúmenes en un libro de bolsillo. Incluye una estimación del error en el Teorema 7-28,
Will Jagy
ShreevatsaR