<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Divulgaciones &#187; Números Primos</title>
	<atom:link href="http://www.divulgaciones.net/tag/numeros-primos/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.divulgaciones.net</link>
	<description>Divulgación sobre ciencia y tecnología</description>
	<lastBuildDate>Tue, 10 Jan 2012 22:36:20 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=</generator>
		<item>
		<title>La infinitud de los números primos</title>
		<link>http://www.divulgaciones.net/2010/05/21/la-infinitud-de-los-numeros-primos/</link>
		<comments>http://www.divulgaciones.net/2010/05/21/la-infinitud-de-los-numeros-primos/#comments</comments>
		<pubDate>Fri, 21 May 2010 16:06:39 +0000</pubDate>
		<dc:creator>jadebustos</dc:creator>
				<category><![CDATA[Matemáticas]]></category>
		<category><![CDATA[Números Primos]]></category>
		<category><![CDATA[Euclides]]></category>

		<guid isPermaLink="false">http://www.divulgaciones.net/?p=237</guid>
		<description><![CDATA[Los números primos son considerados como los ladrillos de la aritmética. Desde siempre han cautivado a los matemáticos. Son unos entes muy simples de definir y conocidos por todos los infantes desde su más tierna infancia. A pesar de esto muy pocos conocen el potencial que tienen y la complejidad que hay detrás de ellos. [...]]]></description>
			<content:encoded><![CDATA[<p>Los números primos son considerados como los ladrillos de la aritmética. Desde siempre han cautivado a los matemáticos. Son unos entes muy simples de definir y conocidos por todos los infantes desde su más tierna infancia.</p>
<p>A pesar de esto muy pocos conocen el potencial que tienen y la complejidad que hay detrás de ellos.</p>
<p>Muchos y muy grandes matemáticos se han dedicado a su estudio con mayores o menores avances. Pero ninguno de ellos ha sido capaz de sacar una ley general para calcular números primos o conocer su distribución.</p>
<p>Aunque el problema de la distribución de los números primos parezca un problema teoríco sin ninguna aplicación o utilidad práctica, la realidad es muy distinta.<span id="more-237"></span>Los números primos permiten la construcción de estructuras algebraicas (cuerpos finitos) y gracias a esta estructuras se pueden utilizar:</p>
<ul>
<li> Códigos correctores de errores, que posibilitan la corrección de errores en las transmisiones electrónicas de datos (móviles, internet, &#8230;), lecturas de datos (CD, DVD, Mini-Disc, &#8230;)</li>
<li>Criptografía, protección de la información.</li>
</ul>
<p>Euclides fue el primer matemático conocido que dió la primera demostración formal sobre la infinitud de los números primos,  publicada en el libro IX de los Elementos.</p>
<p>Como curiosidad diremos que <strong>El Libro de los Elementos de Euclides</strong> es la segunda obra que a más idiomas se ha traducido después de <strong>La Biblia</strong> y no <strong>El Quijote</strong>.</p>
<p>Alla por el 300 a.C. en Grecia Euclides publicó la siguiente demostración:</p>
<p>Euclides supuso que había sólo un número finito de números primos.</p>
<p>Sean <a href="http://wordpress.org/extend/plugins/easy-latex/" target="_blank" title="P_1, P_2, \dots , P_n"><img src="http://l.wordpress.com/latex.php?latex=P_1%2C%20P_2%2C%20%5Cdots%20%2C%20P_n&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="P_1, P_2, \dots , P_n" /></a> todos los números primos donde <a href="http://www.Thulasidas.com/latex" target="_blank" title="n \in \mathtt{N}"><img src="http://l.wordpress.com/latex.php?latex=n%20%5Cin%20%5Cmathtt%7BN%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="n \in \mathtt{N}" /></a>.</p>
<p>Construyó el siguiente número <a ><img src="http://l.wordpress.com/latex.php?latex=Q%3D%28P_1%20%5Ccdot%20P_2%20%5Ccdot%20%5Cdots%20%5Ccdot%20P_n%20%29%20%2B%201&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="Q=(P_1 \cdot P_2 \cdot \dots \cdot P_n ) + 1" /></a>.</p>
<p>Es obvio que <img src="http://l.wordpress.com/latex.php?latex=Q&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q" style="vertical-align:-20%;" class="tex" alt="Q" /> es distinto de cero y además <img src="http://l.wordpress.com/latex.php?latex=Q%20%5Cnotin%20%5C%7B%20P_1%2C%20P_2%2C%20%5Cdots%20%2C%20P_n%20%5C%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q \notin \{ P_1, P_2, \dots , P_n \}" style="vertical-align:-20%;" class="tex" alt="Q \notin \{ P_1, P_2, \dots , P_n \}" />, es decir <img src="http://l.wordpress.com/latex.php?latex=Q&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q" style="vertical-align:-20%;" class="tex" alt="Q" /> no es un número primo, entonces <img src="http://l.wordpress.com/latex.php?latex=Q&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q" style="vertical-align:-20%;" class="tex" alt="Q" /> es divisible por algún <img src="http://l.wordpress.com/latex.php?latex=P_i&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="P_i" style="vertical-align:-20%;" class="tex" alt="P_i" /> con <img src="http://l.wordpress.com/latex.php?latex=i%20%5Cin%20%5C%7B1%2C%20%5Cdots%20%2C%20n%5C%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="i \in \{1, \dots , n\}" style="vertical-align:-20%;" class="tex" alt="i \in \{1, \dots , n\}" />.</p>
<p>Ahora bien:</p>
<p><img src="http://l.wordpress.com/latex.php?latex=Q%20%5Cequiv%201%20%5Cmod%20P_i&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q \equiv 1 \mod P_i" style="vertical-align:-20%;" class="tex" alt="Q \equiv 1 \mod P_i" /> <img src="http://l.wordpress.com/latex.php?latex=%5Cforall%20i%20%5Cin%20%5C%7B%201%2C%20%5Cdots%2C%20n%5C%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="\forall i \in \{ 1, \dots, n\}" style="vertical-align:-20%;" class="tex" alt="\forall i \in \{ 1, \dots, n\}" /></p>
<p>Dado que <img src="http://l.wordpress.com/latex.php?latex=Q&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q" style="vertical-align:-20%;" class="tex" alt="Q" /> no es divisible por ninguno de los primos, es decir no es un número compuesto, se deduce que <img src="http://l.wordpress.com/latex.php?latex=Q&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="Q" style="vertical-align:-20%;" class="tex" alt="Q" /> es un número primo.</p>
<p>Habíamos supuesto que teníamos un número finito, completamente identificado de números primos y hemos hayado otro número primo distinto.  Entonces se demuestra que los números primos son infinitos. Si incluimos este núevo número primo en el conjunto de números primos podemos construir el siguiente número:</p>
<p><img src="http://l.wordpress.com/latex.php?latex=R%3D%28P_1%20%5Ccdot%20P_2%20%5Ccdot%20%5Cdots%20%5Ccdot%20P_n%20%5Ccdot%20Q%29%20%2B%201&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="R=(P_1 \cdot P_2 \cdot \dots \cdot P_n \cdot Q) + 1" style="vertical-align:-20%;" class="tex" alt="R=(P_1 \cdot P_2 \cdot \dots \cdot P_n \cdot Q) + 1" /></p>
<p>y siguiendo el razonamiento anterior llegaremos a que <img src="http://l.wordpress.com/latex.php?latex=R&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="R" style="vertical-align:-20%;" class="tex" alt="R" /> es otro número primo y así <strong>ad infinitum</strong>.</p>
<p>Esta demostración es de una simplicidad y elegancia increibles, maxime teniendo en cuenta de cuando es. No sólo es simple y elegante ya que además es constructiva al enseñar un método de construcción de números primos.</p>
<p>Aún me acuerdo el primer día en la facultad en clase de Algebra cuando el profesor dijo que a él no se le hubiera ocurrido esta demostración a lo que &#8220;alguien&#8221; le salió del alma &#8220;<em>joder ni a mi tampoco y no lo voy comentando</em>&#8220;.</p>
<p>Esta demostración no nos ayuda a comprender la problematica de la distribución de los números primos.</p>
<p>Un número es primo sí y sólo sí es divisible por el mismo y la unidad. Es decir no puede ser divisible por ningún número entero menor que él (con la excepción de la unidad). Esta caracterización la podemos refinar diciendo que un número es primo sí y sólo sí no es divisible por ningún número primo menor que él. Y la podemos refinar aún más diciendo que <img src="http://l.wordpress.com/latex.php?latex=n%20%5Cin%20%5Cmathtt%7BN%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="n \in \mathtt{N}" style="vertical-align:-20%;" class="tex" alt="n \in \mathtt{N}" /> es primo sí y sólo sí no es divisible por ningún número primo menor o igual que <img src="http://l.wordpress.com/latex.php?latex=%5Csqrt%7Bn%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="\sqrt{n}" style="vertical-align:-20%;" class="tex" alt="\sqrt{n}" />.</p>
<p>Cuanto mayor es <img src="http://l.wordpress.com/latex.php?latex=n&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="n" style="vertical-align:-20%;" class="tex" alt="n" /> más condiciones le imponemos para ser un número primo. Una mayor cantidad de números por los que no puede ser divisible.</p>
<p>Ahora ya empezamos a intuir la dificultad del problema.</p>
<p>Pero es posible dar una visión más en profundidad de las dificultades que entraña la distribución de los números primos.</p>
<p>Fijemos un número tal que <img src="http://l.wordpress.com/latex.php?latex=n%20%5Cin%20%5Cmathtt%7BN%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="n \in \mathtt{N}" style="vertical-align:-20%;" class="tex" alt="n \in \mathtt{N}" />. Consideremos el siguiente conjunto:</p>
<p><img src="http://l.wordpress.com/latex.php?latex=A%3D%5C%7B%20%28n%2B1%29%21%2B2%2C%20%28n%2B1%29%21%2B3%2C%20%5Cdots%20%2C%20%28n%2B1%29%21%2B%28n%2B1%29%5C%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="A=\{ (n+1)!+2, (n+1)!+3, \dots , (n+1)!+(n+1)\}" style="vertical-align:-20%;" class="tex" alt="A=\{ (n+1)!+2, (n+1)!+3, \dots , (n+1)!+(n+1)\}" /></p>
<p>El cardinal del conjunto (número de elementos):</p>
<p><img src="http://l.wordpress.com/latex.php?latex=%5C%23A%20%3D%20n&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="\#A = n" style="vertical-align:-20%;" class="tex" alt="\#A = n" /></p>
<p>Ninguno de los elementos de <img src="http://l.wordpress.com/latex.php?latex=A&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="A" style="vertical-align:-20%;" class="tex" alt="A" /> es primo ya que:</p>
<p><img src="http://l.wordpress.com/latex.php?latex=%28n%2B1%29%21%2Bj%20%5Cequiv%200%20%5Cmod%20j&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="(n+1)!+j \equiv 0 \mod j" style="vertical-align:-20%;" class="tex" alt="(n+1)!+j \equiv 0 \mod j" /> con <img src="http://l.wordpress.com/latex.php?latex=j%20%5Cin%20%5C%7B2%2C%20%5Cdots%20%2C%20n%2B1%20%5C%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="j \in \{2, \dots , n+1 \}" style="vertical-align:-20%;" class="tex" alt="j \in \{2, \dots , n+1 \}" /></p>
<p>Hemos encontrado un método para construir lagunas de números enteros consecutivos en los que no hay ningún número primo. Este método es válido para cualquier número natural <img src="http://l.wordpress.com/latex.php?latex=n%20%5Cin%20%5Cmathtt%7BN%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="n \in \mathtt{N}" style="vertical-align:-20%;" class="tex" alt="n \in \mathtt{N}" />.</p>
<p>Supongamos que <img src="http://l.wordpress.com/latex.php?latex=n%3D1%20%5Ccdot%2010%5E%7B78%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="n=1 \cdot 10^{78}" style="vertical-align:-20%;" class="tex" alt="n=1 \cdot 10^{78}" /> (número aproximado de átomos en el universo) entonces podemos no sólo afirmar que existen <img src="http://l.wordpress.com/latex.php?latex=1%20%5Ccdot%2010%5E%7B78%7D&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="1 \cdot 10^{78}" style="vertical-align:-20%;" class="tex" alt="1 \cdot 10^{78}" /> números compuestos consecutivos si no que además sabemos cuales son. Con esta prueba tan demoledora tenderíamos a pensar que detrás de esta laguna no existen más números primos, es decir existe un número finito de números primos. Craso error. Da igual el tamaño de la laguna que construyamos, siempre habrá números primos por detrás de ella.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.divulgaciones.net/2010/05/21/la-infinitud-de-los-numeros-primos/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>¿Es el 1 un número primo?</title>
		<link>http://www.divulgaciones.net/2010/02/21/%c2%bfes-el-1-un-numero-primo/</link>
		<comments>http://www.divulgaciones.net/2010/02/21/%c2%bfes-el-1-un-numero-primo/#comments</comments>
		<pubDate>Sun, 21 Feb 2010 21:03:59 +0000</pubDate>
		<dc:creator>jadebustos</dc:creator>
				<category><![CDATA[Matemáticas]]></category>
		<category><![CDATA[Números Primos]]></category>
		<category><![CDATA[Factorización]]></category>

		<guid isPermaLink="false">http://www.divulgaciones.net/?p=211</guid>
		<description><![CDATA[A pesar de que  el número 1 cumple todos los requisitos para ser un número primo: Sólo es divisible por el mismo y la unidad. No se le considera un número primo. El no considerarse como un número primo no es un capricho y, como todo en matemáticas, tiene su razón de ser. El Teorema [...]]]></description>
			<content:encoded><![CDATA[<p>A pesar de que  el número 1 cumple todos los requisitos para ser un número primo:</p>
<ul>
<li>Sólo es divisible por el mismo y la unidad.</li>
</ul>
<p>No se le considera un número primo.</p>
<p>El no considerarse como un número primo no es un capricho y, como todo en matemáticas, tiene su razón de ser.<span id="more-211"></span></p>
<p>El <strong>Teorema fundamental de la Aritmética</strong> nos dice que todo &#8220;<em>número entero positivo admite una descomposición única en factores primos salvo el orden</em>&#8220;.</p>
<p>Es decir:</p>
<p><a href="http://wordpress.org/extend/plugins/easy-latex/" target="_blank" title="600 = 2^3 \cdot 3 \cdot 5^2"><img src="http://l.wordpress.com/latex.php?latex=600%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%205%5E2&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="600 = 2^3 \cdot 3 \cdot 5^2" /></a></p>
<p>Supongamos por un momento que el número 1 fuera un número primo entonces tendríamos:</p>
<p><a href="http://www.Thulasidas.com/latex" target="_blank" title="600 = 2^3 \cdot 3 \cdot 5^2"><img src="http://l.wordpress.com/latex.php?latex=600%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%205%5E2&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="600 = 2^3 \cdot 3 \cdot 5^2" /></a></p>
<p><a ><img src="http://l.wordpress.com/latex.php?latex=600%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%205%5E2%20%5Ccdot%201&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" style="vertical-align:-20%;" class="tex" alt="600 = 2^3 \cdot 3 \cdot 5^2 \cdot 1" /></a></p>
<p><img src="http://l.wordpress.com/latex.php?latex=600%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%205%5E2%20%5Ccdot%201%5E2&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="600 = 2^3 \cdot 3 \cdot 5^2 \cdot 1^2" style="vertical-align:-20%;" class="tex" alt="600 = 2^3 \cdot 3 \cdot 5^2 \cdot 1^2" /></p>
<p><img src="http://l.wordpress.com/latex.php?latex=600%20%3D%202%5E3%20%5Ccdot%203%20%5Ccdot%205%5E2%20%5Ccdot%201%5E3&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="600 = 2^3 \cdot 3 \cdot 5^2 \cdot 1^3" style="vertical-align:-20%;" class="tex" alt="600 = 2^3 \cdot 3 \cdot 5^2 \cdot 1^3" /></p>
<p><img src="http://l.wordpress.com/latex.php?latex=%5Cdots&#038;bg=FFFFFF&#038;fg=000000&#038;s=0" title="\dots" style="vertical-align:-20%;" class="tex" alt="\dots" /></p>
<p>Lo que nos daría no una si no varias descomposiciones diferentes  contradiciendo el Teorema fundamental de la Aritmetica.</p>
<p>Aunque pueda parecer un &#8220;apaño&#8221; para justificar un Teorema el hecho es que este &#8220;apaño&#8221; es necesario debido a la definición de número primo que incluye la divisibilidad de un número por el número 1. Esta condición de divisibilidad es obvia ya que cualquier número entero siempre será divisible por la unidad y esta ambiguedad es la que origina esta &#8220;pequeña contradicción&#8221; que hay que superar.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.divulgaciones.net/2010/02/21/%c2%bfes-el-1-un-numero-primo/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>

