Diferencies ente revisiones de «Teorema fundamental de l'aritmética»

Contenido eliminado Contenido añadido
m Astur treslladó la páxina "Teorema fundamental de l\'aritmética" a "Teorema fundamental de l'aritmética" ensin dexar una redireición
m Bot: Troquéu automáticu de testu (-\bSían\b +Sean)
Llinia 66:
Otra prueba de la unicidá de les factorizaciones en primos d'un enteru dadu utiliza'l métodu del [[descensu infinitu]].
 
Supóngase que ciertu númberu enteru puede escribise como productu de factores primos de (siquier) dos maneres distintes. Entós, tien d'esistir un mínimu enteru ''s'' con esa propiedá. SíanSean ''p''<sub>1</sub>·...·''p<sub>m</sub>'' y ''q''<sub>1</sub>·...·''q<sub>n</sub>'' dos factorizaciones distintes de ''s''. Nengún ''p<sub>i</sub>'' (con 1 ≤ ''i'' ≤ ''m'') pue ser igual a dalgún ''q<sub>j</sub>'' (con 1 ≤ ''j'' ≤ ''n''), pos de lo contrario habría un númberu menor que ''s'' que se podría factorizar de dos maneres (llográu al quitar factores comunes a dambos productos) contradiciendo'l camientu anterior. Puédese entós suponer [[ensin perda de xeneralidá]] que ''p''<sub>1</sub> ye un factor primu menor que tolos ''q<sub>j</sub>'' (con 1 ≤ ''j'' ≤ ''n''). Considérese en particular ''q''<sub>1</sub>. Entós esisten enteros ''d'' y ''r'' tales que :<math>{q_1\over
p_1} = d+{r\over p_1}</math>
y 0 < ''r'' < ''p''<sub>1</sub> < ''q''<sub>1</sub> (''r'' nun puede ser 0, cuidao que en tal casu ''q''<sub>1</sub> sería un múltiplu de ''p''<sub>1</sub> y polo tanto [[númberu compuestu|compuestu]]). Al multiplicar dambos llaos por ''s'' / ''q''<sub>1</sub>, resulta :<math>p_2