¿Qué es un contraejemplo de lo siguiente?

Sea N = 2115, con x = 46: 46 ^ 2 – 1 = 2115 = 45 * 47. N no es semiprime ya que tiene una factorización de 3 ^ 2 * 5 * 47.

El factor primo más grande de N es 47, por lo tanto p = 47.

p + 2 no es primo, por lo que no es necesario determinar el valor de (x + 2) ^ 2 – 1, ya que p + 2 no puede ser un factor primo de ese número.

Además, debido a que conozco algo del contexto que da lugar a esta pregunta, tenga esto en cuenta: un matemático solo se encuentra a sí mismo buscando contraejemplos cuando no tienen una prueba a mano, como cuando solo quieren una manera rápida derribar una idea. Si tiene lo que parece ser una prueba funcional, no es una buena idea mantenerlo como verdadero debido a la falta de contraejemplos. Si bien un ejemplo de contador muestra rápidamente una prueba falsa, la falta de ejemplos de contador de ninguna manera califica una prueba como precisa. La precisión de una prueba reside en su contenido y no necesita buscar ejemplos de contador. Una prueba te dirá a ti mismo que tal búsqueda es inútil. Mi punto para usted: cuando puede cuestionar la existencia de contraejemplos, es ~ solo ~ porque lo que tiene a mano no es prueba suficiente.

[matemáticas] 143 [/ matemáticas] servirá; tenemos [matemáticas] X = 12 [/ matemáticas]. Los factores primos de [matemáticas] 143 [/ matemáticas] son ​​[matemáticas] 13 [/ matemáticas] y [matemáticas] 11 [/ matemáticas]. Tenemos [matemáticas] ((X + 2) ^ 2-1) = 15 ^ 2 – 1 = 224 [/ matemáticas], que tiene [matemáticas] 2 [/ matemáticas] y [matemáticas] 7 [/ matemáticas] entre sus factores primos Claramente, [matemáticas] 13 \ neq 7 [/ matemáticas] y [matemáticas] 13 \ neq 2 [/ matemáticas].