Diferencia entre revisiones de «Reductio ad absurdum»

Contenido eliminado Contenido añadido
Langtoolbot (discusión · contribs.)
m bot: -lo cuál +lo cual
Línea 43:
<math>m=p_1\cdot p_2 \cdot ... \cdot p_n +1 </math>
 
Tenemos que <math>m </math> es el producto de todos los números primos mas 1, y <math>m </math> no es un número primo, pues no se encuentra en la lista anterior, entonces por definición <math>m </math> es un [[Número compuesto|número compouestocompuesto]] y debe ser divisible por algún número primo.
 
Si hacemos la división entre cualquier número primo de la lista <math>P=p_1, p_2, ... ,p_n</math>, nos sale resto 1, por lo cual debe existir al menos otro número primo que no se encuentra en esa lista.