<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" media="screen" href="/~d/styles/rss2full.xsl"?><?xml-stylesheet type="text/css" media="screen" href="http://feeds.feedburner.com/~d/styles/itemcontent.css"?><rss 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:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:feedburner="http://rssnamespace.org/feedburner/ext/1.0" version="2.0">

<channel>
	<title>Gaussianos</title>
	
	<link>http://gaussianos.com</link>
	<description>Porque todo tiende a infinito</description>
	<pubDate>Thu, 19 Nov 2009 06:00:18 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.6.1</generator>
	<language>en</language>
			<geo:lat>37.0625</geo:lat><geo:long>-95.677068</geo:long><atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="self" href="http://feeds.feedburner.com/gaussianos" type="application/rss+xml" /><feedburner:emailServiceId>gaussianos</feedburner:emailServiceId><feedburner:feedburnerHostname>http://feedburner.google.com</feedburner:feedburnerHostname><atom10:link xmlns:atom10="http://www.w3.org/2005/Atom" rel="hub" href="http://pubsubhubbub.appspot.com" /><item>
		<title>El postulado de Bertrand</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/-rnePy0JNmM/</link>
		<comments>http://gaussianos.com/el-postulado-de-bertrand/#comments</comments>
		<pubDate>Thu, 19 Nov 2009 06:00:18 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Demostraciones]]></category>

		<category><![CDATA[Números primos]]></category>

		<category><![CDATA[bertrand]]></category>

		<category><![CDATA[demostración del postulado de bertrand]]></category>

		<category><![CDATA[joseph bertrand]]></category>

		<category><![CDATA[postulado de bertrand]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1946</guid>
		<description><![CDATA[Introducción
En el artículo del pasado lunes sobre Joseph Bertrand hablamos de su famoso postulado, cuyo enunciado es el siguiente:
Postulado de Bertrand
Dado  un número natural mayor que 1, siempre existe un número primo  entre  y , es decir:


En este mismo artículo comentamos que la primera demostración conocida de la veracidad de esta conjetura [...]]]></description>
			<content:encoded><![CDATA[<h3>Introducción</h3>
<p>En el artículo del pasado lunes <a href="http://gaussianos.com/joseph-bertrand-un-postulado-para-la-eternidad/">sobre Joseph Bertrand</a> hablamos de su famoso postulado, cuyo enunciado es el siguiente:</p>
<blockquote><p><strong>Postulado de Bertrand</strong></p>
<p>Dado <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n&bg=FFFFFF&fg=000000'  alt="n" /> un número natural mayor que 1, siempre existe un número primo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> entre <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n&bg=FFFFFF&fg=000000'  alt="n" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2n&bg=FFFFFF&fg=000000'  alt="2n" />, es decir:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cforall+n+%3E+1%2C+%5Cexists+p+%5Cmbox%7B+primo+tal+que+%7D+n+%3C+p+%3C+2n&bg=FFFFFF&fg=000000'  alt="\forall n > 1, \exists p \mbox{ primo tal que } n < p < 2n" /></p>
</blockquote>
<p>En este mismo artículo comentamos que la primera demostración conocida de la veracidad de esta conjetura se debe a <strong>Chebychev</strong>, y que tanto <strong>Ramanujan</strong> como <strong>Ërdos</strong> habían dado más adelante pruebas más simples de este hecho. La de Ërdos la podéis consultar <a href="http://usuarios.lycos.es/teoriadenumeros/bertrand.html">aquí</a> y la de Ramanujan es la que vamos a desarrollar en esta entrada.<br />
<span id="more-1946"></span></p>
<h3>Demostración de la veracidad del postulado de Bertrand</h3>
<p>La demostración que vamos a reproducir aquí, atribuida a Ramanujan, puede resultar algo complicada de seguir. Por ello debemos estar muy atentos a cada paso.</p>
<p>Sea <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> un número natural mayor que 1. Comenzamos definiendo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%28x%29&bg=FFFFFF&fg=000000'  alt="\nu (x)" /> como la suma de los logaritmos de todos los números primos menores o iguales que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" />, es decir:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%28x%29+%3D+%5Cdisplaystyle%7B%5Csum_%7Bp+%5Cle+x%2C+%5C%3B+p+%5C%3B+primo%7D+log%28p%29%7D&bg=FFFFFF&fg=000000'  alt="\nu (x) = \displaystyle{\sum_{p \le x, \; p \; primo} log(p)}" /></p>
<p>Tomamos ahora las siguientes expresiones:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29%3D+%5Cnu+%28x%29%2B+%5Cnu%28x%5E%7B%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D%7D%29%2B+%5Cnu+%28x%5E%7B%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D%7D%29%2B+%5Cldots&bg=FFFFFF&fg=000000'  alt="\psi (x)= \nu (x)+ \nu(x^{\textstyle{\frac{1}{2}}})+ \nu (x^{\textstyle{\frac{1}{3}}})+ \ldots" /> (1)<br />
<img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=log+%5B+x+%5D+%21+%3D+%5Cpsi+%28x%29%2B%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29%2B+%5Cldots&bg=FFFFFF&fg=000000'  alt="log [ x ] ! = \psi (x)+\psi (\textstyle{\frac{1}{2}} x)+ \psi (\textstyle{\frac{1}{3}} x)+ \ldots" /> (2)</p>
<p>donde <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5B+x+%5D&bg=FFFFFF&fg=000000'  alt="[ x ]" /> es la parte entera de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> (es decir, el mayor número entero que es menor que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" />).</p>
<p>A partir de (1) se obtiene fácilmente (sólo con realizar las operaciones) que:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29-2+%5Cpsi+%28+%5Csqrt%7Bx%7D+%29%3D+%5Cnu+%28x%29+-+%5Cnu+%28x+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D%29%2B+%5Cnu+%28x+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D%29+-+%5Cldots&bg=FFFFFF&fg=000000'  alt="\psi (x)-2 \psi ( \sqrt{x} )= \nu (x) - \nu (x \textstyle{\frac{1}{2}})+ \nu (x \textstyle{\frac{1}{3}}) - \ldots" /> (3)</p>
<p>Y a partir de (2), también de forma sencilla, obtenemos lo siguiente:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=log+%5Bx+%5D+%21-2+log+%5B+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7Dx+%5D+%21%3D+%5Cpsi+%28x%29-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29+-+%5Cldots&bg=FFFFFF&fg=000000'  alt="log [x ] !-2 log [ \textstyle{\frac{1}{2}}x ] != \psi (x)- \psi (\textstyle{\frac{1}{2}} x)+ \psi (\textstyle{\frac{1}{3}} x) - \ldots" /> (4)</p>
<p>Dado que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%28x%29&bg=FFFFFF&fg=000000'  alt="\nu (x)" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29&bg=FFFFFF&fg=000000'  alt="\psi (x)" /> son funciones crecientes, obtenemos a partir de (3) y (4) que las siguientes desigualdades son ciertas:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29-2+%5Cpsi+%28%5Csqrt%7Bx%7D%29+%5Cle+%5Cnu+%28x%29+%5Cle+%5Cpsi+%28x%29&bg=FFFFFF&fg=000000'  alt="\psi (x)-2 \psi (\sqrt{x}) \le \nu (x) \le \psi (x)" /> (5)<br />
<img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%5Cle+log+%5Bx+%5D+%21-2+log+%5B+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7Dx+%5D+%21+%5Cle+%5Cpsi+%28x%29+-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29&bg=FFFFFF&fg=000000'  alt="\psi (x)- \psi (\textstyle{\frac{1}{2}} x) \le log [x ] !-2 log [ \textstyle{\frac{1}{2}}x ] ! \le \psi (x) - \psi (\textstyle{\frac{1}{2}} x) + \psi (\textstyle{\frac{1}{3}} x)" /> (6)</p>
<p>Por otra parte, puede demostrarse que (a ver quién se atreve a hacerlo en los comentarios):</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=log+%28%5CGamma+%28x%29%29-2+log+%28%5CGamma+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%2B%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D%29+%5Cle+log+%5Bx+%5D+%21-2+log+%5B+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7Dx+%5D+%21+%5Cle+log+%28%5CGamma+%28x%2B1%29%29-2+log+%28%5CGamma+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%2B%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D%29&bg=FFFFFF&fg=000000'  alt="log (\Gamma (x))-2 log (\Gamma \textstyle{\frac{1}{2}} x+\textstyle{\frac{1}{2}}) \le log [x ] !-2 log [ \textstyle{\frac{1}{2}}x ] ! \le log (\Gamma (x+1))-2 log (\Gamma \textstyle{\frac{1}{2}} x+\textstyle{\frac{1}{2}})" /> (7)</p>
<p>Ahora, ayudándonos de la <a href="http://gaussianos.com/la-formula-de-stirling/">aproximación de Stirling</a> obtenemos lo siguiente a partir de (7):</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=log+%5Bx+%5D+%21-2+log+%5B+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7Dx+%5D+%21+%3C+%5Cfrac%7B3%7D%7B4%7D+x%2C+%5Cmbox%7B+si+%7D+x+%3E+0&bg=FFFFFF&fg=000000'  alt="log [x ] !-2 log [ \textstyle{\frac{1}{2}}x ] ! < \frac{3}{4} x, \mbox{ si } x > 0" /> (8)</p>
<p><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=log+%5Bx+%5D+%21-2+log+%5B+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7Dx+%5D+%21+%3E+%5Cfrac%7B2%7D%7B3%7D+x%2C+%5Cmbox%7B+si+%7D+x+%3E+300&bg=FFFFFF&fg=000000'  alt="log [x ] !-2 log [ \textstyle{\frac{1}{2}}x ] ! > \frac{2}{3} x, \mbox{ si } x > 300" /> (9)</p>
<p>Uniendo ahora la información proporcionada por (6), (8) y (9) se ve claramente que:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%3C+%5Cfrac%7B3%7D%7B4%7D+x%2C+%5Cmbox%7B+si+%7D+x+%3E+0&bg=FFFFFF&fg=000000'  alt="\psi (x)- \psi (\textstyle{\frac{1}{2}} x) < \frac{3}{4} x, \mbox{ si } x > 0" /> (10)<br />
<img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29+%3E+%5Cfrac%7B2%7D%7B3%7D+x%2C+%5Cmbox%7B+si+%7D+x+%3E+300&bg=FFFFFF&fg=000000'  alt="\psi (x)- \psi (\textstyle{\frac{1}{2}} x)+ \psi (\textstyle{\frac{1}{3}} x) > \frac{2}{3} x, \mbox{ si } x > 300" /> (11)</p>
<p>Tomemos ahora la expresión (10) y cambiemos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> por <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%2C+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B4%7D%7D+x%2C+%5Ctextstyle%7B%5Cfrac%7B1%7D%7B8%7D%7D+x%2C+%5Cldots&bg=FFFFFF&fg=000000'  alt="\textstyle{\frac{1}{2}} x, \textstyle{\frac{1}{4}} x, \textstyle{\frac{1}{8}} x, \ldots" /> y sumemos los resultados. Obtenemos lo siguiente:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cpsi+%28x%29+%3C+%5Cfrac%7B3%7D%7B2%7D+x%2C+%5Cmbox%7B+si+%7D+x+%3E+0&bg=FFFFFF&fg=000000'  alt="\psi (x) < \frac{3}{2} x, \mbox{ si } x > 0" /> (12)</p>
<p>Uniendo en este punto la información proporcionada por (5) y (12) llegamos a (13):</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cbegin%7Bmatrix%7D+%5Cpsi+%28x%29+-+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29+%5Cle+%5C%5C+%5Cle+%5Cnu+%28x%29+%2B+2+%5Cpsi+%28%5Csqrt%7Bx%7D%29+-+%5Cnu+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%2B+%5Cpsi+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B3%7D%7D+x%29+%3C+%5C%5C+%3C+%5Cnu+%28x%29+-+%5Cnu+%28%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x%29%2B%5Ctextstyle%7B%5Cfrac%7B1%7D%7B2%7D%7D+x+%2B+3+%5Csqrt%7Bx%7D+%5Cend%7Bmatrix%7D&bg=FFFFFF&fg=000000'  alt="\begin{matrix} \psi (x) - \psi (\textstyle{\frac{1}{2}} x) + \psi (\textstyle{\frac{1}{3}} x) \le \\ \le \nu (x) + 2 \psi (\sqrt{x}) - \nu (\textstyle{\frac{1}{2}} x) + \psi (\textstyle{\frac{1}{3}} x) < \\ < \nu (x) - \nu (\textstyle{\frac{1}{2}} x)+\textstyle{\frac{1}{2}} x + 3 \sqrt{x} \end{matrix}" /></p>
<p>Y utilizando este punto (13) junto con el (11) se obtiene:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%28x%29+-+%5Cnu+%28+%5Ctextstyle%7B+%5Cfrac%7B1%7D%7B2%7D%7D+x%29+%3E+%5Cfrac%7B1%7D%7B6%7D+x+-+3+%5Csqrt%7Bx%7D+%2C+%5Cmbox%7B+si+%7D+x+%3E+300&bg=FFFFFF&fg=000000'  alt="\nu (x) - \nu ( \textstyle{ \frac{1}{2}} x) > \frac{1}{6} x - 3 \sqrt{x} , \mbox{ si } x > 300" /> (14)</p>
<p>Por otra parte, es evidente que:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cfrac%7B1%7D%7B6%7D+x-+3+%5Csqrt%7Bx%7D+%5Cge+0%2C+%5Cmbox%7B+si+%7D+x+%5Cge+324&bg=FFFFFF&fg=000000'  alt="\frac{1}{6} x- 3 \sqrt{x} \ge 0, \mbox{ si } x \ge 324" /></p>
<p>En consecuencia tenemos:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%282x%29-+%5Cnu+%28x%29+%3E+0%2C+%5Cmbox%7B+si+%7D+x+%3E+162&bg=FFFFFF&fg=000000'  alt="\nu (2x)- \nu (x) > 0, \mbox{ si } x > 162" /> (15)</p>
<p>Este hecho finaliza la demostración para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x+%3E+162&bg=FFFFFF&fg=000000'  alt="x > 162" />. ¿Por qué? Muy sencillo. Recordemos que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Cnu+%28x%29&bg=FFFFFF&fg=000000'  alt="\nu (x)" /> era la suma de los logaritmos de todos los números primos menores o iguales que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" />, y lo que hemos obtenido que es que esa suma es mayor para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2x&bg=FFFFFF&fg=000000'  alt="2x" /> que para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" />. Esto sólo puede ocurrir si en la suma para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2x&bg=FFFFFF&fg=000000'  alt="2x" /> aparece algún logaritmo más que los que aparecen en la suma para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" />. Y para que ello ocurra debe haber algún número primo entre <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2x&bg=FFFFFF&fg=000000'  alt="2x" /> (no puede ser el propio <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2x&bg=FFFFFF&fg=000000'  alt="2x" />, ya que es un número par y por tanto compuesto) que aporte ese logaritmo a la suma. Es decir, hemos demostrado que para <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x+%5Cge+162&bg=FFFFFF&fg=000000'  alt="x \ge 162" /> existe al menos un número primo entre <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2x&bg=FFFFFF&fg=000000'  alt="2x" />. Comprobando ahora la veracidad de la conjetura para valores de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> menores que 162 (sencillo) se demuestra en su totalidad el <strong>postulado de Bertrand</strong>.</p>
<p>Fuente:</p>
<ul>
<li><a href="http://www.imsc.res.in/~rao/ramanujan/CamUnivCpapers/Cpaper24/page1.htm">Journal of the Indian Mathematical Society</a></li>
</ul>
<hr />
<p>Como habéis podido ver la demostración es relativamente elemental, pero algo complicada de seguir. Además contiene algunos pasos que no se demuestran pero que no parecen totalmente evidentes. No estaría mal que alguno de vosotros los aclarara en un comentario.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=-rnePy0JNmM:kDphsdEyOpg:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=-rnePy0JNmM:kDphsdEyOpg:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/-rnePy0JNmM" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/el-postulado-de-bertrand/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/el-postulado-de-bertrand/</feedburner:origLink></item>
		<item>
		<title>Osados</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/dnyqudw00FM/</link>
		<comments>http://gaussianos.com/osados/#comments</comments>
		<pubDate>Wed, 18 Nov 2009 06:00:16 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Citas matemáticas]]></category>

		<category><![CDATA[azar]]></category>

		<category><![CDATA[bertrand]]></category>

		<category><![CDATA[joseph bertrand]]></category>

		<category><![CDATA[ley]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1937</guid>
		<description><![CDATA[¿Cómo osamos hablar de las leyes del azar? ¿No es el azar la antítesis de toda ley?
Joseph Bertrand
MacTutor
¿Estáis de acuerdo?
]]></description>
			<content:encoded><![CDATA[<blockquote><p>¿Cómo osamos hablar de las leyes del azar? ¿No es el azar la antítesis de toda ley?</p></blockquote>
<p align="right">Joseph Bertrand</p>
<p align="right"><a href="http://www-gap.dcs.st-and.ac.uk/~history/Quotations/Bertrand.html">MacTutor</a></p>
<p>¿Estáis de acuerdo?</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=dnyqudw00FM:GGHf9jwHad8:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=dnyqudw00FM:GGHf9jwHad8:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/dnyqudw00FM" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/osados/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/osados/</feedburner:origLink></item>
		<item>
		<title>Factores primos</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/9TjJJVEAel8/</link>
		<comments>http://gaussianos.com/factores-primos/#comments</comments>
		<pubDate>Tue, 17 Nov 2009 06:00:04 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Juegos]]></category>

		<category><![CDATA[primo]]></category>

		<category><![CDATA[primo de fermat]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1942</guid>
		<description><![CDATA[Os dejo el problema de esta semana:
Demuestra que el número :

Es divisible por el primo de Fermat , y
Es divisible por al menos otros cuatro números primos distintos aparte de .


A por él.
]]></description>
			<content:encoded><![CDATA[<p>Os dejo el problema de esta semana:</p>
<blockquote><p>Demuestra que el número <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=19%5E%7B1976%7D%2B76%5E%7B1976%7D&bg=FFFFFF&fg=000000'  alt="19^{1976}+76^{1976}" />:</p>
<ol>
<li>Es divisible por el <a href="http://gaussianos.com/los-numeros-de-fermat/">primo de Fermat</a> <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=F_4%3D2%5E%7B2%5E4%7D%2B1&bg=FFFFFF&fg=000000'  alt="F_4=2^{2^4}+1" />, y</li>
<li>Es divisible por al menos otros cuatro números primos distintos aparte de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=F_4&bg=FFFFFF&fg=000000'  alt="F_4" />.</li>
</ol>
</blockquote>
<p>A por él.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=9TjJJVEAel8:fHi_U3d3KQU:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=9TjJJVEAel8:fHi_U3d3KQU:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/9TjJJVEAel8" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/factores-primos/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/factores-primos/</feedburner:origLink></item>
		<item>
		<title>Joseph Bertrand: un postulado para la eternidad</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/IbeHnJIfBt0/</link>
		<comments>http://gaussianos.com/joseph-bertrand-un-postulado-para-la-eternidad/#comments</comments>
		<pubDate>Mon, 16 Nov 2009 06:00:02 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Matemáticos]]></category>

		<category><![CDATA[Números primos]]></category>

		<category><![CDATA[bertrand]]></category>

		<category><![CDATA[joseph bertrand]]></category>

		<category><![CDATA[paradoja de bertrand]]></category>

		<category><![CDATA[postulado de bertrand]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=467</guid>
		<description><![CDATA[Joseph Louis François Bertrand fue un matemático francés del siglo XIX que nació en París el 11 de marzo de 1822 y murió en la misma ciudad el 5 de abril de 1900. Sus trabajos se centraron principalmente en teoría de números, geometría diferencial, teoría de la probabilidad, economía y termodinámica.
Hijo del físico Alexandre Jacques [...]]]></description>
			<content:encoded><![CDATA[<p><img align="right" src="http://farm3.static.flickr.com/2508/4107159213_efbe5376a5_o_d.jpg" alt="Joseph Bertrand" title="Joseph Bertrand" /><strong>Joseph Louis François Bertrand</strong> fue un matemático francés del siglo XIX que nació en París el 11 de marzo de 1822 y murió en la misma ciudad el 5 de abril de 1900. Sus trabajos se centraron principalmente en teoría de números, geometría diferencial, teoría de la probabilidad, economía y termodinámica.</p>
<p>Hijo del físico <em>Alexandre Jacques François Bertrand</em>, Joseph estuvo rodeado de matemáticas durante toda su vida. Duhamel (seguro que a quienes hayáis estudiado ecuaciones en derivadas parciales os suena) era amigo de su padre y se encargó de la tutela de nuestro protagonista tras la muerte de éste, y su hermana Louise estuvo casada con Hermite. Además Picard se casó con una hija de estos últimos.</p>
<p>Sea como fuere Bertrand demostró grandes capacidades científicas desde pequeño. Con 9 años ya era capaz de comprender álgebra y geometría elemental y hablaba en latín con fluidez. Con 11 años se le permitió asistir a algunas clases en la <em>École Polytechnique</em> y con 16 obtuvo su primer título. Un año después se doctoraba gracias a una tesis sobre termodinámica. Este mismo año, 1839, entró oficialmente en la <em>École Polytechnique</em> y publicó su primer trabajo, concretamente sobre teoría matemática de la electricidad. En 1841 entró como profesor en el <em>Liceo Saint-Louis</em>, puesto que ocupó hasta 1848. Más adelante fue profesor en la <em>École Polytechnique</em> (una de las escuelas de ingenieros francesa más prestigiosa) y del <em>Collège de France</em>. También fue miembro de la <em>Academia de Ciencias de París</em>.</p>
<p>Entre sus trabajos podemos destacar los siguientes:</p>
<ul>
<li><strong>Mémoire sur le nombre de valeurs que peut prendre une fonction quand on y permute les lettres qu&#8217;elle renferme</strong>, trabajo dedicado a ciertos estudios sobre grupos que a la postre se convirtió en su mayor contribución a la teoría de números.</li>
<li>Reedición de <strong>Mécanique analytique</strong> de Lagrange.</li>
<li><strong>Méthode des moindres carrés</strong>, traducción al francés del trabajo de Gauss sobre teoría de errores y el método de los mínimos cuadrados.</li>
<li><strong>Notas sobre teoría de probabilidad</strong>.</li>
</ul>
<p>Además de por sus publicaciones académicas, Bertrand fue famoso por publicar libros de texto. Entre ellos destacan:</p>
<ul>
<li><strong>Traité d&#8217;arithmetique</strong></li>
<li><strong>Traité élémentaire d&#8217;algèbre</strong></li>
</ul>
<p>dirigidos a alumnos de secundaria, y:</p>
<ul>
<li><strong>Traité de calcul différentiel et de calcul intégral</strong></li>
<li><strong>Thermodynamique</strong></li>
<li><strong>Leçons sur la théorie mathématique de l&#8217;électricité</strong></li>
</ul>
<p>para alumnos de niveles superiores.</p>
<p>Su libro <strong>Calcul des probabilitiés</strong>, publicado en 1888, merece ser comentado por contener una famosa paradoja sobre probabilidades que a partir de ese momento pasó a conocerse como <strong>paradoja de Bertrand</strong>. Bertrand formula la siguiente cuestión:</p>
<blockquote><p>Consideremos un triángulo equilátero inscrito en un círculo. Supongamos que elegimos al azar una cuerda de la circunferencia de dicho círculo. Entonces, ¿cuál es la probabilidad de que la cuerda sea más grande que el lado del triángulo?</p></blockquote>
<p><a href="http://en.wikipedia.org/wiki/Bertrand%27s_paradox_%28probability%29">En este enlace</a> de la Wikipedia inglesa podéis ver los tres argumentos, aparentemente válidos, que da Bertrand para resolver este problema. Y podéis comprobar que los tres dan probabilidades distintas. ¿Por qué? A grandes rasgos la clave de la paradoja es el significado de <em>al azar</em> en la elección de la cuerda.</p>
<p>Aparte de ésta hay otras dos paradojas que se atribuyen a Joseph Bertrand:</p>
<ul>
<li><a href="http://en.wikipedia.org/wiki/Bertrand_paradox_(economics)">Paradoja de Bertrand en Economía</a></li>
<li><a href="http://en.wikipedia.org/wiki/Bertrand%27s_box_paradox">Paradoja de la caja de Bertrand</a></li>
</ul>
<p><img align="right" src="http://farm3.static.flickr.com/2689/4107159423_f14e25310f_m_d.jpg" alt="Joseph Bertrand" title="Joseph Bertrand" />Pero sin duda el aspecto de su vida matemática que ha hecho famoso a Bertrand para siempre ha sido el conocido como <strong>postulado de Bertrand</strong>, cuya formulación es la siguiente:</p>
<blockquote><p>Dado <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n&bg=FFFFFF&fg=000000'  alt="n" /> un número natural mayor que 1, siempre existe un número primo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> tal que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n+%3C+p+%3C+2n&bg=FFFFFF&fg=000000'  alt="n < p < 2n" />.</p></blockquote>
<p>Es decir, Bertrand postuló que para todo número natural mayor que 1 siempre existe un número primo que queda entre ese número natural y su doble.</p>
<p>En realidad esta es la versión <em>débil</em> del postulado de Bertrand. La versión más fuerte dice que para todo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n&bg=FFFFFF&fg=000000'  alt="n" /> número natural mayor que 3 existe un número primo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> tal que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n+%3C+p+%3C+2n-2&bg=FFFFFF&fg=000000'  alt="n < p < 2n-2" />, aunque como hemos comentado antes es la primera versión la que se conoce como <em>postulado de Bertrand</em>.</p>
<p>Bertrand conjeturó dicha propiedad de los números primos en 1845, pero no consiguió demostrarla. Tuvo que ser <strong>Chebychev</strong> quien, en 1850, dio la primera demostración que se conoce de dicho resultado. Más adelante <strong>Ramanujan</strong> y el genial <strong>Paul Ërdos</strong> dieron demostraciones más simples. Igual durante esta semana nos encontramos con alguna de ellas por aquí&#8230;</p>
<p>Como detalle final señalar que Bertrand sufrió en 1842 un accidente de tren cuyo resultado fue rotura de nariz junto con unas marcas en la cara que mantuvo a lo largo de su vida.</p>
<p>Fuentes:</p>
<ul>
<li><a href="http://www-history.mcs.st-andrews.ac.uk/Biographies/Bertrand.html">Joseph Bertrand</a> en MacTutor.</li>
<li><a href="http://en.wikipedia.org/wiki/Joseph_Bertrand">Joseph Bertrand</a> en la Wikipedia (en inglés).</li>
</ul>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=IbeHnJIfBt0:G5nIqMDuX1M:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=IbeHnJIfBt0:G5nIqMDuX1M:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/IbeHnJIfBt0" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/joseph-bertrand-un-postulado-para-la-eternidad/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/joseph-bertrand-un-postulado-para-la-eternidad/</feedburner:origLink></item>
		<item>
		<title>Maldita inactividad</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/d30qYQCkLgo/</link>
		<comments>http://gaussianos.com/maldita-inactividad/#comments</comments>
		<pubDate>Wed, 11 Nov 2009 06:00:48 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Citas matemáticas]]></category>

		<category><![CDATA[inactividad]]></category>

		<category><![CDATA[leonardo]]></category>

		<category><![CDATA[leonardo da vinci]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1934</guid>
		<description><![CDATA[Así como el hierro se oxida por falta de uso, así también la inactividad destruye el intelecto.
Leonardo da Vinci
INFINITUM. Citas matemáticas
Eso es lo que poco a poco nos está pasando a más de uno (dios, con lo que yo era en los últimos cursos de carrera&#8230;). Aunque, no lo puedo negar, este blog está consiguiendo [...]]]></description>
			<content:encoded><![CDATA[<blockquote><p>Así como el hierro se oxida por falta de uso, así también la inactividad destruye el intelecto.</p></blockquote>
<p align="right">Leonardo da Vinci</p>
<p align="right"><a href="http://gaussianos.com/infinitum-citas-matematicas">INFINITUM. Citas matemáticas</a></p>
<p>Eso es lo que poco a poco nos está pasando a más de uno (dios, con lo que yo era en los últimos cursos de carrera&#8230;). Aunque, no lo puedo negar, este blog está consiguiendo que ese proceso de destrucción sea más lento. ¿Qué pensáis? ¿Alguno se ve reflejado en esta frase?</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=d30qYQCkLgo:pRi7V4jNYV0:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=d30qYQCkLgo:pRi7V4jNYV0:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/d30qYQCkLgo" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/maldita-inactividad/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/maldita-inactividad/</feedburner:origLink></item>
		<item>
		<title>Uno de congruencias</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/vv5JvgL0AI4/</link>
		<comments>http://gaussianos.com/uno-de-congruencias/#comments</comments>
		<pubDate>Tue, 10 Nov 2009 06:00:07 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Juegos]]></category>

		<category><![CDATA[congruencias]]></category>

		<category><![CDATA[problema]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1931</guid>
		<description><![CDATA[Ya que nuestro artículo de ayer lunes está relacionado con congruencias aquí os traigo como problema para esta semana uno también relacionado con ellas. Ahí va el enunciado:
Determina todos los enteros positivos  que satisfacen que para cualesquiera enteros positivos  primos relativos con  se cumple lo siguiente:
 si y sólo si .
Suerte.
]]></description>
			<content:encoded><![CDATA[<p>Ya que nuestro artículo de ayer lunes <a href="http://gaussianos.com/todo-primo-congruente-con-1-modulo-4-es-suma-de-dos-cuadrado/">está relacionado con congruencias</a> aquí os traigo como problema para esta semana uno también relacionado con ellas. Ahí va el enunciado:</p>
<blockquote><p>Determina todos los enteros positivos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n+%5Cge+2&bg=FFFFFF&fg=000000'  alt="n \ge 2" /> que satisfacen que para cualesquiera enteros positivos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=a%2Cb&bg=FFFFFF&fg=000000'  alt="a,b" /> primos relativos con <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=n&bg=FFFFFF&fg=000000'  alt="n" /> se cumple lo siguiente:</p>
<p><center><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=a+%5Cequiv+b+%28mod+%5C%3B+n%29&bg=FFFFFF&fg=000000'  alt="a \equiv b (mod \; n)" /> si y sólo si <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=ab+%5Cequiv+1+%28mod+%5C%3B+n%29&bg=FFFFFF&fg=000000'  alt="ab \equiv 1 (mod \; n)" />.</center></p></blockquote>
<p>Suerte.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=vv5JvgL0AI4:fdec2R-7Pg0:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=vv5JvgL0AI4:fdec2R-7Pg0:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/vv5JvgL0AI4" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/uno-de-congruencias/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/uno-de-congruencias/</feedburner:origLink></item>
		<item>
		<title>Todo primo congruente con 1 módulo 4 es suma de dos cuadrado</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/ow1EXxeL6To/</link>
		<comments>http://gaussianos.com/todo-primo-congruente-con-1-modulo-4-es-suma-de-dos-cuadrado/#comments</comments>
		<pubDate>Mon, 09 Nov 2009 06:00:49 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Demostraciones]]></category>

		<category><![CDATA[Números primos]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1912</guid>
		<description><![CDATA[Introducción
El resultado que da título a este artículo es bien conocido:
Todo primo congruente con 1 módulo 4 es suma de dos cuadrados.
Este resultado fue propuesto por Fermat a través de una carta enviada a Marín Mersenne. Como era habitual en él, Fermat no dio ninguna demostración de este hecho. La primera que se conoce se [...]]]></description>
			<content:encoded><![CDATA[<h3>Introducción</h3>
<p>El resultado que da título a este artículo es bien conocido:</p>
<blockquote><p>Todo primo congruente con 1 módulo 4 es suma de dos cuadrados.</p></blockquote>
<p>Este resultado fue propuesto por <a href="http://gaussianos.com/pierre-de-fermat-el-jurista-que-nos-mantuvo-en-vilo/">Fermat</a> a través de una carta enviada a Marín Mersenne. Como era habitual en él, Fermat no dio ninguna demostración de este hecho. La primera que se conoce se debe a Euler, que consiguió demostrar el resultado utilizando el <a href="http://gaussianos.com/descenso-infinito-un-metodo-de-demostracion-poco-conocido/">método del descenso infinito</a>. Después Lagrange, Gauss y Dedekind (entre otros) dieron otras demostraciones o simplificaciones de éstas.</p>
<p>En este artículo vamos a ver una demostración bastante elegante (aunque no constructiva) debida a <strong><a href="http://en.wikipedia.org/wiki/Don_Zagier">Don Zagier</a></strong> que me envió <strong>vengoroso</strong> hace ya bastante tiempo después de <a href="http://ende.cc/bk2/pivot/entry.php?id=440">publicarla en su propio blog</a>. Vamos con ella.<br />
<span id="more-1912"></span></p>
<h3>Todo primo congruente con 1 módulo 4 es suma de dos cuadrados</h3>
<p>En primer lugar vamos a escribir el enunciado de nuestro teorema:</p>
<p><u><strong>Teorema:</strong></u></p>
<blockquote><p>Todo primo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> congruente con 1 módulo 4 (esto es, <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p+%5Cequiv+1+%28mod+%5C%3B+4%29&bg=FFFFFF&fg=000000'  alt="p \equiv 1 (mod \; 4)" />) puede expresarse como suma de dos cuadrados.</p></blockquote>
<p><u>Demostración</u></p>
<p>Tomamos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> un número primo y comenzamos definiendo el siguiente conjunto:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S%3D%5C%7B%28x%2Cy%2Cz%29%5Cin+%5Cmathbb%7BN%7D%5E3%7C%5C+x%5E2+%2B+4yz%3Dp+%5C%7D&bg=FFFFFF&fg=000000'  alt="S=\{(x,y,z)\in \mathbb{N}^3|\ x^2 + 4yz=p \}" /></p>
<p>Un par de consideraciones sobre <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" />:</p>
<ul>
<li><strong>Ninguno de los elementos de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> tiene una coordenada nula</strong>, ya que si alguna de ellas fuera cero <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> no podría ser un número primo.</li>
<li><strong>El conjunto <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> es finito</strong>, ya que todas las coordenadas de un elemento de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> son menores que el propio <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" />.</strong></li>
</ul>
<p>Vamos a definir ahora la siguiente aplicación <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f%3A+%5C%3B+S+%5Crightarrow+S&bg=FFFFFF&fg=000000'  alt="f: \; S \rightarrow S" />:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f%28x%2Cy%2Cz%29%3D+%5Cleft+%5C%7B+%5Cbegin%7Bmatrix%7D+%28x%2B2z%2Cz%2Cy-x-z%29%2C+%5C%3B+si+%5C%3B+x+%3C+y-z+%5C%5C+%282y-x%2Cy%2Cx-y%2Bz%29%2C+%5C%3B+si+%5C%3B++y-z+%3C+x+%3C+2y+%5C%5C+%28x-2y%2Cx-y%2Bz%2Cy%29%2C+%5C%3B+si+%5C%3B+x+%3E+2y+%5Cend%7Bmatrix%7D+%5Cright.&bg=FFFFFF&fg=000000'  alt="f(x,y,z)= \left \{ \begin{matrix} (x+2z,z,y-x-z), \; si \; x < y-z \\ (2y-x,y,x-y+z), \; si \;  y-z < x < 2y \\ (x-2y,x-y+z,y), \; si \; x > 2y \end{matrix} \right." /></p>
<p>Algunos comentarios sobre esta <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" />:</p>
<ul>
<li><strong>La aplicación está bien definida</strong>, ya que todas las coordenadas son positivas (teniendo en cuenta los conjuntos de definición de cada <em>trozo</em>) y la terna resultante en cada caso vuelve a ser un elemento de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> (esto último puede comprobarse de forma sencilla desarrollando las operaciones correspondientes en cada caso).</li>
<li><strong>La aplicación <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> es una involución</strong>, es decir, una función que cumple que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f%28f%28x%2Cy%2Cz%29%29%3D%28x%2Cy%2Cz%29&bg=FFFFFF&fg=000000'  alt="f(f(x,y,z))=(x,y,z)" />. Esto también es sencillo de demostrar, pero al igual que en el caso anterior debemos tener cuidado con el tipo de terna que obtenemos. Por ejemplo, si <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x%2Cy%2Cz%29&bg=FFFFFF&fg=000000'  alt="(x,y,z)" /> está en el tercer tramo, su imagen es <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x-2y%2Cx-y%2Bz%2Cy%29&bg=FFFFFF&fg=000000'  alt="(x-2y,x-y+z,y)" />, que pertenece al los del primer tramo ya que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x-2y+%3C+x-2y%2Bz&bg=FFFFFF&fg=000000'  alt="x-2y < x-2y+z" />. Aplicándole <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> a este punto y realizando las operaciones correspondientes vemos que obtenemos de nuevo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x%2Cy%2Cz%29&bg=FFFFFF&fg=000000'  alt="(x,y,z)" />. El resto de casos se comprueban también de manera sencilla.</li>
<li><strong>La aplicación <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> tiene un único punto fijo (es decir, un punto <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x%2Cy%2Cz%29&bg=FFFFFF&fg=000000'  alt="(x,y,z)" /> tal que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f%28x%2Cy%2Cz%29%3D%28x%2Cy%2Cz%29&bg=FFFFFF&fg=000000'  alt="f(x,y,z)=(x,y,z)" />).</strong>. Para el primer tramo, un punto fijo implicaría <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=y%3Dz&bg=FFFFFF&fg=000000'  alt="y=z" />, por lo que la última coordenada sería <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=-x&bg=FFFFFF&fg=000000'  alt="-x" />, cosa que es imposible. Para el tercer tramo debería cumplirse que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x%3Dx-2y&bg=FFFFFF&fg=000000'  alt="x=x-2y" />, por lo que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=y&bg=FFFFFF&fg=000000'  alt="y" /> debería ser cero, hecho que tampoco puede producirse. Por ello los únicos puntos fijos que tenga <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> deben ser del segundo tramo. Si eso ocurre debe ser <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x%3Dy&bg=FFFFFF&fg=000000'  alt="x=y" />, por lo que la búsqueda de puntos fijos se centra ahora en encontrar puntos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x%2Cx%2Cz%29+%5Cin+S&bg=FFFFFF&fg=000000'  alt="(x,x,z) \in S" />, es decir, que verifiquen <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x%5E2%2B4xz%3Dp&bg=FFFFFF&fg=000000'  alt="x^2+4xz=p" />. Si sacamos <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> factor común tenemos la igualdad <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p%3Dx%28x%2B4z%29&bg=FFFFFF&fg=000000'  alt="p=x(x+4z)" />, lo que implica (por ser <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> primo) que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x%3D1&bg=FFFFFF&fg=000000'  alt="x=1" />. Por ello el único punto fijo de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> es <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%281%2C1%2Cz%29&bg=FFFFFF&fg=000000'  alt="(1,1,z)" />. Además de aquí también obtenemos que es necesario que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p%3D4z%2B1&bg=FFFFFF&fg=000000'  alt="p=4z+1" />.</li>
</ul>
<p>Utilizando ahora el hecho siguiente:</p>
<blockquote><p>Un conjunto finito y su subconjunto de puntos fijos para cualquier involución tienen la misma paridad.</p></blockquote>
<p>Como <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=f&bg=FFFFFF&fg=000000'  alt="f" /> tiene un único punto fijo, su subconjunto de puntos fijos tiene cardinal impar. Por ello <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> también tiene un número impar de elementos.</p>
<p>Definimos ahora una segunda aplicación <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=g%3A+%5C%3B+S+%5Crightarrow+S&bg=FFFFFF&fg=000000'  alt="g: \; S \rightarrow S" /> que también es una involución:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=g%28x%2Cy%2Cz%29%3D%28x%2Cz%2Cy%29&bg=FFFFFF&fg=000000'  alt="g(x,y,z)=(x,z,y)" /></p>
<p>El hecho de que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=g&bg=FFFFFF&fg=000000'  alt="g" /> es una involución es evidente. Pero además, como <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> tiene cardinal impar entonces el conjunto de puntos fijos de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=g&bg=FFFFFF&fg=000000'  alt="g" /> también tiene un número impar de elementos, por lo que debe existir al menos un punto fijo. Dicho punto fijo será entonces de la forma <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%28x%2Cy%2Cy%29&bg=FFFFFF&fg=000000'  alt="(x,y,y)" />. Pero como este punto es un elemento de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=S&bg=FFFFFF&fg=000000'  alt="S" /> se tiene lo siguiente:</p>
<p align="center"><img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p%3Dx%5E2%2B4y%5E2%3Dx%5E2%2B%282y%29%5E2&bg=FFFFFF&fg=000000'  alt="p=x^2+4y^2=x^2+(2y)^2" /></p>
<p>con lo que nuestro número primo <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p&bg=FFFFFF&fg=000000'  alt="p" /> de la forma <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=p%3D4z%2B1&bg=FFFFFF&fg=000000'  alt="p=4z+1" /> cumple que se puede escribir como suma de dos cuadrados, concretamente los de <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=x&bg=FFFFFF&fg=000000'  alt="x" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=2y&bg=FFFFFF&fg=000000'  alt="2y" />. <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5CBox&bg=FFFFFF&fg=000000'  alt="\Box" /></p>
<p><strong>Actualización:</strong></p>
<p>Para quien quiera profundizar os dejo un enlace JSTOR donde puede consultarse el artículo original:</p>
<blockquote><p>Don Zagier, A one-sentence proof that every prime p ≡ 1 mod 4 is a sum of two squares. Amer. Math. Monthly 97 (1990), no. 2, 144, doi:10.2307/2323918<br />
<a href="http://www.jstor.org/pss/2323918">http://www.jstor.org/pss/2323918</a></p></blockquote>
<p>Para finalizar comentar que las consideraciones adicionales que aparecen en el artículo de <strong>vengoroso</strong> no forman parte de la demostración original de Zagier.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=ow1EXxeL6To:mfREVx2sQd8:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=ow1EXxeL6To:mfREVx2sQd8:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/ow1EXxeL6To" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/todo-primo-congruente-con-1-modulo-4-es-suma-de-dos-cuadrado/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/todo-primo-congruente-con-1-modulo-4-es-suma-de-dos-cuadrado/</feedburner:origLink></item>
		<item>
		<title>¿Qué estamos haciendo?</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/vFTwnV-NOug/</link>
		<comments>http://gaussianos.com/%c2%bfque-estamos-haciendo/#comments</comments>
		<pubDate>Thu, 05 Nov 2009 06:00:59 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Noticias]]></category>

		<category><![CDATA[bachillerato]]></category>

		<category><![CDATA[cambios]]></category>

		<category><![CDATA[selectividad]]></category>

		<category><![CDATA[universidad]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1909</guid>
		<description><![CDATA[Este artículo ha sido promovido para aparecer en la portada de Menéame. Si te ha gustado y quieres votarlo haz click en este enlace y pulsa en Menéalo.
Introducción
Según el Decreto 85/2008, de 17-06-2008, por el que se establece y ordena el currículo del bachillerato en la Comunidad Autónoma de Castilla-La Mancha:
El bachillerato, de acuerdo con [...]]]></description>
			<content:encoded><![CDATA[<p><em>Este artículo ha sido promovido para aparecer en la portada de <strong>Menéame</strong>. Si te ha gustado y quieres votarlo <a href="http://meneame.net/story/que-estamos-haciendo">haz click en este enlace</a> y pulsa en <strong>Menéalo</strong>.</em></p>
<h3>Introducción</h3>
<p>Según el <a href="http://www.csi-csif.es/clm/modules/mod_ense/docs/normativa/200608curriculo_de_bachillerato.pdf">Decreto 85/2008, de 17-06-2008, por el que se establece y ordena el currículo del bachillerato en la Comunidad Autónoma de Castilla-La Mancha</a>:</p>
<blockquote><p>El bachillerato, de acuerdo con lo establecido en la Ley Orgánica 2/2006, de 3 de mayo, de Educación, forma parte de la educación secundaria postobligatoria y su finalidad es la de proporcionar a los alumnos formación, madurez intelectual y humana, conocimientos y habilidades que les permitan desarrollar funciones sociales e incorporarse a la vida activa con responsabilidad y competencia. <strong>Asimismo, capacitará a los alumnos para acceder a la educación superior</strong>.</p></blockquote>
<p>Es decir, que uno de los objetivos del Bachillerato es preparar a los alumnos para su etapa universitaria, si es que eligen ese camino. De hecho se entiende que es uno de los objetivos principales, si no el que más, ya que el temario que se imparte en 2º de bachillerato está basado en el temario de selectividad (se llame como se llame en cada momento), cuya nota completa las notas de la época de instituto para obtener una calificación que servirá para acceder a estudios universitarios.</p>
<p>Quedando claro este punto uno no entiende muy bien ciertas decisiones. Paso a explicar por qué os estoy contando todo esto, dejando claro antes que toda la información que aparece en este artículo es aplicable solamente a Castilla-La Mancha. Carezco de información sobre si en el resto de comunidades las cosas van a pasar a ser igual que aquí. Me gustaría que si alguien posee dicha información que nos lo haga saber en un comentario.</p>
<h3>Cambios</h3>
<p>Desde hace unas semanas (y creo que todavía continúan) se están celebrando las reuniones provinciales de coordinación de cada una de las asignaturas de bachillerato. En dichas reuniones se dan las pautas de los temarios de selectividad para que el programa de cada asignatura se ajuste a estos temarios. Un amigo que es profesor en un instituto, donde se encarga (entre otras asignaturas) de Matemáticas Aplicadas a las Ciencias Sociales II, me comentó cómo fue y lo que allí se dijo, y eso mismo es lo que os voy a contar yo a vosotros.<br />
<img align="right" width="240" height="180" src="http://farm3.static.flickr.com/2458/4076048547_8de697cb05_d.jpg" alt="Para tirarse de los pelos" title="Para tirarse de los pelos" /><br />
El primer comentario es evidente: ¿cómo se puede celebrar una reunión en la que se dan pautas para el desarrollo del programa de una asignatura un mes después (y en algunos casos más) del comienzo del curso? ¿Y si en ese tiempo se ha impartido algo que luego no aparece en el programa de selectividad? ¿No se puede hacer la reunión a principios de septiembre? Parece que no. Aunque bueno, este punto tampoco es tan grave.</p>
<p>Lo más importante de dicha reunión es que va a haber cambios en el temario de selectividad. Algunos de estos cambios son los siguientes:</p>
<ul>
<li>Se suprimen los determinantes.</li>
<li>No van a entrar los sistemas de ecuaciones lineales dependientes de algún parámetro.</li>
<li>Las derivadas que aparezcan en los exámenes serán de funciones muy sencillas. Básicamente se pedirán derivadas de polinomios, cocientes de polinomios y funciones exponenciales sencillas. Por ejemplo, no aparecerán derivadas de funciones trigonométricas.</li>
<li>Desparecen completamente las integrales.</li>
</ul>
<p>Cualquier alumno que lea esto, o que haya sido informado en clase, estará contento. Menos temario es igual a menos que estudiar y por tanto aprobado más sencillo. Pero cualquier persona que conozca un poco el mundo universitario comprenderá que estas medidas son una auténtica barbaridad, un camino hacia el suicidio académico.</p>
<p>¿Por qué? Muy sencillo. En esta zona (supongo que en otras muchas pasará lo mismo) la gran mayoría de las personas que acceden a la universidad después de haber cursado el Bachillerato en Ciencias Sociales se matriculan en ADE (Administración y Dirección de Empresas). Esto no es una opinión, es un hecho fácilmente comprobable. En esta carrera las matemáticas son parte fundamental, sobre todo en los primeros cursos. Y el hecho de reducir tan drásticamente el temario de 2º de Bachillerato hará que los alumnos lleguen cada vez menos preparados para afrontar los estudios para los que, en teoría, se les prepara en esta rama del bachillerato. De hecho ya en los últimos años se ha empezado a notar que la preparación es cada vez más pobre, o al menos yo lo he notado en la gente que acude a la academia donde trabajo para solicitar clases particulares. Y a partir de ahora, con estos cambios, la cosa va a ir a peor. ¿La preparación para la universidad no era uno de los objetivos más importantes de esta etapa? ¿De verdad que estamos respondiendo a este objetivo?</p>
<p>Evidentemente no soy el único que ha pensado en ello. En la propia reunión uno de los profesores asistentes preguntó sobre este hecho a la persona encargada de la misma:</p>
<blockquote><p>Muchos de mis alumnos entran después en ADE, donde se van a encontrar varias asignaturas de matemáticas para las que no van a estar preparados con este temario.</p></blockquote>
<p>Respuesta (aproximada) del encargado de la reunión:</p>
<blockquote><p>A mí simplemente me han dicho que os comunique esta información. Las consecuencias que tengan estos cambios en el devenir de los alumnos en la universidad se salen de mi cometido.</p></blockquote>
<p>Entiendo que si este señor se encarga únicamente de dicha reunión no tiene nada que ver con las implicaciones de los cambios que van a realizarse, pero creo que por encima de él si que hay gente cuya influencia en el éxito o fracaso de los alumnos en su etapa universitaria es máxima, por lo que bajo mi punto de vista deberían preocuparse algo más por ello.</p>
<p>Cualquiera de vosotros que sea profesor de este curso del que hablamos podría pensar en impartir los contenidos que se eliminan a sabiendas de que los alumnos los van a necesitar. Algo así como <em>no entran en selectividad, pero yo los imparto y les evalúo sobre ellos ya que el conocimiento de los mismo va a ser muy importante</em>. Tampoco creo que vaya a servir esta medida, ya que en la reunión también se dijo que a nadie se le ocurriera suspender a un alumno por no superar los exámenes relativos a los temas que se eliminan. O sea, que tú puedes enseñarles algo sobre integrales y hacerles un examen sobre ello, pero un suspenso en dicho examen no podrá tener ninguna influencia sobre la nota final del curso. Como los alumnos lo saben, ¿pensáis que se preocuparían por estudiar en este caso? Lo dudo.</p>
<p>Esto, junto con otras medidas que se han producido y se están produciendo, parecen indicar que se está intentando <em>igualar por abajo</em>, es decir, que se está intentando que todo el mundo llegue a poseer unos estudios mínimos eliminando temario y facilitando en demasía los aprobados. Esto, bajo mi punto de vista, acaba perjudicando a los que quieren continuar estudiando. Los estudios son duros en el sentido de que hay que trabajar para conseguirlos, y por desgracia no todo el mundo está dispuesto a asumir la responsabilidad que conlleva dicho trabajo. Y como no todo el mundo llega a terminar esos estudios, ¿les <em>regalamos el aprobado</em> perjudicando así a los que más se lo merecen?</p>
<hr />
<p>Hoy más que nunca me gustaría saber vuestra opinión sobre este tema, así como conocer cómo están las cosas en el resto de comunidades.</p>
<p>Y para terminar otra pregunta:</p>
<p><center>¿Qué os parece la propuesta/idea de alargar la enseñanza obligatoria hasta los 18 años?</center></p>
<p>Y dejo mi opinión: una locura.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=vFTwnV-NOug:yaKW5Jv9rT0:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=vFTwnV-NOug:yaKW5Jv9rT0:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/vFTwnV-NOug" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/%c2%bfque-estamos-haciendo/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/%c2%bfque-estamos-haciendo/</feedburner:origLink></item>
		<item>
		<title>Dos clases</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/R5GuOcxjabQ/</link>
		<comments>http://gaussianos.com/dos-clases/#comments</comments>
		<pubDate>Wed, 04 Nov 2009 06:00:21 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Citas matemáticas]]></category>

		<category><![CDATA[paul cohen]]></category>

		<category><![CDATA[paul joseph cohen]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1906</guid>
		<description><![CDATA[Hay dos clases de contribuciones matemáticas: las obras que son importantes para la historia de las matemáticas y las que sencillamente constituyen un triunfo del espíritu humano.
Paul Joseph Cohen
INFINITUM. Citas matemáticas
¿A cuál de ellas pensáis que corresponde nuestro artículo del lunes sobre funciones sin primitiva elemental?
]]></description>
			<content:encoded><![CDATA[<blockquote><p>Hay dos clases de contribuciones matemáticas: las obras que son importantes para la historia de las matemáticas y las que sencillamente constituyen un triunfo del espíritu humano.</p></blockquote>
<p align="right">Paul Joseph Cohen</p>
<p align="right"><a href="http://gaussianos.com/infinitum-citas-matematicas">INFINITUM. Citas matemáticas</a></p>
<p>¿A cuál de ellas pensáis que corresponde nuestro <a href="http://gaussianos.com/funciones-sin-primitiva-elemental/">artículo del lunes sobre funciones sin primitiva elemental</a>?</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=R5GuOcxjabQ:YacIR1ObnWs:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=R5GuOcxjabQ:YacIR1ObnWs:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/R5GuOcxjabQ" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/dos-clases/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/dos-clases/</feedburner:origLink></item>
		<item>
		<title>Circunferencia y triángulo</title>
		<link>http://feedproxy.google.com/~r/gaussianos/~3/oEewj3uL82I/</link>
		<comments>http://gaussianos.com/circunferencia-y-triangulo/#comments</comments>
		<pubDate>Tue, 03 Nov 2009 06:00:32 +0000</pubDate>
		<dc:creator>^DiAmOnD^</dc:creator>
		
		<category><![CDATA[Juegos]]></category>

		<category><![CDATA[circunferencia]]></category>

		<category><![CDATA[triángulo]]></category>

		<guid isPermaLink="false">http://gaussianos.com/?p=1899</guid>
		<description><![CDATA[Vamos con el problema de esta semana:
Tenemos una circunferencia de radio  y un triángulo dentro de ella como muestra la figura:

El lado  del triángulo es un diámetro de la circunferencia y el punto  pertenece a la misma.
Sabiendo además que , demostrar que los dos ángulos más pequeños de dicho triángulo miden exactamente [...]]]></description>
			<content:encoded><![CDATA[<p>Vamos con el problema de esta semana:</p>
<blockquote><p>Tenemos una circunferencia de radio <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=R&bg=FFFFFF&fg=000000'  alt="R" /> y un triángulo dentro de ella como muestra la figura:</p>
<p align="center"><img src="http://farm4.static.flickr.com/3528/4070031559_2cd88b5c4b_o_d.gif" alt="Circunferencia y triángulo" title="Circunferencia y triángulo" /></p>
<p>El lado <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=AB&bg=FFFFFF&fg=000000'  alt="AB" /> del triángulo es un diámetro de la circunferencia y el punto <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=C&bg=FFFFFF&fg=000000'  alt="C" /> pertenece a la misma.</p>
<p>Sabiendo además que <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=%5Ctextstyle%7B%5Cfrac%7B%5Cmbox%7BArea+del+circulo%7D%7D%7B%5Cmbox%7BArea+del+triangulo%7D%7D%3D2+%5Cpi%7D&bg=FFFFFF&fg=000000'  alt="\textstyle{\frac{\mbox{Area del circulo}}{\mbox{Area del triangulo}}=2 \pi}" />, demostrar que los dos ángulos más pequeños de dicho triángulo miden exactamente <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=15%5E%5Ccirc&bg=FFFFFF&fg=000000'  alt="15^\circ" /> y <img style="border:0px;vertical-align:middle;" src='http://l.wordpress.com/latex.php?latex=75%5E%5Ccirc&bg=FFFFFF&fg=000000'  alt="75^\circ" />.</p></blockquote>
<p>Ánimo, que no es difícil.</p>
<div class="feedflare">
<a href="http://feeds.feedburner.com/~ff/gaussianos?a=oEewj3uL82I:S9Th6008T6g:yIl2AUoC8zA"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=yIl2AUoC8zA" border="0"></img></a> <a href="http://feeds.feedburner.com/~ff/gaussianos?a=oEewj3uL82I:S9Th6008T6g:ecdYMiMMAMM"><img src="http://feeds.feedburner.com/~ff/gaussianos?d=ecdYMiMMAMM" border="0"></img></a>
</div><img src="http://feeds.feedburner.com/~r/gaussianos/~4/oEewj3uL82I" height="1" width="1"/>]]></content:encoded>
			<wfw:commentRss>http://gaussianos.com/circunferencia-y-triangulo/feed/</wfw:commentRss>
		<feedburner:origLink>http://gaussianos.com/circunferencia-y-triangulo/</feedburner:origLink></item>
	</channel>
</rss>
