tag:blogger.com,1999:blog-173688772024-03-07T02:10:30.025-03:00El Topo LógicoTeoría de Números, Topología y Lógica MatemáticaGustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.comBlogger307125tag:blogger.com,1999:blog-17368877.post-62668967832868382722023-01-06T16:39:00.002-03:002023-01-06T16:48:35.488-03:00Preguntas Inquietantes: Capítulo 1<p>El texto (en PDF) que puede descargarse desde el enlace copiado más abajo inicia una serie inspirada en la dinámica y el contenido de la materia Seminario, materia que dicté durante más de una década en el Profesorado de Matemática del Instituto Nacional Superior del Profesorado Técnico, en Buenos Aires, Argentina. Ayelén Catani, que en los últimos años actuó como ayudante en las clases, colabora con valiosos recuerdos, sugerencias y comentarios. Gisela Serrano, a quien le debo la idea germinal de la metodología de Seminario, lee críticamente y corrige estos textos. Carolina Chávez, que actuó como ayudante en los primeros años de la materia, colaboró en su momento en una versión inicial, y un poco más primitiva, de estos escritos.</p><p><a href="https://drive.google.com/file/d/13Zdox9CEsNvpaCv_dh5pQHi7lEbRTFwC/view?usp=sharing" target="_blank">Descargar PDF Preguntas Inquietantes (Capítulo 1)</a></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj19YzCuYyP6EsVd7VhirXNhgGdTPY69mIqI-xTXAOB9PWccn1gmpStVXfYwud5roGpdMSE1nMUCWsNMdq4ubpcXjRNMzsyBWpesYO-SHkcMEnyFw_FaGvof-4DLd4Ty-jsi8d3HVCaVhwCKmMmRAKOoTfgaRGQaMkTw8cGyNiGOQ2fktyCEYM/s835/Cap%201.png" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="534" data-original-width="835" height="256" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj19YzCuYyP6EsVd7VhirXNhgGdTPY69mIqI-xTXAOB9PWccn1gmpStVXfYwud5roGpdMSE1nMUCWsNMdq4ubpcXjRNMzsyBWpesYO-SHkcMEnyFw_FaGvof-4DLd4Ty-jsi8d3HVCaVhwCKmMmRAKOoTfgaRGQaMkTw8cGyNiGOQ2fktyCEYM/w400-h256/Cap%201.png" width="400" /></a></div>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-5156118171130453292021-05-11T12:14:00.004-03:002021-05-11T12:14:44.387-03:00El tesoro de Verdalia<p>Spock, el viajero espacial estudioso de la lógica, llega a las ruinas del viejo planeta Verdalia. Spock lleva un mapa que, espera, lo conducirá al tesoro que ha sido buscado durante siglos por miles de aventureros.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiJFudz6UF8tGXpAL0pQ3ybCA0a2KSZNXX_CgyzP-PVfjdC7Sxly-NK1C4AZUzkU7BvbGvsfKOaZh6x1pYOEK2JP5VayEVlZx9d54va1IdeDQrFZVEBUJGY1jRSua4ykVOgF1dpkQ/s200/spock.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="200" data-original-width="200" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiJFudz6UF8tGXpAL0pQ3ybCA0a2KSZNXX_CgyzP-PVfjdC7Sxly-NK1C4AZUzkU7BvbGvsfKOaZh6x1pYOEK2JP5VayEVlZx9d54va1IdeDQrFZVEBUJGY1jRSua4ykVOgF1dpkQ/s0/spock.png" /></a></div><br /><p><b>Primer desafío.</b></p><p>El mapa conduce a Spock ante dos pesadas puertas de hierro, una pintada de verde y la otra, de amarillo. Entre ellas hay una placa de bronce con estas tres afirmaciones: </p><p>1. Exactamente una de estas afirmaciones es falsa.</p><p>2. Las tres afirmaciones son falsas.</p><p>3. La puerta correcta es la verde. </p><p><b>¿Qué puerta debe elegir Spock?</b></p><p><b><br /></b></p><p><b>Segundo desafío.</b></p><p>Spock, por supuesto, elige la puerta correcta. Un largo pasillo lo coloca frente a dos escaleras. Una que sube, otra que baja. Entre ellas, una placa de plata dice:</p><p>1. Todas las afirmaciones que siguen son falsas.</p><p>2. Todas las afirmaciones que siguen son falsas.</p><p>3. Exactamente tres afirmaciones son falsas.</p><p>4. El camino correcto es hacia arriba.</p><p><b>¿Spock debe subir o bajar?</b></p><p><br /></p><p><b>Tercer desafío.</b></p><p>Finalmente, Spock llega ante una pequeña caja fuerte empotrada en una pared de piedra. A cada lado hay dos palancas de hierro, una pintada de rojo, y la otra, de azul. Una palanca abrirá la puerta de la caja, la otra destruirá su contenido. En la puerta, una placa de oro dice:</p><p>1. Exactamente una de estas afirmaciones es verdadera.</p><p>2. Todas las afirmaciones que siguen son verdaderas.</p><p>3. Exactamente cuatro de estas afirmaciones son falsas.</p><p>4. Exactamente una de estas afirmaciones es verdadera.</p><p>5. La palanca correcta es la roja.</p><p><b>¿Cuál es la palanca correcta?</b></p><p><br /></p><p>Spock tira de la palanca correcta y la puerta se abre. Dentro de una pequeña cámara, Spock encuentra el tesoro: <i>Las 142857 verdades</i>, el libro legendario que revela todos los secretos de universo. El más grande tesoro, por supuesto, es el saber.</p>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-41098162466644978722020-09-07T19:18:00.001-03:002020-09-07T19:18:32.907-03:00Hoy se cumplen 90 años...<p> ...del día en que Kurt Gödel levantó la mano en el congreso de Königsberg y anunció por primera vez sus teoremas de incompletitud.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhC5SPcTUsEndoFCqHukxRWWtLFhuNNDfjM_aWEUFlqBZjB39avh1rzrviUBJk-13g6toekBieKd0nFQdwhJoaZrykkqLzBrquHHYZ_06N0FEQS16G025KJfAeFh5EZc7h5OU7lNg/s258/godel+gof.gif" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="258" data-original-width="195" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhC5SPcTUsEndoFCqHukxRWWtLFhuNNDfjM_aWEUFlqBZjB39avh1rzrviUBJk-13g6toekBieKd0nFQdwhJoaZrykkqLzBrquHHYZ_06N0FEQS16G025KJfAeFh5EZc7h5OU7lNg/s0/godel+gof.gif" /></a></div><br /><p><br /></p>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-63327841983391161002020-08-15T20:31:00.001-03:002020-08-15T20:35:28.358-03:00Números algebraicos y trascendentes, y construcciones con regla y compás<p>Unos días atrás publicamos en el canal de YouTube un video que habla de "números algebraicos y trascendentes", así como de la relación entre ese tema y las construcciones con regla no graduada y compás. Aquí pueden verlo:</p><p></p><div class="separator" style="clear: both; text-align: center;"><iframe allowfullscreen="" class="BLOG_video_class" height="266" src="https://www.youtube.com/embed/OZ5Pr3Omnkg" width="320" youtube-src-id="OZ5Pr3Omnkg"></iframe></div>La relación entre ambos temas se debe a un teorema demostrado por el matemático francés Pierre Wantzel en 1837. Este teorema dice que si un número (real positivo) puede construirse con regla no graduada y compás entonces ese número es algebraico de orden $2^k$, con $k\geq{0}$. Es decir, si es construible con regla no graduada y compás entonces es raíz de un polinomio irreducible con coeficientes racionales de grado $2^k$.<p></p><p>Entre otras consecuencias, este teorema permite demostrar que los tres problemas clásicos de construcción con regla y compás (la cuadratura del círculo, la duplicación del cubo y la triseción del ángulo) son irresolubles (en el video están los detalles).</p><p>El punto que quiero destacar aquí es que en el video se desliza un error. Un error sin mayores consecuencias, pero error al fin. Quiero a dedicar esta entrada a comentarlo.</p><p>En el video digo que un número es construible si y sólo si el algebraico de orden $2^k$. Pero, aunque sí vale la implicación, y con eso basta para demostrar la irresolubilidad de los tres problemas clásicos, en realidad la recíproca es falsa. Es decir, existen números reales positivos algebraicos de orden $2^k$ que no pueden construirse con regla no graduada y compás.</p><p>Vayamos por partes.</p><p>Si un número es algebraico de orden $2^0=1$, entonces es racional, y todo número racional puede construirse (porque, cualquiera sea $n\geq{2}$, es posible, con regla no graduada y compás, dividir un segmento en $n$ partes iguales.)</p><p>Todo número algebraico es orden 2 es de la forma $q_0\pm{\sqrt{q_1}}$, donde $q_0$ y $q_1$ son racionales. Todos los números de esta forma pueden construirse con regla no graduada y compás.</p><p>Existen, sin embargo, números algebraicos de orden 4 que no pueden construirse. Veamos un ejemplo.</p><p>Consideremos el polinomio $f(x) = (x-1)^4-(x-1)-1$. Este polinomio es irreducible (no mostraré aquí los detalles) y tiene dos raíces reales positivas (esto puede verificarse apelando a las técnicas básicas del análisis matemático). Esas dos raíces positivas son, entonces, números algebraicos de orden 4. </p><p>(El polinomio tiene también dos raíces complejas no reales, que también son números algebraicos de orden 4, pero no nos interesan aquí.)</p><p>Por razones de simplicidad, realicemos el cambio de variable $z=x-1$. Obtenemos el polinomio $g(x)=z^4-z-1$.</p><p>Hallemos las raíces de $g(x)$. Para ello, utilizaré, según nos lo enseña Wikipedia, el método de Ferrari (matemático italiano del siglo XVI y discípulo de Cardano). (Nota personal: en mis casi 40 años de relación con la matemática, es la primera vez que voy a resolver por radicales una ecuación de grado 4). </p><p>Dice Ferrari que planteemos la ecuación cúbica: $y^3+4y-1=0$, que tiene una única solución real (una vez más, esto puede comprobarse con técnicas de análisis). Según el método de Cardano (también aprendido en Wikipedia, y también usado por mí por primera vez en la vida), esa única raíz real es:</p><p style="text-align: center;">$y_0=\sqrt[3]{\frac{1}{2}+\sqrt{\frac{283}{108}}}+\sqrt[3]{\frac{1}{2}-\sqrt{\frac{283}{108}}}$</p><p>Detalle importante: el polinomio de grado 3 que hemos obtenido es irreducible (no es difícil de verificar). Por lo tanto, $y_0$ es algebraico de orden 3 y no puede construirse con regla no graduada y compás.</p><p>Entonces, dice Ferrari, las dos raíces reales de $g(x)$ son las soluciones de la ecuación cuadrática:</p><p style="text-align: center;">$z^2 + \sqrt{y_0}z + \frac{y_0}{2}-\sqrt{\frac{y_0^2}{4}+1} =0$</p><div>Las dos raíces reales de $g(x)$ son, entonces: </div><div style="text-align: justify;"><p style="text-align: center;">$z_{1,2} = \frac{-\sqrt{y_0}\pm \sqrt{\frac{y_0}{2}+4\sqrt{\frac{y_0^2}{4}+1}}}{2}$</p><div><span style="text-align: left;">(No era necesario escribir esta última expresión, pero no pude resistirme a completar la resolución de la ecuación de grado 4.)</span></div></div><p>Finalmente, las dos raíces reales del polinomio $f(x)$ original son $x_{1,2}=z_{1,2}+1$. </p><p>Estos números $x_1$ y $x_2$ son algebraicos de orden 4. Veamos que al menos uno de ellos no puede construirse con regla y compás.</p><p>Supongamos, por el absurdo, que $x_1$ y $x_2$ pudieran construirse, entonces también podría construirse su suma: $x_1 + x_2$. Pero su suma es $x_1 + x_2=2-\sqrt{y_0}$<span style="text-align: center;"> (esto puede deducirse observando la ecuación cuadrática, por eso dije que no era necesario explicitar $z_{1,2}$). Entonces puede construirse </span>$\sqrt{y_0}$<span style="text-align: center;">, de donde se deduce que también puede construirse $y_0$. Pero esto es absurdo, porque $y_0$ es algebraico de orden 3.</span></p><p><span style="text-align: center;">Luego, $x_1$ y $x_2$ son algebraicos de orden 4, pero al menos uno de ambos no puede construirse con regla no graduada y compás. </span></p>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-59258175000572741592020-08-14T19:39:00.000-03:002020-08-14T19:39:16.955-03:00La paradoja de San Petersburgo<p><b style="text-align: justify;"><span lang="ES-MX">El juego</span></b></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">Imaginemos que nos proponen participar del
siguiente juego.<o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX">Para participar, tenemos que apostar 1.000.000 de pesos. El pago que recibimos cada vez que participamos queda determinado
por los tiros de una moneda (que suponemos equilibrada y perfecta). Esta moneda se tira tantas veces como sea necesario
hasta que salga “cara” por primera vez. Si la moneda se tiró $n$ v</span><span lang="ES-MX">eces entonces nos
pagan $2^n$ pesos</span><span lang="ES-MX">. Es decir, cuanto más tarde en aparecer la primera “cara”,
más dinero nos pagarán. Por ejemplo, si sale “cara” en el primer tiro, nos pagarán 2 pesos. Si sale “cara” recién en el segundo tiro, nos pagarán 4 pesos. Si sale “cara”
recién en el tercer tiro, nos pagarán 8 pesos. Y así sucesivamente.</span></p>
<p class="MsoNormal" style="line-height: 150%; text-align: center;"></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhAw1mz8gMDSCgmAdoeaVfePCBqw0uPi851dn5DMcLS8CEDvlu3OOf7LVAwst1lm9V3zw7krmWpwxSSteHEWV-Uaep9g3bsfzmbN78KcFMe6iSNgPducxiSsx0Ygp46MCNjt5xCRw/s275/moneda.gif" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="183" data-original-width="275" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhAw1mz8gMDSCgmAdoeaVfePCBqw0uPi851dn5DMcLS8CEDvlu3OOf7LVAwst1lm9V3zw7krmWpwxSSteHEWV-Uaep9g3bsfzmbN78KcFMe6iSNgPducxiSsx0Ygp46MCNjt5xCRw/s0/moneda.gif" /></a></div><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"><br /></span><p></p><p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">Observemos que la probabilidad de que salga “cara” en
el primer tiro es $\frac{1}{2}$</span><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">. La
probabilidad de que salga “cara” recién en el segundo tiro (es decir, “ceca” en
el primero y “cara” en el segundo) es de </span><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"> $\frac{1}{4}$. Generalizando, la probabilidad de que la primera
“cara” salga en el tiro $n$</span><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"><span style="mso-spacerun: yes;"> </span>es de </span> $\frac{1}{2^n}$. </p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"><o:p> </o:p></span><b><span lang="ES-MX">¿Conviene participar de este juego? </span></b><b><span lang="ES-MX"> </span></b></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">Cada vez que participemos tenemos que apostar 1.000.000 pesos, una cantidad exorbitante para cualquiera de nosotros. Hay que pensar
muy bien si nos conviene participar.<o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">Para responder la pregunta tenemos que calcular
el <i>valor esperado</i> (o la <i>esperanza</i>, o la <i>esperanza matemática</i>)
de nuestra ganancia, (nuestra ganancia es la diferencia entre lo que nos pagan
y lo que apostamos). De acuerdo con la teoría de probabilidades, la esperanza
de nuestra ganancia se calcula así: </span><span style="text-align: center;">E = -1.000.000 + </span>$2\times{\frac{1}{2}}$ <span style="text-align: left;">+ </span>$4\times{\frac{1}{4}}$ + ... Es decir, -1.000.000 más la suma de infinitos unos. La ganancia esperada es infinita.</p><p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;">La respuesta, obviamente, es que nos conviene jugar.
De hecho, nos conviene muchísimo. Porque el cálculo nos dice que si jugamos una
y otra vez (apostando en cada jugada 1.000.000 de pesos), la cantidad de dinero que
ganaremos tenderá, a la larga, al infinito.</p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"><o:p> </o:p></span><b><span lang="ES-MX">¿Por qué es una “paradoja”? </span></b><b><span lang="ES-MX"> </span></b></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">En todo lo anterior no hay ningún error, ni
ninguna contradicción. Se lo llama “paradoja”, en principio, porque resulta
poco intuitivo que haya un juego en el que se pueda ganar infinito dinero (no
importa cuánto se apueste, ya sea un millón de pesos, o mil millones).<o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">Pero hay otra razón por la cual se la considera
una paradoja. Para explicar esta otra razón, planteemos la siguiente pregunta: <i>¿por
qué el cálculo de la esperanza da como resultado “infinito”?</i> Más allá del
cálculo en sí, la idea es la siguiente: <o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX;">Si jugamos repetidamente el juego, algunas
veces nos pagarán más de 1.000.000 de pesos y ganaremos dinero; pero otras
veces nos pagarán menos de 1.000.000 y perderemos. Con más precisión,
como $2^{19}$ es poco más de 500.000, y</span><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;"> </span>$2^{20}$ es poco más de 1.000.000<span lang="ES-MX">,</span><span lang="ES-MX"> entonces, cada vez que la primera “cara” salga en el
tiro 19 o antes perderemos dinero, pero cada vez que la primera
“cara” salga en el tiro 20 o después ganaremos. En resumen,
hay una cantidad infinita de resultados posibles que nos hacen ganar dinero (y una cantidad creciente de dinero cuanto más tarde la cara en aparecer), mientras que hay solamente una
cantidad finita de casos que nos hacen perder dinero. Es por eso que, <u>a la larga</u>,
ganaremos tanto dinero como queramos.</span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">La paradoja aparece en la frase “a la larga”. ¿Qué tan
“a la larga” tenemos que esperar para ganar dinero?<o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">Como dijimos antes, si la primera “cara” aparece en el
tiro 20, entonces ganamos dinero. Pero ¿cuánto tendremos que esperar para que
eso suceda? <o:p></o:p></span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">La probabilidad de que la primera “cara” aparezca en
el tiro 20 es </span>$\frac{1}{2^{20}}$, que es<span lang="ES-MX"> del orden de un millonésimo</span><span lang="ES-MX">. Es decir, si
jugamos una vez por día (si nos atrevemos a arriesgar un millón de pesos cada día),
observaremos 20 caras seguidas, en promedio, una vez cada un millón de días,
o una vez cada 2.379 años. Es decir, tendremos que esperar unos 2.379 años
para ganar por primera vez 475.712. No sólo seremos muy viejos para disfrutar del triunfo, sino que, además, para ese entonces llevaremos apostados un
billón de pesos aproximadamente. Para ganancias mayores el tiempo de espera es
aún mayor; de hecho, ese tiempo de espera crece exponencialmente.</span></p>
<p class="MsoNormal" style="line-height: 150%; mso-add-space: auto; mso-margin-bottom-alt: auto; mso-margin-top-alt: auto; text-align: justify;"><span lang="ES-MX" style="mso-ansi-language: ES-MX; mso-fareast-font-family: "Times New Roman"; mso-fareast-theme-font: minor-fareast;">En resumen, si apostamos una vez por día, es decir, si
gastamos un millón de pesos por día, a la larga ganaremos tanto dinero como
queramos. Pero para llegar al momento en el cual el balance quede finalmente a
nuestro favor tendremos que esperar millones de años. No sólo
tendríamos que ser inmortales, sino también deberíamos disponer de trillones y
trillones de pesos para apostar. Esta es, entonces, la paradoja: en teoría el
juego conviene muchísimo, pero en la práctica es mejor ni siquiera acercarse a
él. <o:p></o:p></span></p>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-51855536924156118022020-07-12T20:01:00.002-03:002020-07-13T13:06:12.729-03:00Índice de la revista AxiomaEn <a href="https://drive.google.com/file/d/19ifd0ykrnEKpjXHWVBTMM4L5zQiOVsH1/view?usp=sharing">este enlace</a> puede descargarse un índice que recopila el contenido de todos los números de la revista Axioma. Los números de la revista pueden descargarse desde <a href="https://revista-axioma.blogspot.com/">este otro blog</a>.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEha12NHN1adn96pxQYFnU0j7L0_3Kjko7k1v-kcxA4eoTvidqW857vgyfyLR4gQpCc2bZfpOjLg_Egq7rx8QLof7qWJoTQq24FSjBOiwaihTvGUhiIJtpccEeiy84eGft0bTOBJSA/s1600/recorte.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="359" data-original-width="763" height="187" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEha12NHN1adn96pxQYFnU0j7L0_3Kjko7k1v-kcxA4eoTvidqW857vgyfyLR4gQpCc2bZfpOjLg_Egq7rx8QLof7qWJoTQq24FSjBOiwaihTvGUhiIJtpccEeiy84eGft0bTOBJSA/s400/recorte.png" width="400" /></a></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-51677704054035630492020-06-24T20:19:00.000-03:002020-06-24T20:19:04.862-03:00Revisra UraniaHace unos días se publicó el número 5 de la <i>Revista Urania</i>, publicación <i>on line </i>del Departamento de Matemática del ISP Joaquín V. González, de la Ciudad de Buenos Aires.<br />
<br />
En ese número 5, y también en el número 2, se han publicado artículos escritos por un servidor.<br />
<br />
Todos los números de la revista pueden verse en <a href="https://sites.google.com/view/revista-urania">este enlace</a>.Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-23111399637456951312020-06-17T20:13:00.003-03:002020-06-17T20:21:32.146-03:00Canal de YouTubeDesde hace unos días <i>El Topo Lógico</i> tiene asociado un canal de YouTube.<br />
<br />
<a href="https://www.youtube.com/user/gpineiro2002">Haciendo clic aquí</a> pueden acceder a él.<br />
<br />
La mayor parte de los videos está pensado como complemento o apoyo para clases de matemática de nivel secundario. Pero también se irán abarcando otros temas.<br />
<br />
Éste es el último video subido:<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/QlSlLnOFnX0/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/QlSlLnOFnX0?feature=player_embedded" width="320"></iframe></div>
<div style="text-align: center;">
<br /></div>
<br />
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-67710124349166954282020-04-13T18:53:00.001-03:002020-04-13T18:53:24.712-03:00John H. ConwayAnteayer, 11 de abril, falleció John H. Conway, uno de los matemáticos más originales del siglo XX. Otro daño que nos deja esta horrible pandemia.<br />
<br />
En <a href="https://sites.google.com/view/revista-urania#h.p_9E-fZVWTwUAo">este enlace</a> puede leerse el número 2 de la Revista Urania, donde, el año pasado, escribí una nota en la que Conway aparece como gran protagonista.<br />
<br />
Se lo va a extrañar.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgrBvPHIFH1Ky1Cr2Ur4YtYmirhGxdGU2CFe9QNdqH4rpHcM3ZfYdHWkt3s6RBBZtVlR4-7sK0ww1Mp_OT2-CQniYiaMZ2eN9OWzXQGX6jaAR5kn3gkp_TjHIO7UJQibsEH1TBLnw/s1600/rectangulos.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="202" data-original-width="246" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgrBvPHIFH1Ky1Cr2Ur4YtYmirhGxdGU2CFe9QNdqH4rpHcM3ZfYdHWkt3s6RBBZtVlR4-7sK0ww1Mp_OT2-CQniYiaMZ2eN9OWzXQGX6jaAR5kn3gkp_TjHIO7UJQibsEH1TBLnw/s1600/rectangulos.png" /></a></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-37088641024309554802020-04-13T18:45:00.003-03:002020-04-13T18:45:49.105-03:00El problema del domingo (3)Había dejado de publicar el problema del domingo porque me pareció que no despertaba interés entre los lectores. Pero recibí, para el problema anterior, una respuesta (correcta y muy bien justificada) de Emilio Dávola. La respuesta es: ninguna.<br />
<br />
Esto me alienta a publicar un nuevo problema:<br />
<br />
Tenemos 1001 rectángulos con lados enteros tales. En cada rectángulo, la diferencia entre las longitudes de sus lados es menor que 100. Demuestren que existen 21 rectángulos tales que cada uno de ellos puede cubrir totalmente, o ser cubierto totalmente, por cada uno de los otros. (Cuando un rectángulo cubre al otro los lados respectivos quedan paralelos.)<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiycrgYj_Jt5x0MIKulplQGo_ASadxjK_cfj9oW6hN_cAhdQV_6y72qLJ4-bkVkveYlkvnCDo8rEIioX_t1vyLherSsVaPvYfbLALknU6oj73N3V3OZhqadZTXZaNQVTWD5wEO_xw/s1600/rectangulos.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="211" data-original-width="242" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiycrgYj_Jt5x0MIKulplQGo_ASadxjK_cfj9oW6hN_cAhdQV_6y72qLJ4-bkVkveYlkvnCDo8rEIioX_t1vyLherSsVaPvYfbLALknU6oj73N3V3OZhqadZTXZaNQVTWD5wEO_xw/s1600/rectangulos.png" /></a></div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-67007504448282166502020-04-08T12:46:00.000-03:002020-04-08T12:46:05.785-03:00Un video muy interesante<div class="separator" style="clear: both; text-align: center;">
<iframe width="320" height="266" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/lqBXU-9Y3kU/0.jpg" src="https://www.youtube.com/embed/lqBXU-9Y3kU?feature=player_embedded" frameborder="0" allowfullscreen></iframe></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-29023362166935772162020-03-25T18:29:00.000-03:002020-03-25T18:29:09.414-03:00El problema del domingo (2)Hola...<br />
<br />
Antes de plantear el nuevo problema, tres comentarios:<br />
<br />
1) Augusto Spela me envió una solución correcta al problema anterior. Felicitaciones a Augusto.<br />
<br />
2) El primer problema del domingo fue publicado un sábado; éste es publicado un miércoles. Ya mejoraremos la puntería.<br />
<br />
Ahora sí, el problema:<br />
<br />
<i>¿Cuántas soluciones reales tiene la siguiente ecuación?</i><br />
<br />
<div style="text-align: center;">
$0,00001=e^{-\textrm{arctg}(x)+10,71}$</div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-35823912623905510332020-03-14T08:32:00.000-03:002020-03-14T08:32:04.039-03:00El problema del domingo (1)Dados <i>n</i> puntos en el plano ¿es siempre posible trazar <i>n</i> rectas que sean paralelas y equidistantes entre sí tales que cada punto pertenezca exactamente a una de esas rectas? ("Equidistantes" significa aquí que la distancia entre dos rectas consecutivas es la misma.)Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-91109758411276663462019-11-19T11:47:00.000-03:002019-11-21T16:04:04.339-03:00Razonamiento combinatorio (Parte 3 y última)(Viene de la <a href="https://eltopologico.blogspot.com/2019/11/razonamiento-combinatorio-parte-2.html">parte 2</a>.)<br />
<b><br /></b>
<b>Uno, uno, dos, cuatro</b><br />
<br />
<i>¿Cuántos números de cuatro dígitos pueden armarse permutando las cifras 1, 1, 2, 4?</i> Para facilitar el razonamiento, imaginemos que las cifras están escitas en cuatro fichas que, además, identificamos con las letras A, B, C, D. Un número se forma, entonces, eligiendo sucesivamente, cada una de estas cuatro fichas; por ejemplo, si elegimos BDAC, en ese orden, obtendremos el número 1.412.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgaDTgMY2I_6wl3mogickLnoM06hFA35oD45WyZQjeo-Bu5tp1UIGjOALSvvjrPGE1bvwDY6eeWsAhwXW3mUfVZDCFho9ja_caBKYj8RJYbJc9CkkQpdJ55fQ7nG6FxMRVG8MjH3w/s1600/cuatro+fichas.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="287" data-original-width="430" height="213" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgaDTgMY2I_6wl3mogickLnoM06hFA35oD45WyZQjeo-Bu5tp1UIGjOALSvvjrPGE1bvwDY6eeWsAhwXW3mUfVZDCFho9ja_caBKYj8RJYbJc9CkkQpdJ55fQ7nG6FxMRVG8MjH3w/s320/cuatro+fichas.png" width="320" /></a></div>
<br />
Sin embargo, <i>a priori</i>, no podríamos aplicar el Principio General de Enumeración, porque (como sucedía en el caso de los triángulos) series de elecciones diferentes pueden generar el mismo número. Por ejemplo, la elección <b>A</b>CD<b>B</b> y la elección <b>B</b>CD<b>A</b> generan el número 1.241 (en negrita, las fichas que tienen la misma cifra). De todos modos, la estrategia consistirá en razonar como si las cuatro fichas fueran diferentes, aplicar el Principio General de Enumeración, y después (como hicimos con los triángulos) modificar el resultado obtenido tomando en cuenta las repeticiones.<br />
<br />
Si todas las fichas fueran diferentes, el Principio General de Enumeración nos diría que las formas de ordenar las cuatro fichas son $4\times 3\times 2\times 1 = 24$ (que también podemos escribir como 4!), ya que tendríamos cuatro elecciones para primera ficha, tres para la segunda (que debe ser diferente de la primera), etc. Ahora bien, como ya observamos, algunas de estas 24 elecciones representan el mismo número; por ejemplo, el número 1.124 aparece al elegir ABCD y al elegir BACD; el número 1.421 aparece al elegir ADCB y al elegir BDCA; el número 4.211 aparece al elegir DCAB y al elegir DCBA; y así sucesivamente. Vemos así que, en los 24 resultados que calculamos antes, cada número está contado dos veces; en consecuencia, 24 es el doble de la cantidad real de resultados. La respuesta correcta es, entonces:<br />
<br />
<div style="text-align: center;">
$\frac {4\times 3\times 2\times 1}{2} = \frac {4!}{2} = 12$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Formulemos una variante de la pregunta anterior: <i>¿Cuántos números de cinco dígitos pueden armarse permutando las cifras 1, 1, 1, 2, 4?</i> En otras palabras, tenemos ahora cinco fichas.</div>
<div style="text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj5KJG4GP-z83-ntt5SPzIg8U7n7BEsbgnuYf8OKmgAnltrYVC7TJCD3VHA_q4aEMPZGongNTXuiHp6vb4yZnF8pYxY58kcWUh_oc-z0asQxzSjKYTOGm8HG_zNvdoN6KGkJXlxhg/s1600/cuatro+fichas+2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="287" data-original-width="443" height="207" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj5KJG4GP-z83-ntt5SPzIg8U7n7BEsbgnuYf8OKmgAnltrYVC7TJCD3VHA_q4aEMPZGongNTXuiHp6vb4yZnF8pYxY58kcWUh_oc-z0asQxzSjKYTOGm8HG_zNvdoN6KGkJXlxhg/s320/cuatro+fichas+2.png" width="320" /></a></div>
<div style="text-align: left;">
<br /></div>
<div style="text-align: left;">
<div>
Para responder la pregunta, repetimos la estrategia anterior y aplicamos primero el Principio General de Enumeración como si las cinco fichas fueran diferentes. El resultado que obtenemos es 5! = 120. A continuación, tenemos que preguntamos cuántas veces, en esos 120 resultados, está representado cada número. </div>
<div>
<br /></div>
<div>
Observemos que, si intercambiamos entre sí las fichas A, B, C, el número obtenido es siempre el mismo. Por ejemplo, las elecciones ABCDE y BCADE generan ambas el número 11.124. La pregunta, entonces es ¿cuántas formas hay de intercambiar entre sí las letras A, B, C? Tenemos aquí, una vez más, el problema de los seis amigos que se toman una fotografía en fila, sólo que ente caso los amigos son 3; la respuesta es 3! = 6. Es decir, entre los 120 resultados antes calculados, cada número está contado 3! veces. La respuesta, entonces, es que la cantidad de números es:</div>
<div>
<br /></div>
</div>
<div style="text-align: center;">
$\frac {5!}{3!}=20$</div>
<div>
<br /></div>
<div>
Existe otra forma de razonar este problema, para ello imaginemos que las cinco fichas van a ser colocadas en cinco casilleros en fila.</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
</div>
<div style="text-align: center;">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgbyIfGV8blRcado9y5hHSYb6uFlTsW6aPvXobUX7ie2xBMFuwP5ji1EVEjqXqDmQfFaJrb33XuB01QctXGmKZTrMzZx1-tEBEtn_Miv6gmT080rme1sZ7P1ag_-nEhI6dMWCutuA/s1600/cinco+casillas+2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="145" data-original-width="573" height="80" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgbyIfGV8blRcado9y5hHSYb6uFlTsW6aPvXobUX7ie2xBMFuwP5ji1EVEjqXqDmQfFaJrb33XuB01QctXGmKZTrMzZx1-tEBEtn_Miv6gmT080rme1sZ7P1ag_-nEhI6dMWCutuA/s320/cinco+casillas+2.png" width="320" /></a></div>
<br />
<div style="text-align: left;">
<span style="text-align: left;">¿Cómo formamos un número? Elegimos primero los tres lugares en lo que vamos a colocar las fichas con el número 1 (en este razonamiento las letras no juegan ningún papel), luego elegimos la casilla donde estará la ficha con el 2, y finalmente, elegimos el lugar para la ficha con el 4. Para la primera elección hay </span><span style="text-align: left;"><span style="text-align: center;">$\left(\begin{array}{cc}{5}\\{3}\end{array}\right)$</span> posibilidades (de las cinco casillas, elegimos las tres en las que estarán los unos), para la segunda, hay dos opciones (quedan dos casillas para elegir), para la última sólo queda una opción. Así calculada, la cantidad de números es:</span></div>
<br /></div>
<div style="text-align: left;">
<div style="text-align: center;">
<span style="text-align: center;">$\left(\begin{array}{cc}{5}\\{3}\end{array}\right)$ $\times 2\times 1$ $= 20$</span></div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Planteemos, finalmente, una última variante de la pregunta: <i>¿Cuántos números de seis dígitos pueden armarse permutando las cifras 1, 1, 1, 2, 4, 4?</i> Es decir, tenemos ahora seis fichas.</div>
<div style="text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEih1r9_mhJLExXhvx5Er-zaMti5xk9boqFhyphenhyphen496j8U0xRLdlNr7kNN_0FifY2Wek6EXr9k5HEFnDwBnmx6lheghMtmdwbfW3Ao9hu85QTa7e_FdY-nyRP0kjiiLJGaM9BK_J6MryQ/s1600/cuatro+fichas+3.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="287" data-original-width="595" height="154" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEih1r9_mhJLExXhvx5Er-zaMti5xk9boqFhyphenhyphen496j8U0xRLdlNr7kNN_0FifY2Wek6EXr9k5HEFnDwBnmx6lheghMtmdwbfW3Ao9hu85QTa7e_FdY-nyRP0kjiiLJGaM9BK_J6MryQ/s320/cuatro+fichas+3.png" width="320" /></a></div>
<div style="text-align: left;">
<br /></div>
</div>
<div>
Si las seis fichas fueran diferentes tendríamos 6! = 720 resultados, pero, como antes, debemos preguntarnos cuántas veces aparece representado cada número. Por ejemplo, ¿cuántas elecciones generan el número 111.244? Para formar este número tenemos que elegir primero una permutación de las fichas A, B, C, después colocamos la ficha D, y finalmente elegimos una permutación de E, F.<br />
<br />
Tenemos así que hay $3!\times 1\times 2!$ o también $3!\times 2!$, formas de obtener el número 111.244. El mismo razonamiento vale para cualquier otro número, por ejemplo, para formar 241.141 primero elegimos una permutación de A, B, C (y las colocamos, en orden, en las ubicaciones tres, cuatro y seis), luego ubicamos la ficha D en el primer lugar y, finalmente, elegimos una permutación de E, F (que colocamos, en orden, en los lugares segundo y cuarto).<br />
<br />
Como cada número aparece repetido $3!\times 2!$ veces, la cantidad real de números que pueden formarse es:</div>
<div>
<br /></div>
<div style="text-align: center;">
$\frac {6!}{3!\times 2!} = 60$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Podemos también aplicar el razonamiento de las casillas vacías:</div>
<div style="text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhAUEpj856lsssXjXb2_-KAKNgZbxCF2KP7MupPuI6UH8NRwEFAH4-oDuVk3PEYJVLGgZSCwd-g-nVZnU3L_Nfn0HHWtI_nxE7Rh_eSxexg4aiOuI8dgf_GBtYIaCVaGMPR3XUJqA/s1600/cinco+casillas.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="145" data-original-width="685" height="83" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhAUEpj856lsssXjXb2_-KAKNgZbxCF2KP7MupPuI6UH8NRwEFAH4-oDuVk3PEYJVLGgZSCwd-g-nVZnU3L_Nfn0HHWtI_nxE7Rh_eSxexg4aiOuI8dgf_GBtYIaCVaGMPR3XUJqA/s400/cinco+casillas.png" width="400" /></a></div>
<div style="text-align: left;">
<br />
Para formar un número, elegimos primero los tres lugares para colocar las fichas que tienen el número 1 (como antes, las letras no juegan ningún papel). Para esta elección tenemos <span style="text-align: center;">$\left(\begin{array}{cc}{6}\\{3}\end{array}\right)$</span> opciones (elegimos tres casillas de un total de 6). Luego elegimos las casillas donde irán las fichas con el número 4; tenemos <span style="text-align: center;">$\left(\begin{array}{cc}{3}\\{2}\end{array}\right)$</span> opciones, ya que tenemos que elegir 2 casillas de las tres que quedan libres. Finalmente, hay una sola elección para la ficha con el 2. La cantidad total de números es, entonces:<br />
<br />
<div style="text-align: center;">
<div style="text-align: center;">
$\left(\begin{array}{cc}{6}\\{3}\end{array}\right)$ $\times $ <span style="text-align: left;"><span style="text-align: center;">$\left(\begin{array}{cc}{3}\\{2}\end{array}\right)$</span> $\times 1 = 60$</span></div>
</div>
<br />
<b><br /></b>
<b>Muchos libros en ocho estantes</b><br />
<br />
<i>¿De cuántas formas pueden distribuirse 72 libros diferentes en 8 estantes? (Cada estante es suficientemente largo como para contener todos los libros.) </i><br />
<i><br /></i>
Una estrategia que puede aplicarse, cuando el problema involucra números grandes, es resolver primero un caso que sea más fácil de visualizar, con números pequeños, y luego aplicar la solución que obtengamos al caso que queríamos resolver inicialmente. Podemos preguntarnos, por ejemplo, qué sucede si, en lugar de 72 libros en 8 estantes, tuviéramos que distribuir 5 libros en 3 estantes. Para empezar, debemos analizar cómo podemos representar cada distribución de los libros; una manera de hacerlo es la siguiente:<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgMwnyFpOkuaZ8ns-_2BfDqofLilwJ9CFZsCcXc4feaJ2IcYeuJOyW2Ezw7djI01PnQHMBr-i1jDjxqtlz0G9P8tJ4DTE7lNp9I9ifz0fFGKvc3i6y9ZI_4oOxhY-reepGlZSRsrQ/s1600/estantes+1.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="133" data-original-width="513" height="82" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgMwnyFpOkuaZ8ns-_2BfDqofLilwJ9CFZsCcXc4feaJ2IcYeuJOyW2Ezw7djI01PnQHMBr-i1jDjxqtlz0G9P8tJ4DTE7lNp9I9ifz0fFGKvc3i6y9ZI_4oOxhY-reepGlZSRsrQ/s320/estantes+1.png" width="320" /></a></div>
<br />
Los rectángulos con números representan los libros, mientras que los rectángulos de color separan a los distintos estantes. La imagen representa, entonces, la distribución que tiene al libro 4 en el primer estante, a los libros 1, 2 y 3, en ese orden, en el segundo, y al libro 5 en el tercero.<br />
<br />
Una distribución de libros puede, a su vez, ser modificada de dos formas; una es permutando los libros en alguno de los estantes:<br />
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhIf4F86kosawSUn6_HkaibVVPYlykkPnIJBonReodXOSIxzs6UHDMh8C_15PfIgnHN87MKaLPMWvrumJzZ-zmG6jpN1h49AUC_EEH0hznbOkYMHc2uSeZd0cy7CbHkqWXmxAQQ4g/s1600/estantes+2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="130" data-original-width="507" height="82" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhIf4F86kosawSUn6_HkaibVVPYlykkPnIJBonReodXOSIxzs6UHDMh8C_15PfIgnHN87MKaLPMWvrumJzZ-zmG6jpN1h49AUC_EEH0hznbOkYMHc2uSeZd0cy7CbHkqWXmxAQQ4g/s320/estantes+2.png" width="320" /></a></div>
<div>
<br /></div>
<div>
Otra forma de modificar una distribución, por supuesto, es moviendo los libros de unos estantes a otros (en la imagen que se muestra a continuación, el primer estante ha quedado vacío):</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgHX2D9FNHLQv2sNmrD23UvnfHk0CUswYY4K1_-HjHzHVdxlNu6FSxC0VI-G1bRjCZMCX_J5JTnGhXHseYwcYWuX8b-8qJIksv3IB-tetel5IxIRAq7gQRiVqkSg2YgnGGKeZwabw/s1600/estantes+3.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="129" data-original-width="503" height="82" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgHX2D9FNHLQv2sNmrD23UvnfHk0CUswYY4K1_-HjHzHVdxlNu6FSxC0VI-G1bRjCZMCX_J5JTnGhXHseYwcYWuX8b-8qJIksv3IB-tetel5IxIRAq7gQRiVqkSg2YgnGGKeZwabw/s320/estantes+3.png" width="320" /></a></div>
<div>
<br /></div>
<div>
Podemos pensar, entonces, que tenemos nueve fichas, cinco diferentes entre sí (los libros), y otras cuatro que son iguales entre sí (las fichas de color). Cada distribución de los libros se obtiene permutando las siete fichas centrales, ya que las dos de los extremos quedan fijas.</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjxgdTTNDqq0OIJNmvPK-kA0hGlsa6a7W9zvqwitS4Hg8cSbKtzzoicy1Kvf1RPHr6Z9ZZ5OT1XNTwXQPYAAdjPD68yfFHwhV1vKhpay7BqKEYV8a_bAK4OivWmxuxUvCc7Zgwlrg/s1600/estantes+4.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="245" data-original-width="509" height="154" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjxgdTTNDqq0OIJNmvPK-kA0hGlsa6a7W9zvqwitS4Hg8cSbKtzzoicy1Kvf1RPHr6Z9ZZ5OT1XNTwXQPYAAdjPD68yfFHwhV1vKhpay7BqKEYV8a_bAK4OivWmxuxUvCc7Zgwlrg/s320/estantes+4.png" width="320" /></a></div>
<div>
<br /></div>
<div>
Tenemos que reordenar, entonces, siete fichas, de las cuales cinco (la cantidad de libros) son diferentes entre sí, y dos (una menos que los estantes) son iguales. Si aplicamos el mismo razonamiento del problema anterior (donde había fichas iguales entre sí, ya que tenían la misma cifra), deducimos que la cantidad de formas de distribuir los libros es:</div>
<div>
<div style="text-align: center;">
<br /></div>
</div>
<div>
<div style="text-align: center;">
$\frac{7!}{2!} = 2.520$</div>
<br />
Otra forma de razonarlo es pensar que las 7 fichas será colocadas en sendas casillas en blanco. Primero elegimos dónde colocaremos las dos que son iguales, elección para la que tenemos $\left(\begin{array}{cc}{7}\\{2}\end{array}\right) $ opciones. Luego, tenemos cinco opciones para la ficha 5, cuatro opciones para la 4, y así sucesivamente. Así pensado el problema, la respuesta es:</div>
<div>
<br /></div>
<div style="text-align: center;">
$\left(\begin{array}{cc}{7}\\{2}\end{array}\right) \times 5!$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Para el caso de 72 libros en 8 estantes necesitamos 72 fichas diferentes (que representen los libros) y 7 fichas iguales entre sí (una menos que los estantes), con un total de 79 fichas. La respuesta es, entonces:</div>
<div>
<br />
<div style="text-align: center;">
$\frac{79!}{7!}$</div>
<br /></div>
<div>
<div>
<b>Seis pelotitas en tres cajas</b></div>
<div>
<b><br /></b></div>
<div>
<i>¿De cuántas formas pueden distribuirse 6 pelotitas exactamente iguales en 3 cajas?</i> <i>(Cada caja es suficientemente grande como para contener todas las pelotitas.)</i> </div>
<div>
<br /></div>
<div>
El problema es muy similar al anterior, sólo que ahora las fichas que representan las pelotitas (y que antes representaban los libros) son todas iguales entre sí.</div>
</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhQ_Bm8R5UHQ7uEUlOb8oIA2TTuT27FhwHBoXM02j1lu7sDQmXoeFI5XU71RA9V3WqVs_zhqrc0g_v-CvtSRzX8EtVe9sFcl6LiE45eFCJRWPGWSj-YNd01ByPuLaH9tlMaQOpMsA/s1600/estantes+5.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="245" data-original-width="553" height="141" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhQ_Bm8R5UHQ7uEUlOb8oIA2TTuT27FhwHBoXM02j1lu7sDQmXoeFI5XU71RA9V3WqVs_zhqrc0g_v-CvtSRzX8EtVe9sFcl6LiE45eFCJRWPGWSj-YNd01ByPuLaH9tlMaQOpMsA/s320/estantes+5.png" width="320" /></a></div>
<div>
<br /></div>
<div>
La imagen representa la distribución en la que hay una pelotita en la primera caja, tres pelotitas en la segunda, y dos en la tercera. Tenemos que reordenar, entonces, 8 fichas, de las cuales dos son iguales entre sí, y las otras seis también son iguales entre sí. Imaginemos que, para armar cada ordenamiento, vamos colocándolas en 8 casillas vacías.</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg6XkPen98j6lHIXT394Rl62Ry7-T01vzQMZd7c9QIfiL-BGP35zUVlbx_dFtMacNmNFQ8rLFxIQG5lXuDu08wcWdYzYowkI64o2hQSjT1atP6P6nUiFUeMefOy-d-0PK0uLKxGog/s1600/estantes+6.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="88" data-original-width="469" height="60" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg6XkPen98j6lHIXT394Rl62Ry7-T01vzQMZd7c9QIfiL-BGP35zUVlbx_dFtMacNmNFQ8rLFxIQG5lXuDu08wcWdYzYowkI64o2hQSjT1atP6P6nUiFUeMefOy-d-0PK0uLKxGog/s320/estantes+6.png" width="320" /></a></div>
<div>
<br /></div>
<div>
<div>
Para colocar fichas, elegimos primero los dos lugares en los cuales vamos a colocar las barras. Tenemos $\left(\begin{array}{cc}{8}\\{2}\end{array}\right) $ formas de hacerlo, ya que elegimos dos lugares de un total de 8. No es necesario hacer más elecciones, porque, una vez que hemos colocado las barra, todos los demás lugares sólo pueden estar ocupados por las fichas que representan las pelotitas. La respuesta es, entonces:</div>
<div>
<br /></div>
<div style="text-align: center;">
$\left(\begin{array}{cc}{8}\\{2}\end{array}\right) = 28$</div>
</div>
<div>
<br /></div>
<div>
En lugar de los lugares para las barras, pueden elegirse también los 6 lugares para las pelotitas; pensado así, el resultado es:</div>
<div>
<br /></div>
<div style="text-align: center;">
<div>
$\left(\begin{array}{cc}{8}\\{6}\end{array}\right) = 28$</div>
<div>
<br style="text-align: left;" /></div>
</div>
<div>
<div>
<br />
<b>Para profesores del Nivel Medio: Sugerencias para el trabajo con los alumnos</b></div>
<div>
<br /></div>
<div>
<b>1)</b> En 1777 Wolfgang Amadeus Mozart compuso el Juego de Dados Musical para escribir valses con la ayuda de dos dados sin ser músico ni saber nada de composición. Este “juego” consiste en una tabla de 16 columnas, numeradas del I al XVI, y 11 filas, numeradas de 2 a 12. Cada casilla de la columna contiene un compás musical diferente.</div>
</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiQTiUK3RVfqWZ2tNsqvjw-bO9DUqMrnOX4d08OLoa5Z7kxMXFewp0rRFNj8nXDLIzZZXud9CTia8eMbM77GJfF6i6PtIp32K0KmHdzOSP-pfHTfajCJZSg6HoCXtVFkUYT-Jid_Q/s1600/MOZART.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="452" data-original-width="974" height="185" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiQTiUK3RVfqWZ2tNsqvjw-bO9DUqMrnOX4d08OLoa5Z7kxMXFewp0rRFNj8nXDLIzZZXud9CTia8eMbM77GJfF6i6PtIp32K0KmHdzOSP-pfHTfajCJZSg6HoCXtVFkUYT-Jid_Q/s400/MOZART.png" width="400" /></a></div>
<div>
<br /></div>
<div>
<div>
Para componer un vals, el músico aficionado elige primero un compás de la columna I; para elegirlo tira dos dados, mira su suma, y se queda con la casilla que corresponde a ese número. Después, otra vez mediante la suma de dos dados, elige un compás de la columna II. Y así sigue hasta completar las dieciséis columnas. Esos compases, tocados uno detrás del otro, forman el vals. Mozart aseguraba que todos ellos sonaban armoniosamente.</div>
<div>
<br /></div>
<div>
Se puede investigar cuántos valses diferentes es posible componer de esta forma. Si suponemos que cada vals dura unos 30 segundos, se puede explorar cuántos años tardaríamos en ejecutarlos todos, uno tras otro. </div>
<div>
<br /></div>
<div>
<b>2)</b> En 1961, el escritor francés Raymond Queneau, miembro del grupo de literatura experimental Oulipo, publicó el libro Cien mil millones de poemas, una versión literaria del juego musical de Mozart. En este caso, cada lector puede componer un soneto, que es una composición poética de 14 versos; el libro propone 10 opciones para el primer verso, otras 10 para el segundo, y así sucesivamente. Como antes, se puede explorar cuántos sonetos se pueden componer, y cuánto tiempo se demoraría en leerlos todos en voz alta.</div>
<div>
<br /></div>
<div>
<b>3)</b> En su famoso cuento La Biblioteca de Babel, Jorge Luis Borges describe una biblioteca que contiene, una vez cada uno, todos los libros posibles que responden a la siguiente descripción: cada libro tiene cuatrocientas diez páginas, cada página tiene cuarenta renglones, y cada renglón, ochenta letras. Las letras posibles son 25. ¿Cuántos libros contiene la biblioteca que describe Borges? </div>
<div>
<br /></div>
<div>
<b>4)</b> En la imagen se ve la parte superior del Triángulo de Pascal, un “triángulo” de números que sigue infinitamente hacia abajo. En el extremo superior hay un uno, y todo el lado derecho, así como todo el lado izquierdo están también formados por unos. Cada uno de los demás números es la suma de los dos que están arriba de él. </div>
</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgwB5RgRgSnA-uueo1oilo7QiQnAr17ApvlnhlPyyq9AKX9RwoGee44kzJBMm4unk_cHkbAunkld22nVyZrYnvKrGAUqomEDhYALo7dw_IubdAn2C-otPit8RL53vlHqGjAMLH01w/s1600/pascal+2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="165" data-original-width="311" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgwB5RgRgSnA-uueo1oilo7QiQnAr17ApvlnhlPyyq9AKX9RwoGee44kzJBMm4unk_cHkbAunkld22nVyZrYnvKrGAUqomEDhYALo7dw_IubdAn2C-otPit8RL53vlHqGjAMLH01w/s1600/pascal+2.png" /></a></div>
<div>
<br /></div>
<div>
Los números que aparecen en el triángulo de Pascal son, en realidad, números combinatorios.</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgiEhQK1f8udb6wWFUPN1IzzVDsxLrZWSZGDWQo3JxLFCjyGk5xGMN2Ug2ZvrZkPi0Yq8TbMcshnR7G2zSmWV0TXTm210wFbfskCAENyhNmuW-Cif2hnqtemwafEJUAbLTragGIWQ/s1600/pascal.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="343" data-original-width="300" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgiEhQK1f8udb6wWFUPN1IzzVDsxLrZWSZGDWQo3JxLFCjyGk5xGMN2Ug2ZvrZkPi0Yq8TbMcshnR7G2zSmWV0TXTm210wFbfskCAENyhNmuW-Cif2hnqtemwafEJUAbLTragGIWQ/s320/pascal.png" width="279" /></a></div>
<div>
<br /></div>
<div>
<div>
El Triángulo de Pascal tiene numerosas propiedades, que pueden explorarse. Por ejemplo, el “lado derecho” del triángulo está formado solamente por unos; la línea que le sigue paralelamente a ella está formada por los números 1, 2, 3, 4,…; la que le sigue, a su vez, está formada por los números triangulares (1, 3, 6, 10,…). Pueden buscarse otras sucesiones que también aparecen en el triángulo.</div>
<div>
<br /></div>
<div>
Otras propiedades se relacionan con sumas de filas o diagonales; por ejemplo, la suma de cada fila es siempre una potencia de 2. Otra propiedad dice que al sumar ciertas diagonales se va obteniendo la sucesión de Fibonacci (que se define como 1, 1, 2, 3, 5, 8,… donde cada uno es la suma de los dos anteriores). Se pueden explorar otras propiedades similares.</div>
</div>
<div>
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhfBaYACIPPOsFFN9TxPyqYz6_rsxDO8X8urkbv5frQ3lwssaLIdedtn9J4r1Ew1tYuTqpJmP6VmLNSVGZORp3WULPGf6M7H_1WzCuOTh0-gdyiSgv3s-XzP4OzJrS0sa6PnewS3A/s1600/pascal+3.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="189" data-original-width="377" height="160" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhfBaYACIPPOsFFN9TxPyqYz6_rsxDO8X8urkbv5frQ3lwssaLIdedtn9J4r1Ew1tYuTqpJmP6VmLNSVGZORp3WULPGf6M7H_1WzCuOTh0-gdyiSgv3s-XzP4OzJrS0sa6PnewS3A/s320/pascal+3.png" width="320" /></a></div>
</div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-60925004052602269002019-11-12T20:11:00.000-03:002019-11-21T16:04:52.438-03:00Razonamiento combinatorio (Parte 2)(Viene de la <a href="https://eltopologico.blogspot.com/2019/11/razonamiento-combinatorio-parte-1.html">parte 1</a>.)<br />
<b><br /></b>
<b>Seis amigos en una fotografía</b><br />
<br />
<i>Seis personas se colocan en fila para que les tomen una foto. ¿Cuántas fotografías diferentes puede haber? Si las seis personas son en realidad tres parejas de hermanos ¿en cuántos casos sucede que los hermanos quedan siempre juntos?</i> (Debemos aclarar que no hablamos aquí de una “selfi tumultuosa”, sino de seis personas que se ubican prolijamente en fila para que un fotógrafo profesional les tome una foto.)<br />
<br />
En este caso, cada resultado se obtiene colocando seis personas en fila; cada una de estas filas puede formarse de izquierda a derecha eligiendo primero a una de las personas, luego a otra, y así sucesivamente. Podemos aplicar, entonces, el Principio General de Enumeración: tenemos 6 opciones para la primera elección, 5 para al segunda, 4 para la tercera, etc. La cantidad de fotografías diferentes es, entonces:<br />
<br />
<div style="text-align: center;">
$6\times 5\times 4\times 3\times 2\times 1 = 720$</div>
<br />
Es frecuente, en combinatoria, que sea necesario calcular, como acabamos de hacer, el producto de todos los números entre <i>n</i> y 1, es decir, $n\times (n-1)\times (n-2)\dots \times 2\times 1$. Para abreviar, a este producto se lo llama “<i>n</i> factorial”, o “factorial de n”, y se lo indica <i>n</i>!. De esta forma:<br />
<br />
Por ejemplo:<br />
$1!=1$<br />
$2!=2\times 1=2$<br />
$3!=3\times 2\times 1=6$<br />
<span style="white-space: pre;"> </span><br />
Por convención, se define que 0!=1. Por lo tanto, podemos resumir la respuesta anterior de esta forma: la cantidad total de fotografías posibles es $6!=720$.<br />
<br />
Para responder la segunda pregunta aplicamos otra vez el Principio General de Enumeración. En este caso, la primera persona de la fila puede ser cualquiera de los seis. Para la segunda elección hay una sola opción posible, ya que tiene que ser el hermano de la primera persona. La tercera persona puede ser cualquiera de las cuatro que quedan, y debe seguirle su hermano. Para la quinta persona quedan dos opciones, y la última sólo puede ser su hermano. La respuesta a la segunda pregunta es, entonces:<br />
<br />
<div style="text-align: center;">
$6\times 1\times 4\times 1\times 2\times 1=48$</div>
<div>
<br /></div>
<b>Seis puntos en una circunferencia</b><br />
<br />
<i>En una circunferencia marcamos los puntos A, B, C. D. E. F. ¿Cuántos triángulos pueden trazarse que tengan a tres de esos puntos como vértices?</i><br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiF_y3jSRDqacSAi_9HYbUy5dS6VEQqjjDA532KJd8ln2Fj7zX6PQbaQD6GU6HWqm7MZgr6ATGDkvDO-KBA3HqK8-H9OWhE8sj0lE0FL_9A16t_a1wnfUCt3FmqPBNjGjys43bsJw/s1600/CIRC.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="356" data-original-width="342" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiF_y3jSRDqacSAi_9HYbUy5dS6VEQqjjDA532KJd8ln2Fj7zX6PQbaQD6GU6HWqm7MZgr6ATGDkvDO-KBA3HqK8-H9OWhE8sj0lE0FL_9A16t_a1wnfUCt3FmqPBNjGjys43bsJw/s320/CIRC.png" width="307" /></a></div>
<div>
<div>
Cada triángulo se obtiene eligiendo sucesivamente tres puntos diferentes (que serán los vértices del triángulo en cuestión). Así planteado, el Principio general de Enumeración nos diría que la cantidad de triángulos posibles es $6\times 5\times 4=120$. Sin embargo, esta respuesta no es correcta, porque este Principio supone que cada serie de elecciones genera un triángulo diferente; pero en este caso, por ejemplo, la elección ABC y la elección BCA generan el mismo triángulo.</div>
<div>
<br /></div>
<div>
Entre los 120 resultados ¿cuántas veces está contado el triángulo ABC? En realidad, está contado 6 veces, cuando elegimos: ABC, ACB, BAC, BCA, CAB y CBA. Podríamos haber calculado este número 6 mediante el mismo razonamiento del problema de los seis amigos que se toman una fotografía: todas las formas de ordenar en fila tres objetos (sean amigos sean nombres de vértices), es $3\times 2\times 1=6$. En conclusión, entre los 120 resultados, cada triángulo está contado 6 veces, la cantidad real, entonces, es:</div>
</div>
<div>
<br /></div>
<div style="text-align: center;">
$\frac{6\times 5\times 4}{3\times 2\times 1}=\frac{120}{6}=20$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
Gracias al factorial, este cociente puede escribirse de una manera más abreviada:</div>
<div style="text-align: left;">
<br /></div>
<div style="text-align: center;">
$\frac{6\times 5\times 4}{3\times 2\times 1}=\frac{6\times 5\times 4\times 3\times 2\times 1}{3\times 2\times 1\times 3\times 2\times 1}=\frac{6!}{3!\times 3!}$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
A esta última expresión se la llama "número combinatorio $\left(\begin{array}{cc}{6}\\{3}\end{array}\right)$. Generalizando, el número combinatorio $\left(\begin{array}{cc}{n}\\{k}\end{array}\right)$ (con $0\leq k\leq n$) se define como:</div>
<div style="text-align: left;">
<br /></div>
<div style="text-align: center;">
$\left(\begin{array}{cc}{n}\\{k}\end{array}\right)=\frac{n!}{k!\times (n-k)!}$</div>
<br />
El razonamiento que acabamos de mostrar para el caso de los triángulos se puede generalizar de la siguiente manera:<br />
<br />
Si tenemos <i>n</i> objetos diferentes y queremos formar con ellos grupos de <i>k</i> elementos cada uno (con $0\leq k\leq n$), entonces la cantidad de grupos posibles es <span style="text-align: center;">$\left(\begin{array}{cc}{n}\\{k}\end{array}\right)$</span>.<br />
<br />
<b>Médicos y enfermeros</b><br />
<br />
<i>En un hospital, de un total de 5 médicos y 7 enfermeros, van a elegir un grupo formado por 2 médicos y 3 enfermeros. ¿De cuántas formas puede hacerse esta elección?</i><br />
<br />
Para formar cada grupo se deben realizar dos elecciones sucesivas: primero se eligen los médicos, y después los enfermeros. A su vez, según lo que hemos dicho en el punto anterior, los grupos posibles de médicos son <span style="text-align: center;">$\left(\begin{array}{cc}{5}\\{2}\end{array}\right)$</span>, porque debemos elegir dos médicos de un total de 5, mientras que los grupos de enfermeros son <span style="text-align: center;">$\left(\begin{array}{cc}{7}\\{3}\end{array}\right)$</span>, porque hay que elegir 3 de un total de 7.<br />
<br />
Entonces, según el Principio General de Enumeración, la cantidad total de grupos de médicos y enfermeros es el producto de las elecciones posibles para el primer grupo por las elecciones posibles para el segundo: <span style="text-align: center;">$\left(\begin{array}{cc}{5}\\{2}\end{array}\right)$ $\times $ </span><span style="text-align: center;">$\left(\begin{array}{cc}{7}\\{3}\end{array}\right)$ $=350$.</span><br />
<br />
Sigue en la <a href="https://eltopologico.blogspot.com/2019/11/razonamiento-combinatorio-parte-3-y.html">parte 3 (y última)</a>.Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-75821543060623594622019-11-04T16:40:00.000-03:002019-11-13T17:12:49.499-03:00Razonamiento combinatorio (Parte 1)<b>La combinatoria</b><br />
<br />
La combinatoria puede definirse como la rama de la matemática que estudia las técnicas para contar la cantidad de elementos de un conjunto finito. Un problema típico de combinatoria, por ejemplo, puede pedirnos que calculemos cuántos son los números pares de tres cifras. Esta rama de la matemática se relaciona muy fuertemente con el cálculo de probabilidades. Por ejemplo, si queremos determinar cuál es la probabilidad de sumar 7 al tirar dos dados, tenemos que calcular el cociente de la cantidad de todos los resultados donde la suma es 7, dividida por la cantidad de todos los resultados posibles; estas dos cantidades se obtienen, a su vez, mediante las técnicas de la combinatoria.<br />
<br />
<b>Razonamiento combinatorio</b><br />
<b><br /></b>
En este artículo nos concentraremos en el análisis de los razonamientos que se ponen en juego al resolver problemas combinatorios. Muchas veces, al analizar problemas de combinatoria, suele clasificárselos en categorías fijas (“permutaciones sin repetición”, “combinaciones con repetición”, “combinaciones sin repetición”, etc.), a cada una de las cuales se le asocia una fórmula específica. La resolución de un problema consistiría, según este enfoque, en identificar a qué categoría pertenece el problema, para luego aplicar la fórmula correspondiente.<br />
<br />
Esta manera de resolver los problemas de combinatoria tiene, por lo menos, dos inconvenientes. El primero es que este método es totalmente opuesto a uno de los objetivos centrales de la enseñanza de la matemática, que es el desarrollo del pensamiento lógico y del razonamiento creativo. El segundo es que resulta muy fácil encontrar problemas de combinatoria que escapen a cualquier clasificación que se proponga. Nuestra intención en este artículo es exponer un modo diferente de abordar los problemas de combinatoria, un modo razonado que elude toda clasificación memorística y minimiza la cantidad de fórmulas que uno debe conocer.<br />
<br />
La idea principal de este método consiste en que, antes de contar aquellas cosas que el problema nos pide, debemos pensar de qué manera podemos producirlas, es decir, tenemos que planificar qué haríamos para escribir, una por una, todas las cosas a contar, sin repetir ninguna. Una vez que hayamos establecido el método para generar todos los elementos que queremos contar, la resolución numérica del problema surgirá de la traducción de ese método al lenguaje matemático.<br />
<br />
<b>Números pares de tres cifras</b><br />
<br />
Para ejemplificar el método que hemos descripto más arriba, comencemos con esta pregunta: <i>¿Cuántos son los números pares de tres cifras? </i><br />
<br />
Según dijimos, la primera pregunta que debemos plantearnos es: ¿cómo podríamos escribir, uno por uno, todos los números pares de tres cifras? La respuesta, obviamente, es que un número puede escribirse cifra por cifra: primero elegimos la primera cifra, después la segunda y, finalmente, la tercera. ¿Qué nos dice esto acerca de la cantidad de números que hay? Observemos que la primera cifra puede ser cualquier número entre 1 y 9, es decir, hay nueve opciones en total. Ahora bien, si elegimos primero el 1, esta cifra, a su vez, puede combinarse con otras diez para el segundo lugar:<br />
<br />
<div style="text-align: center;">
10 11 12 13 14 15 16 17 18 19</div>
<br />
Si elegimos primero el 2, éste también puede combinarse con diez cifras en el segundo lugar:<br />
<br />
<div style="text-align: center;">
20 21 22 23 24 25 26 27 28 29</div>
<br />
Generalizando, cada una de las 9 primeras cifras posibles se puede combinar con otras 10 para el segundo lugar. En consecuencia, el total de opciones para las dos primeras cifras es 9∙10 = 90. Este razonamiento suele ilustrarse mediante un diagrama de árbol, el cual se muestra parcialmente a continuación:<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgSf8oA7ku98NZAkog9KReKFnG1XkdJ0qg_W9cJJsvL1MWDmpjto4n1-UhXrLD7kBuj-uHIXF8S2qv52107oo-H74mRgGEUsqH2teopLpffw6FBo3odxiiHU1WfMgHH6HLIOLsHng/s1600/arbol.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="482" data-original-width="347" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgSf8oA7ku98NZAkog9KReKFnG1XkdJ0qg_W9cJJsvL1MWDmpjto4n1-UhXrLD7kBuj-uHIXF8S2qv52107oo-H74mRgGEUsqH2teopLpffw6FBo3odxiiHU1WfMgHH6HLIOLsHng/s320/arbol.png" width="230" /></a></div>
<div>
<div>
<br /></div>
<div>
El diagrama de árbol muestra cómo, en efecto, se puede combinar cada primera cifra con cada una de las segundas cifras posibles. La cantidad de combinaciones para las dos primeras cifras coincide con la cantidad de ramas del árbol.</div>
<div>
<br /></div>
<div>
En cuanto a la tercera cifra, como el número tiene que ser par, ésta sólo puede ser 0, 2, 4, 6 u 8, es decir, hay 5 opciones posibles. Cada una de las 90 combinaciones para las dos primeras cifras se debe combinar, a su vez, con cada una de las 5 opciones para la tercera. La respuesta final es, entonces, que la cantidad de números pares de tres cifras es:</div>
</div>
<div>
<br /></div>
<div style="text-align: center;">
$9\times 10\times 5 = 450$</div>
<div style="text-align: center;">
<br /></div>
En este cálculo, entonces, el factor 9 representa la cantidad de elecciones posibles para la primera cifra; el factor 10, las opciones para la segunda cifra; y el 5, las opciones para la tercera cifra. Podemos generalizar el razonamiento que acabamos de hacer en el llamado Principio General de Enumeración, que dice lo siguiente:<br />
<br />
<i>Principio General de Enumeración:</i> Si cada objeto que se quiere contar se obtiene a partir de una serie de elecciones sucesivas (de modo que cada serie de elecciones genera siempre un objeto diferente a todos los anteriores), entonces, el total de objetos se obtiene multiplicando la cantidad de opciones para la primera elección, por la cantidad de opciones para la segunda elección, por la cantidad de opciones para la tercera elección, y así sucesivamente.<br />
<br />
<b>Suma siete</b><br />
<br />
Hemos planteado más arriba la pregunta de cuál es la probabilidad, al tirar dos dados al azar, de que la suma de los dados sea 7. Como dijimos antes, esta probabilidad se calcula como el cociente entre la cantidad de tiradas donde la suma es siete y la cantidad total de tiradas.<br />
<br />
Calculemos primero el denominador; para ello, observemos que para escribir cada tirada de los dados podemos anotar primero el resultado del dado A, y luego el del dado B. Estos resultados, a su vez, suelen ser escritos como pares ordenados, por ejemplo, (1,4) indicaría la tirada en la que sale un 1 en el dado A, y un 4 en B. Es importante notar que este resultado es diferente al (4,1), que corresponde a un 4 en A, y un 1 en B. Al escribir cada resultado, entonces, elegimos primero qué anotar en la primera coordenada del par ordenado, y luego, qué anotar en la segunda. Según el Principio General de Enumeración, la cantidad total de tiradas posibles es $6\times 6=36$.<br />
<br />
La cantidad de tiradas en las cuales la suma es 7 debe ser calculada “a mano”, es decir, la manera de contarlas es escribirlas todas, una por una (no siempre hay una forma “razonada” de resolver un problema). Las tiradas buscadas son: (1,6), (2,5), (3,4), (4,3), (5,2) y (6,1), es decir, 6 en total. Por lo tanto, la probabilidad de que la suma sea 7 es:<br />
<div>
<br /></div>
<div style="text-align: center;">
$\frac{6}{36} = \frac{1}{6}$</div>
<div style="text-align: center;">
<br /></div>
<div style="text-align: left;">
<div>
<b>Jorge presidente</b></div>
<div>
<i><br /></i></div>
<div>
<i>Una asamblea de 14 personas (reunión de consorcio del edificio de Jorge) elegirá un triunvirato formado por un presidente, un vicepresidente y un secretario de actas. ¿Cuántos son los triunviratos posibles? ¿Cuántos hay en los que Jorge es presidente? ¿Cuántos triunviratos hay en los que Jorge interviene?</i></div>
<div>
<br /></div>
<div>
Cada triunvirato se obtiene mediante tres elecciones sucesivas: un presidente, un vicepresidente y un secretario de actas. Es importante observar que, según se deduce del contexto, el triunvirato que tiene, por ejemplo, a Jorge como presidente, a Alicia como vicepresidente, y a Bruno como secretario, es diferente del triunvirato que tiene a Alicia como presidente, a Bruno como vicepresidente y a Jorge como secretario. </div>
<div>
<br /></div>
<div>
Esto quiere decir que cada serie de elecciones genera un resultado diferente, y entonces podemos aplicar el Principio General de Enumeración. Por el contrario, si sólo tuviéramos que elegir tres personas, sin que ocupen ningún cargo en especial, entonces elegir a Jorge, Alicia y Bruno, en ese orden, sería lo mismo que elegir a Alicia, Bruno y Jorge. Es decir, dos series diferentes de elecciones nos darían el mismo resultado, por lo que el Principio General de Enumeración no sería aplicable (volveremos a este caso más adelante).</div>
<div>
<br /></div>
<div>
¿Cuántos son los triunviratos posibles? Para la elección del presidente tenemos 14 opciones; para el vice tenemos 13, porque tiene que ser una persona diferente de la anterior; para el secretario de actas hay 12 opciones, porque, a su vez, tiene que ser una persona diferente de las dos anteriores. El total de triunviratos es, entonces:</div>
<div>
<br /></div>
<div style="text-align: center;">
$14\times 13\times 12 = 2.184$</div>
<div>
<br /></div>
<div>
¿Cuántos hay en los que Jorge es presidente? En este caso, hay una sola opción para la primera elección, porque sólo puede ser Jorge; el vicepresidente puede ser cualquiera de las otras 13 personas; y quedan 12 opciones para el secretario de actas. La respuesta a la pregunta es:</div>
<div>
<br /></div>
<div style="text-align: center;">
$1\times 13\times 12 = 156$</div>
<div>
<br /></div>
<div>
¿Cuántos triunviratos hay en los que interviene Jorge? Jorge puede ser presidente, vicepresidente, o secretario de actas. El modo natural de generar todos estos triunviratos es escribir primero todos aquellos en los que Jorge es presidente, luego, los triunviratos en los que es vicepresidente, y finalmente, en los que es secretario. Para resolver numéricamente el problema tenemos que contar, entonces, cuántos triunviratos hay de cada tipo, y sumar los tres números. </div>
<div>
<br /></div>
<div>
Como ya vimos, la cantidad de resultados en los que Jorge es presidente es <span style="text-align: center;">$1\times 13\times 12 = 156$</span>; los resultados donde es vicepresidente son <span style="text-align: center;">$13\times 1\times 12 = 156$</span>; y los resultados donde es secretario son <span style="text-align: center;">$13\times 12\times 1 = 156$.</span> La respuesta final es 156 + 156 + 156 = 468.</div>
<div>
<br /></div>
<div>
Existe otro modo de razonar este último problema, para ello, calculamos primero la cantidad de triunviratos en los que Jorge no interviene. En ese caso, tenemos 13 opciones para la primera elección (cualquiera que no sea Jorge), 12 opciones para la segunda, y 11 para la tercera. La cantidad de triunviratos sin Jorge son:</div>
<div>
<br /></div>
<div>
<div style="text-align: center;">
$13\times 12\times 11 = 1.716$</div>
<div>
<br /></div>
</div>
<div>
La cantidad de triunviratos en los que Jorge participa se obtiene, entonces, restando del total aquellos triunviratos en los que Jorge no está, es decir, 2.184 – 1.716 = 468. </div>
<div>
<br /></div>
<div>
Sigue en la <a href="https://eltopologico.blogspot.com/2019/11/razonamiento-combinatorio-parte-2.html">parte 2</a>.</div>
</div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-73461081259781018642019-11-02T16:14:00.001-03:002019-11-02T17:15:23.949-03:00Tesis sobre la naturaleza de los objetos matemáticos<br />
Desde <a href="https://drive.google.com/open?id=1q-JpSiSiTfhKWylcIgxIvHcE72L6ldki">este enlace</a> puede descargarse la tesis doctoral que resumí en <a href="https://eltopologico.blogspot.com/2019/10/exposicion-de-tesis.html">esta charla</a>.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8L2-5nM0Cy0ZZDQQDcSJMkw-p1XeGDTT6bhyewZ2UQflow0gJU05-CrwQgFJJzYrZFXyMgCCE8r5N_YjphflL7hQX6ML2lIyPwJAgLGKG6OUuBHSVG-LCRqn55h-JDBzW9-2D9w/s1600/portada+%2528recorte%2529.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="360" data-original-width="872" height="264" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8L2-5nM0Cy0ZZDQQDcSJMkw-p1XeGDTT6bhyewZ2UQflow0gJU05-CrwQgFJJzYrZFXyMgCCE8r5N_YjphflL7hQX6ML2lIyPwJAgLGKG6OUuBHSVG-LCRqn55h-JDBzW9-2D9w/s640/portada+%2528recorte%2529.png" width="640" /></a></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-52431374986743117642019-10-28T11:25:00.001-03:002019-10-28T20:38:06.700-03:00Problemita de lógicaHace un tiempo, Spock, el viajero espacial estudioso de la lógica, llegó a un planeta con tres clases de habitantes: los veraces, los mentirosos y los paradójicos. Los veraces sólo formulan afirmaciones verdaderas. Los mentirosos sólo formulan afirmaciones falsas. Mientras que los paradójicos sólo hacen afirmaciones paradójicas, es decir, afirmaciones a las cuales no se le puede atribuir coherentemente un valor de verdad.<br />
<br />
Al poco tiempo de llegar, cuando todavía no había hablado con nadie en el planeta, Spock se encontró con un habitante, que le dijo: <i>"Usted puede deducir si soy veraz o mentiroso".</i><br />
¿A qué grupo pertenecía ese habitante?<br />
<br />
Poco después, Spock se encontró con otro habitante, que le dijo: <i>"Soy mentiroso"</i>.<br />
¿A qué grupo pertenecía ese habitante?<br />
<br />
Poco después, Spock se encontró con un tercer habitante, que le dijo: <i>"Soy mentiroso o paradójico"</i>.<br />
¿A qué grupo pertenecía ese habitante?Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-89386986191621949862019-10-08T17:42:00.000-03:002019-11-02T16:18:41.375-03:00Exposición de tesisDespués de varios años de abandono, retomo la escritura de El Topo Lógico. Una de las razones de este silencio, aunque tal vez no la única, fue el largo tiempo que decidí dedicarle a un trabajo de investigación sobre filosofía de la matemática. Trabajo que llegó a un punto culminante el pasado 28 de junio, cuando defendí mi tesis ante un jurado de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires.<br />
<br />
El viernes 20 de septiembre expuse un resumen de esa tesis en el IES N° 1 "Alicia Moreau de Justo". Gracias a la amabilidad de la profesora Leila Tajani, puedo compartir aquí un video (en tres partes) de esa exposición.<br />
<br />
(Desde <a href="https://drive.google.com/open?id=1q-JpSiSiTfhKWylcIgxIvHcE72L6ldki">este enlace</a> la tesis en sí.)<br />
<br />
<i>Parte 1:</i><br />
<div class="separator" style="clear: both; text-align: center;">
<iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/X5mi6F4eaUc/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/X5mi6F4eaUc?feature=player_embedded" width="320"></iframe></div>
<br />
<br />
<i>Parte 2:</i><br />
<div class="separator" style="clear: both; text-align: center;">
<iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/60Af-Y0e7_g/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/60Af-Y0e7_g?feature=player_embedded" width="320"></iframe></div>
<br />
<br />
<i>Parte 3:</i><br />
<div class="separator" style="clear: both; text-align: center;">
<iframe allowfullscreen="" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/xKD150TYJ7g/0.jpg" frameborder="0" height="266" src="https://www.youtube.com/embed/xKD150TYJ7g?feature=player_embedded" width="320"></iframe></div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-16020321813752239792018-04-28T18:04:00.003-03:002018-04-28T18:04:56.361-03:00Cómo ganar un millón de dólares...<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiOhtomM1Aj_oRSJeI_siwL6zgGimWyVWKlgr9yaUKQOpKXw1ZKE-naViLI0kiHwar19ZUMMwRUXNjsCcgeLC6clyJk_GcE_YbDuUQiy2aSXN3puC7vJ0rLzRy13IeEvBG06Gt9Fg/s1600/tapa+por+Diana.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="802" data-original-width="678" height="640" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiOhtomM1Aj_oRSJeI_siwL6zgGimWyVWKlgr9yaUKQOpKXw1ZKE-naViLI0kiHwar19ZUMMwRUXNjsCcgeLC6clyJk_GcE_YbDuUQiy2aSXN3puC7vJ0rLzRy13IeEvBG06Gt9Fg/s640/tapa+por+Diana.png" width="539" /></a></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.comtag:blogger.com,1999:blog-17368877.post-66805259975870861202016-02-15T09:34:00.000-03:002016-02-15T09:34:13.436-03:00¿Coincidencia?Comparen los lectores el texto en este enlace: <a href="http://www.mat.ucm.es/catedramdeguzman/old/01historias/apolonio/apolonio.htm">Apolonio, de Miguel de Guzmán</a>...<br />
<br />
... con este otro: <a href="http://www.mat.uson.mx/depto/publicaciones/apuntes/pdf/1-1-3-apolonio.pdf">Apolonio, unos años más tarde</a>.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjkqZVmvj0-_1qUfYkVd1wKXxoWDUawci6Ita8oSfJqsnEEvmVM6IMhuM5U7YoEuu5G61klmRnaxwm8qOjsFpVt8edhCwceS_yu9JdoqjfFq53nq5KMcfpx7yXPsrvO4ttTVkonpw/s1600/apolonio+1.PNG" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" height="160" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjkqZVmvj0-_1qUfYkVd1wKXxoWDUawci6Ita8oSfJqsnEEvmVM6IMhuM5U7YoEuu5G61klmRnaxwm8qOjsFpVt8edhCwceS_yu9JdoqjfFq53nq5KMcfpx7yXPsrvO4ttTVkonpw/s400/apolonio+1.PNG" width="400" /></a></div>
<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjQCbNWLYyieFkLi5Bh644nPAf0RfGKcEkrhIDvGQeYMFYfV5SrdWIS9skdx0IH76d4VfLkcz-tAWxkfD6Ho25F5GSRzigLmR03PizdKor1uv1z7tzXG-KyA1csOKH0yTrte2rJgg/s1600/apolonio+2.PNG" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="211" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjQCbNWLYyieFkLi5Bh644nPAf0RfGKcEkrhIDvGQeYMFYfV5SrdWIS9skdx0IH76d4VfLkcz-tAWxkfD6Ho25F5GSRzigLmR03PizdKor1uv1z7tzXG-KyA1csOKH0yTrte2rJgg/s400/apolonio+2.PNG" width="400" /></a></div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com2tag:blogger.com,1999:blog-17368877.post-57330333267249267862016-02-09T18:03:00.004-03:002016-02-15T09:11:07.821-03:00Todos los axiomasDespués de años de trabajo discontinuo, finalmente, esta misma tarde he terminado de escanear y subir al blog correspondiente todos los números publicados de la revista Axioma. Pueden descargarse desde <a href="http://revista-axioma.blogspot.com.ar/">este enlace</a>.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhDqLMLX9o-NZ1u1mzr7Ker1BlTH58bZdCN7SlfwCfGLZMd9Zx_iUii0jJ0Jzw5t39L0tbsb9_I5oUqeHGMM11TsIpyiBh8LbIj7ybwa9qfaTnRs7vIgO9Tq7g2uLklUnwVk4M0Xg/s1600/Tapa.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhDqLMLX9o-NZ1u1mzr7Ker1BlTH58bZdCN7SlfwCfGLZMd9Zx_iUii0jJ0Jzw5t39L0tbsb9_I5oUqeHGMM11TsIpyiBh8LbIj7ybwa9qfaTnRs7vIgO9Tq7g2uLklUnwVk4M0Xg/s320/Tapa.jpg" width="227" /></a></div>
<br />Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com1tag:blogger.com,1999:blog-17368877.post-85189877529543579222016-02-08T17:50:00.000-03:002016-02-08T19:07:07.958-03:00Cómo visualizar la Hipótesis del Continuo<b>Una visualización de la Hipótesis del Continuo</b><br />
<div>
(Basado fuertemente en una idea del filósofo Chris Freiling)</div>
<div>
<br /></div>
<div>
Tomemos un cuadrado... que en realidad puede ser cualquiera, pero, para facilitar la explicación, supondremos que es el cuadrado cuyos vértices son los puntos (0,0), (0,1), (1,0) y (1,1). A su vez, sobre cada punto (<i>t</i>, 0),con <i>t</i> entre 0 y 1, dibujaremos un segmento vertical de longitud 1, y en cada uno de esos segmentos pintaremos algunos puntos.<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgdIRZfqSZdBT4WeCzjo6JMPVQawZijfg8ydympfT5IB1iaSKHxmpOH9SLswSxt8izywl6e9yUzLl7qXEd76THtrIL102zWir46gP4H0FYm1ESYtxH3MrMez7vxvl_ciUrybKyNxQ/s1600/cuadrado.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="316" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgdIRZfqSZdBT4WeCzjo6JMPVQawZijfg8ydympfT5IB1iaSKHxmpOH9SLswSxt8izywl6e9yUzLl7qXEd76THtrIL102zWir46gP4H0FYm1ESYtxH3MrMez7vxvl_ciUrybKyNxQ/s320/cuadrado.png" width="320" /></a></div>
Aunque en el segmento que se muestra en el dibujo sólo hay "pintada" una cantidad finita de puntos, supondremos que, en realidad, en cada segmento vertical hemos pintado una cantidad <i>numerable</i> de puntos. Tenemos, entonces, el siguiente teorema:<br />
<br />
La Hipótesis del Continuo es falsa si y sólo si, no importa cómo se decida pintar los puntos, siempre existirán números <i>x</i> e <i>y </i>(ambos entre 0 y 1) tales que los puntos (<i>x,y</i>) y (<i>y,x</i>) quedan sin pintar. En otras palabras, la Hipótesis del Continuo es equivalente a que existe una manera de pintar los puntos para la cual en toda pareja (<i>x,y</i>) y (<i>y,x</i>), al menos uno de ambos puntos queda pintado.<br />
<br />
Vamos a demostrar este teorema.<br />
<br />
Supongamos primero que la Hipótesis del Continuo es verdadera. Es posible, entonces, definir en el intervalo [0,1] un buen orden equivalente a $\Omega $ (para más detalles, véase "El Omegón y todo eso,.." en este mismo blog). Pintamos entonces todos los puntos (<i>x,y</i>) tales que <i>y </i>es menor o igual que <i>x</i> según el buen orden antes indicado. Por lo tanto, sobre cada <i>x </i>ha quedado pintada una cantidad numerable de puntos, y siempre sucede que, de (<i>x,y</i>) o (<i>y,x</i>), al menos uno de los dos queda pintado. <br />
<div>
</div>
<br />
Recíprocamente, supongamos que la Hipótesis del Continuo sea falsa; y que los puntos han sido pintados de alguna manera. Como la Hipótesis del Continuo es falsa, podemos definir en [0,1] un buen orden equivalente a un ordinal <i>mayor</i> que $\Omega $.<br />
<br />
Pensemos ahora en todos los puntos (<i>x,y</i>) pintados para los cuales <i>x </i>es, según el buen orden mencionado, menor que $\Omega $. Como las segundas coordenadas de estos puntos forman un conjunto de cardinal $\aleph _1$ entonces existe un $y_0$ que no pertenece a él (porque estamos suponiendo que [0,1] tiene cardinal mayor que $\aleph _1$). Es decir, para todo $x < \Omega $, $(x,y_0)$ no está pintado.<br />
<br />
Pero el conjunto de todos los $x < \Omega $ tiene cardinal $\aleph _1$ y los puntos pintados sobre $y_0$ forman un conjunto numerable. Luego, existe un $x_0 < \Omega $ tal que $(y_0,x_0)$ no está pintado. Pero, por lo dicho más arriba, $(x_0,y_0)$ tampoco está pintado. Esto finaliza la demostración del teorema.</div>
Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0tag:blogger.com,1999:blog-17368877.post-13204562890881519702015-04-14T19:56:00.002-03:002015-04-27T11:16:10.399-03:00Los axiomas de Peano: compilación y, por ahora, final.<div class="separator" style="clear: both; text-align: center;">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_YmAcyzEa1VvC3ysyb1QtYH1gYbNJ3JMXLMmb96RUsVZgoVEgT8jD7p70aZkGotScU0JyIorMyQjb30pkVZonGBvH0Zg4OFNxYdI8Hs7iIzUQLXW1AWGqvcziHH7jlkxZwbPcOw/s1600/dados.jpg" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_YmAcyzEa1VvC3ysyb1QtYH1gYbNJ3JMXLMmb96RUsVZgoVEgT8jD7p70aZkGotScU0JyIorMyQjb30pkVZonGBvH0Zg4OFNxYdI8Hs7iIzUQLXW1AWGqvcziHH7jlkxZwbPcOw/s1600/dados.jpg" /></a></div>
En esta entrada recopilo todo lo que he venido escribiendo en estos últimos meses sobre los <a href="http://eltopologico.blogspot.com.ar/search/label/Axiomas%20de%20Peano">axiomas de Peano</a>, a la vez que agrego varios resultados más.<br />
<b><br /></b>
<b>Los axiomas de Peano</b><br />
Estos axiomas se refieren a ciertos objetos a los que llamaremos <i>números naturales</i> y tienen como elementos primitivos al número 0, que es un número natural, a la función sucesor, que indicamos con la letra S, y a las operaciones de suma y producto. Los axiomas son:<br />
<br />
<b>Axioma 0:</b> El sucesor de un número natural es siempre un número natural, la suma y el producto de dos números naturales es siempre un número natural.<br />
<b>Axioma 1:</b> Para todo <i>n</i>, $S(n)\neq 0$.<br />
<b>Axioma 2:</b> Si S(<i>n</i>) = S(<i>m</i>) entonces <i>n</i> = <i>m</i>.<br />
<b>Axioma 3:</b> <i>n</i> + 0 = <i>n</i>.<br />
<b>Axioma 4:</b> <i>n</i> + S(<i>m</i>) = S(<i>n</i> + <i>m</i>).<br />
<b>Axioma 5:</b> <i>n</i>.0 = 0.<br />
<b>Axioma 6:</b> <i>n</i>.S(<i>m</i>) = <i>n</i>.<i>m</i> + <i>n</i>.<br />
<b>Axioma 7 (Esquema de inducción):</b> Para cada fórmula P(<i>n</i>), si puede probarse que vale P(0) y también que vale "P(<i>n</i>) $\Rightarrow $ P(S(<i>n</i>))" entonces P(<i>n</i>) vale para todo <i>n</i>.<br />
<br />
<b>Teoremas:</b><br />
Estos son algunos teoremas que se deducen de los axiomas de Peano.<br />
<br />
<b>Teorema 1: </b>0 + <i>n</i> = <i>n</i>.<br />
<b>Demostración:</b> <br />
Aplicamos el esquema de inducción.<br />
Para <i>n</i> = 0 la afirmación vale por el axioma 3.<br />
Tenemos que probar que "0 + <i>n</i> = <i>n</i> $\Rightarrow $ 0 + S(<i>n</i>) = S(<i>n</i>)". Veamos que es así:<br />
Si 0 + <i>n</i> = <i>n</i> entonces 0 + S(<i>n</i>) = S(0 + <i>n</i>) = S(<i>n</i>).<br />
<br />
<b>Teorema 2: </b><i>n</i> + S(<i>m</i>) = <i>m</i> + S(<i>n</i>).<br />
<b>Demostración:</b><br />
Hacemos inducción en <i>m</i>.<br />
Para <i>m</i> = 0 la afirmación vale porque:<br />
<i>n</i> + S(0) = S(<i>n</i> + 0) = S(<i>n</i>) = 0 + S(<i>n</i>), esto último por el teorema 1.<br />
Veamos que <i>n</i> + S(<i>m</i>) = <i>m</i> + S(<i>n</i>) implica <i>n</i> + S(S(<i>m</i>)) = S(<i>m</i>) + S(<i>n</i>).<br />
S(<i>m</i>) + S(<i>n</i>) =<br />
= S(<i>m</i> + S(n)) (ax. 4)<br />
= S(<i>n</i> + S(<i>m</i>)) (hipótesis)<br />
= <i>n</i> + S(S(<i>m</i>)) (ax. 4).<br />
<br />
<b>Teorema 3:</b> <i>n</i> + <i>m</i> = <i>m</i> + <i>n</i><br />
(Es decir, la suma es conmutativa).<br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y hacemos inducción en <i>m</i>.<br />
Para <i>m</i> = 0 vale ya que <i>n</i> + 0 = <i>n</i> = 0 + <i>n</i>, por axioma 3 y teorema 1.<br />
Tenemos que probar que <i>n</i> + <i>m</i> = <i>m</i> + <i>n</i> implica <i>n</i> + S(<i>m</i>) = S(<i>m</i>) + <i>n</i>, veamos que es así:<br />
<i>n</i> + S(<i>m</i>) =<br />
= S(<i>n</i> + <i>m</i>) (ax. 4)<br />
= S(<i>m</i> + <i>n</i>) (hipótesis)<br />
= <i>m</i> + S(<i>n</i>) (ax. 4)<br />
= S(<i>m</i>) + <i>n</i> (teo. 2).<br />
<br />
<b>Teorema 4:</b> (<i>n</i> + <i>m</i>) + <i>k</i> = <i>n</i> + (<i>m</i> + <i>k</i>)<br />
(Es decir, la suma es asociativa).<br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y <i>m</i>, y hacemos inducción en <i>k</i>.<br />
Para <i>k</i> = 0 vale ya que:<br />
(<i>n</i> + <i>m</i>) + 0 = <i>n</i> + <i>m</i> = <i>n</i> + (<i>m</i> + 0).<br />
Tenemos que probar que (<i>n</i> + <i>m</i>) + <i>k</i> = <i>n</i> + (<i>m</i> + <i>k</i>) implica (<i>n</i> + <i>m</i>) + S(<i>k</i>) = <i>n</i> + (<i>m</i> + S(<i>k</i>)). Veamos que es así:<br />
(<i>n</i> + <i>m</i>) + S(<i>k</i>) =<br />
= S((<i>n</i> + <i>m</i>) + <i>k</i>) (ax. 4)<br />
= S(<i>n</i> + (<i>m</i> + <i>k</i>)) (hipótesis)<br />
= <i>n</i> + S(<i>m</i> + <i>k</i>) (ax. 4)<br />
= <i>n</i> + (<i>m</i> + S(<i>k</i>)) (ax. 4).<br />
<br />
<b>Teorema 5:</b> 0.<i>n</i> = 0<br />
(Recuérdese que el axioma 5 afirma que <i>n</i>.0 = 0).<br />
<b>Demostración:</b><br />
Hacemos inducción en <i>n</i>. Para <i>n</i> = 0 vale por el axioma 5. Tenemos que probar que 0.<i>n</i> = 0 implica 0.S(<i>n</i>) = 0. Veámoslo: 0.S(<i>n</i>) = 0.<i>n</i> + 0 = 0 + 0 = 0.<br />
<br />
<b>Teorema 6:</b> S(<i>n</i>).<i>m</i> = <i>n</i>.<i>m</i> + <i>m</i><br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y hacemos inducción en <i>m</i>. Para <i>m</i> = 0 vale porque: S(<i>n</i>).0 = 0 = 0 + 0 = <i>n</i>.0 + 0.<br />
Tenemos que probar que S(<i>n</i>).<i>m</i> = <i>n</i>.<i>m</i> + <i>m</i> implica S(<i>n</i>).S(<i>m</i>) = <i>n</i>.S(<i>m</i>) + S(<i>m</i>). Veámoslo:<br />
S(<i>n</i>).S(<i>m</i>) =<br />
= S(<i>n</i>).<i>m</i> + S(<i>n</i>) (por el ax. 6)<br />
= (<i>n</i>.<i>m</i> + <i>m</i>) + S(<i>n</i>) (hipótesis)<br />
= <i>n</i>.<i>m</i> + (<i>m</i> + S(<i>m</i>)) (teo. 4)<br />
= <i>n</i>.<i>m</i> + (S(<i>m</i>) + <i>n</i>) (teo. 2)<br />
= <i>n</i>.<i>m</i> + (<i>n</i> + S(<i>m</i>)) (teo. 3)<br />
= (<i>n</i>.<i>m</i> + <i>n</i>) + S(<i>m</i>) (teo. 4)<br />
= <i>n</i>.S(<i>m</i>) + S(<i>m</i>) (ax. 6)<br />
<br />
<b>Teorema 7:</b> <i>n</i>.<i>m</i> = <i>m</i>.<i>n</i> (el producto es conmutativo).<br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y hacemos inducción en <i>m</i>. Para <i>m</i> = 0 vale porque <i>n</i>.0 = 0 = 0.<i>n</i>.<br />
Tenemos que probar que <i>n</i>.<i>m</i> = <i>m</i>.<i>n</i> implica <i>n</i>.S(<i>m</i>) = S(<i>m</i>).<i>n</i>. Veámoslo:<br />
<i>n</i>.S(<i>m</i>) =<br />
= <i>n</i>.<i>m</i> + <i>n</i> (ax. 6)<br />
= <i>m</i>.<i>n</i> + <i>n</i> (hipótesis)<br />
= S(<i>m</i>).<i>n</i> (teo. 6).<br />
<br />
<b>Teorema 8:</b> <i>n</i>.(<i>m</i> + <i>k</i>) = <i>n</i>.<i>m</i> + <i>n</i>.<i>k</i>.<br />
(Es decir, vale la propiedad distributiva).<br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y <i>m</i>, y hacemos inducción en <i>k</i>. Para <i>k</i> = 0 vale por los axiomas 3 y 5.<br />
Tenemos que probar que <i>n</i>.(<i>m</i> + <i>k</i>) = <i>n</i>.<i>m</i> + <i>n</i>.<i>k</i> implica <i>n</i>.(<i>m</i> + S(<i>k</i>)) = <i>n</i>.<i>m</i> + <i>n</i>.S(<i>k</i>). Veámoslo:<br />
<i>n</i>.<i>m</i> + <i>n</i>.S(<i>k</i>) =<br />
= <i>n</i>.<i>m</i> + (<i>n</i>.<i>k</i> + <i>n</i>) (ax. 6)<br />
= (<i>n</i>.<i>m</i> + <i>n</i>.<i>k</i>) + <i>n</i> (teo. 4)<br />
= <i>n</i>.(<i>m</i> + <i>k</i>) + <i>n</i> (hipótesis)<br />
= <i>n</i>.S(<i>m</i> + <i>k</i>) (ax. 6)<br />
= <i>n</i>.(<i>m</i> + S(<i>k</i>)) (ax. 4)<br />
<br />
<b>Teorema 9:</b> (<i>n</i>.<i>m</i>).<i>k</i> = <i>n</i>.(<i>m</i>.<i>k</i>).<br />
(Es decir, el producto es asociativo).<br />
<b>Demostración:</b><br />
Fijamos <i>n</i> y <i>m</i>, y hacemos inducción en <i>k</i>. Para <i>k</i> = 0 vale por el axioma 5.<br />
Tenemos que probar que si (<i>n</i>.<i>m</i>).<i>k</i> = <i>n</i>.(<i>m</i>.<i>k</i>). entonces (<i>n</i>.<i>m</i>).S(<i>k</i>) = <i>n</i>.(<i>m</i>.S(<i>k</i>)).<br />
Veámoslo:<br />
(<i>n</i>.<i>m</i>).S(<i>k</i>) =<br />
= (<i>n</i>.<i>m</i>).<i>k</i> + <i>n</i>.<i>m</i> (ax.6)<br />
= <i>n</i>.(<i>m</i>.<i>k</i>) + <i>n</i>.<i>m</i> (hipótesis)<br />
= <i>n</i>.(<i>m</i>.<i>k</i> + <i>m</i>) (teo. 8)<br />
= <i>n</i>.(<i>m</i>.S(<i>k</i>)) (ax. 6).<br />
<br />
<div>
<b>Definición:</b> 1 = S(0).</div>
<div>
<br /></div>
<div>
<b>Teorema 10:</b> $1\neq 0$.<br />
(Es consecuencia inmediata del axioma 1.)</div>
<div>
<br /></div>
<div>
<b>Teorema 11:</b> <i>n</i> + 1 = S(<i>n</i>).</div>
<div>
<b>Demostración:</b></div>
<div>
<i>n</i> + 1 = </div>
<div>
<i>= n</i> + S(0) (definición)</div>
<div>
= S(<i>n </i>+ 0) (Ax. 4)</div>
<div>
= S(<i>n</i>) (Ax. 3)</div>
<div>
<br /></div>
<div>
<b>Teorema 12:</b> 1.<i>n</i> = <i>n.</i></div>
<div>
<b>Demostración:</b></div>
<div>
Por inducción. Para <i>n</i> = 0 vale por el axioma 5. </div>
<div>
Veamos que 1.<i>n</i> = <i>n</i> implica 1.S(<i>n</i>) = S(<i>n</i>).</div>
<div>
1.S(<i>n</i>) = </div>
<div>
= 1.<i>n</i> + 1 (Ax. 6)</div>
<div>
= <i>n</i> + 1 (por hipótesis)</div>
<div>
= S(<i>n</i>) (Teo. 11).<br />
<br />
<b>Definiciones:</b><br />
2 = S(1)<br />
3 = S(2)<br />
4 = S(3)<br />
5 = S(4)<br />
etc.</div>
<br />
Veamos ahora un nuevo teorema:<br />
<br />
<b>Teorema 13:</b> Si $n\neq 0$ entonces existe <i>m</i> tal que <i>S(m)</i> = <i>n</i>.<br />
<b>Demostración:</b><br />
El enunciado que queremos demostrar equivale a $\forall n (n=0 \vee \exists m(S(m)=n))$, y este último enunciado se prueba fácilmente por inducción. En efecto, para <i>n</i> = 0 vale, y supuesto que vale para <i>n</i> entonces es claro que también vale para <i>S</i>(<i>n</i>) ya que si <i>n</i> = S(<i>m</i>) entonces <i>S</i>(<i>n</i>) = <i>SS</i>(<i>m</i>).<br />
<br />
<b>Teorema 13 bis:</b> Si $n\neq 0$ entonces <i>n</i> se obtiene aplicando al 0 la función <i>S</i> sucesivamente una cantidad finita de veces.<br />
<b>Demostración:</b><br />
Por inducción. Para <i>n</i> = 0 vale (el antecedente de la implicación es falso). Supuesto que vale para <i>n</i> es inmediato que vale para <i>S</i>(<i>n</i>) ya que si <i>n</i> = <i>SS...S</i>(0) entonces <i>S</i>(<i>n</i>) = <i>SSS...S</i>(0) (una <i>S</i> más).<br />
<br />
<b>Teorema 13 ter:</b> Si una afirmación vale para 0, <i>S</i>(0), <i>SS</i>(0), <i>SSS</i>(0), <i>SSSS</i>(0),... entonces la afirmación vale para todo <i>n</i>.<br />
<b>Demostración:</b><br />
Sea <i>n</i> cualquiera, entonces, por el teorema anterior, o bien <i>n</i> = 0, o bien <i>n</i> = <i>SS...S</i>(0), en cualquiera de los dos casos, por hipótesis, la afirmación vale para <i>n</i>.<br />
<br />
¿Cree usted que las tres versiones del teorema 13 son válidos?<br />
<br />
Sucede que el enunciado y la demostración del primer teorema respetan las restricciones que impone la <a href="http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden">lógica de primer orden</a>, mientras que los otros dos no las respetan (se enmarcan en la <a href="http://es.wikipedia.org/wiki/L%C3%B3gica_de_segundo_orden">lógica de segundo orden</a>). ¿Es importante esta distinción? En parte sí, porque el teorema de Gödel sólo vale en teorías basadas en la lógica de primer orden. De hecho, si se acepta la validez del teorema "13 ter" entonces el teorema de Gödel pasa a ser directamente falso (o, si se quiere, es falso si se acepta en la matemática ese tipo de razonamiento). Por así decirlo, la validez del teorema de Gödel termina en la delgada línea que separa el teorema 13 del teorema 13 bis. Vuelvo a preguntar: ¿cree usted que los tres teoremas son válidos?<br />
<br />
Una primera conclusión es (o debería ser) que el teorema de Gödel involucra ciertas sutilezas que impiden que sea discutido a la ligera, y que refutan cualquier análisis que no tome en cuenta adecuadamente sus complejidades técnicas.<br />
<br />
Por otra pare, yo sí creo que los tres teoremas son válidos, por lo que esta situación me convence (al menos a mí) de que la lógica que usan naturalmente los matemáticos no es (a diferencia de los que los lógicos suelen sostener) la lógica de primer orden, sino la lógica de segundo orden. La "verdadera lógica", digo yo, es la de segundo orden, la otra es una lógica muy apta para ser estudiada, pero no es la que usamos realmente para razonar.<br />
<br />
¿Es falso entonces el teorema de Gödel? No, el teorema de Gódel sigue siendo válido en la teorías basadas en la lógica de primer orden, es decir, tiene una aplicación específica que, según yo lo veo, no alcanza a toda la matemática en su conjunto.<br />
<br />
<b>Teorema 14:</b> Si <i>n</i> + <i>m</i> = 0 entonces <i>n</i> = 0 y <i>m</i> = 0.<br />
<b>Demostración:</b><br />
Si $m\neq 0$ entonces, por el teorema 13, <i>m</i> = S<i>k </i>para algún <i>k</i>, luego <i>n</i> + S<i>k</i> = 0. Deducimos así, por el axioma 4, que S(<i>n</i> + <i>k</i>) = 0, pero esto es un absurdo porque contradice el axioma 1. Luego, debe ser <i>m</i> = 0; fácilmente, del axioma 3, se sigue que <i>n</i> = 0.<br />
<br />
<b>Teorema 15:</b> Si <i>n</i> + <i>m</i> = <i>n</i> + <i>k</i> entonces <i>m</i> = <i>k</i>.<br />
<b>Demostración:</b><br />
Lo hacemos por inducción en <i>n</i>. Para <i>n</i> = 0 es fácil ver que vale (por el axioma 3).<br />
Paso inductivo:<br />
Supongamos que S<i>n</i> + <i>m</i> = S<i>n</i> + <i>k</i>, entonces, por el axioma 3 y el teorema 3, tenemos que S(<i>n</i> + <i>m</i>) = S(<i>n</i> + <i>k</i>). Luego, por axioma 2, <i>n</i> + <i>m</i> = <i>n</i> + <i>k</i>, y por hipótesis inductiva <i>m</i> = <i>k</i>.<br />
<br />
<b>Otros teoremas que pueden probarse, las demostraciones que faltan se dejan como ejercicio para los lectores:</b><br />
<br />
<b>Teorema 16:</b> Si <i>n.m</i> = 0 entonces <i>n</i> = 0 o <i>m</i> = 0.<br />
<b>Demostración:</b><br />
La afirmación es equivalente a: Si <i>n.m</i> = 0 y $m\neq 0$ entonces <i>n</i> = 0. Probémoslo.<br />
Si $m\neq 0$ entonces, por el teorema 13, existe <i>k</i> tal que S(<i>k</i>) = <i>m</i>. Luego:<br />
0 = <i>n</i>.S(<i>k</i>) = <i>n</i>.<i>k</i> + <i>n</i> (por axioma 6).<br />
Entonces <i>n</i>.<i>k</i> + <i>n</i> = 0 y, por el teorema 14, deducimos que <i>n</i> = 0, como queríamos probar.<br />
<br />
<b>Comentario:</b> ¿No podríamos haber dicho que <i>n.m</i> = <i>n</i> + <i>n</i> + <i>n</i> + ... + <i>n</i> (<i>m</i> veces) para luego aplicar directamente el teorema 14? Una vez más, este razonamiento, perfectamente aceptable en la "matemática de todos los días", no lo es, en cambio, en el contexto de la lógica de primer orden (que es la que presupone el teorema de Gödel),<br />
<br />
<b>Teorema 17:</b> Si <i>n.m</i> = <i>n.k</i> y $n\neq 0$ entonces <i>m</i> = <i>k</i>.<br />
<b>Demostración:</b><br />
La afirmación a demostrar es:<br />
Para todo <i>m</i> vale: Para todo <i>n</i> y <i>k</i>, si <i>n.m</i> = <i>n.k</i> y $n\neq 0$ entonces <i>m</i> = <i>k</i>.<br />
Probémosla por inducción en <i>m</i>.<br />
Para <i>m</i> = 0, hay que probar que si <i>n.0</i> = <i>n.k</i> y $n\neq 0$ entonce <i>k</i> = 0; esto se deduce del teorema anterior.<br />
Supuesto que vale para <i>m</i> vamos a probarlo para <i>S(m)</i>. Tenemos entonces que <i>n.S(m)</i> = <i>n.k</i>.<br />
Comencemos observando que $k\neq 0$, en efecto, si <i>k</i> = 0 entonces <i>n.S(m)</i> = 0, de donde se deduce que <i>n</i> = 0 o <i>S(m)</i> = 0, lo cual es absurdo. Por lo tanto, existe <i>r</i> tal que <i>S(r)</i> = <i>k</i>, y entonces:<br />
<i>n.S(m)</i> = <i>n.k</i><br />
<i>n.S(m)</i> = <i>n.S(r)</i><br />
<i>n.m</i> + <i>n</i> = <i>n.r</i> + <i>n</i> <br />
<i>n.m</i> = <i>n.r</i> (Teo. 15)<br />
<i>m</i> = <i>r</i> (Hipótesis inductiva)<br />
<i>S(m)</i> = <i>S(r)</i><br />
<i>S(m)</i> = <i>k</i>, que es lo que queríamos probar.<br />
<br />
<b>Teorema 18:</b> Si <i>n</i> + <i>m</i> = 1 y $n\neq 0$ entonces <i>m</i> = 0.<br />
(De este teorema se deduce inmediatamente que si la suma de dos números naturales es 1 entonces uno de de ellos es 0 y el otro es 1.)<br />
<b>Demostración:</b><br />
Supongamos, por el absurdo, que $m\neq 0$, entonces existe <i>k</i> tal que <i>S(k)</i> = <i>m</i>. En consecuencia:<br />
<i>n</i> + <i>m</i> = 1<br />
<i>n</i> + <i>S(k)</i> = 1<br />
<i>S</i>(<i>n</i> + <i>k</i>) = 1<br />
<i>S(n</i> + <i>k)</i> = <i>S</i>(0)<br />
<i>n</i> + <i>k</i> = 0<br />
Entonces, por el teorema 14, <i>n</i> = 0, lo que contradice la hipótesis.<br />
<br />
<b>Teorema 19:</b> Si <i>n</i>.<i>m</i> = 1 entonces <i>n</i> = <i>m</i> = 1.<br />
<br />
<b>Teorema 20:</b> 1 + 1 = 2.<br />
<b>Demostración:</b><br />
1 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2.<br />
<br />
<b>Teorema 21:</b> $1\neq 2$.<br />
<b>Demostración:</b><br />
Si 2 = 1 entonces S(S(0)) = S(0), luego (por el axioma 2), S(0) = 0, lo que contradice el axioma 1. <br />
<br />
<b>Teorema 22:</b> No existe <i>n</i> tal que 2.<i>n</i> = 1.<br />
<b>Demostración:</b><br />
Supongamos que sí. Luego:<br />
2.<i>n</i> = 1<br />
(1 + 1).<i>n</i> = 1 (teo. 20)<br />
<i>n</i> + <i>n</i> = 1 (teo. 8 y 12)<br />
Por el teorema 18, se sigue que <i>n</i> = 0 o <i>n</i> = 1,<br />
Si <i>n</i> = 0, llegamos a que 0 = 1, lo que contradice el teorema 10.<br />
Si <i>n</i> = 1, llegamos a que 2 = 1, lo que contradice el teorema 21.<br />
Deducimos así que <i>n</i> no existe.<br />
<br />
<b>Teorema 23:</b> Si <i>n</i> + <i>m</i> = 2 y $n\neq 0$ y $m\neq 0$ entonces <i>n</i> = <i>m</i> = 1.<br />
<br />
<b>Teorema 24:</b> 2 es primo, es decir, si <i>n</i>.<i>m</i> = 2 y $m\neq 1$ entonces <i>m</i> = 2.<br />
<br />
<b>Teorema 25:</b> $4\neq 2$.<br />
<br />
<b>(*) Teorema 26:</b> <i>n</i> = <i>SS....S</i>(0), donde la <i>S</i> se repite <i>n</i> veces.<br />
<br />
Como en el caso del teorema 13, bordeamos aquí las ideas del teorema de Gödel. El teorema 26 ni siquiera puede enunciarse en la lógica de primer orden de los axiomas de Peano, por lo que "escapa" a los métodos de demostración que supone el teorema de Gödel. De hecho, si intentan demostrarlo, verán que se debe hacer inducción, no sólo en <i>n</i> en tanto "número natural", sino también en <i>n</i> en tanto "cantidad de veces que aparece la letra S". ¿Pero acaso no son la misma cosa? ¿Los números naturales no son cantidades? En el contexto de los axiomas de Peano la respuesta es no, "número" no es "cantidad", sino que "número" es "símbolo que cumple los axiomas". Es por eso que, a mi modesto entender, como dije más arriba, la lógica de primer orden (tan defendida por los lógicos matemáticos) es insuficiente para abarcar la riqueza del razonamiento matemático.<br />
<br />
Es también interesante notar que en la lógica de primer orden sí puede demostrarse que<br />
1 = <i>S</i>(0)<br />
2 = <i>SS</i>(0)<br />
3 = <i>SSS</i>(0)<br />
etc.<br />
<br />
Es decir, puede probarse <i>cada instancia</i> del teorema 26, pero no el teorema en toda su generalidad.<br />
<br />
<b>Teorema 27:</b> 3 es primo.<br />
<br />
<b>Teorema 28:</b> 2.2 = 4 (luego, 4 no es primo).<br />
Demostración:<br />
2.2 = 2.S(1) = 2.1 + 2 = 2 + 2.<br />
2 + 2 = 2 + S(1) = S(2 + 1) = S(S(2)) = S(3) = 4.<br />
<br />
<b>Teorema 29:</b> Si $n\neq m$ entonces existe <i>k</i> tal que <i>n</i> + <i>k</i> = <i>m</i> o <i>m</i> + <i>k</i> = <i>n</i>.<br />
<br />
<b>Definición:</b> $n\leq m$ si y sólo si existe <i>k </i>tal que <i>n</i> + <i>k</i> = <i>m</i>.<br />
<i>n</i> < <i>m</i> si y sólo si $n\leq m$ y $n\neq m$.<br />
<br />
<b>Teorema 30:</b> Para todo <i>n</i> y <i>m</i> vale que $n\leq m$ o $m\leq n$.<br />
<br />
<b>Teorema 31:</b> Si $n\leq m$ y $m\leq n$ entonces <i>n</i> = <i>m</i>.<br />
<br />
<b>Teorema 32:</b> Si $n\leq m$ entonces $Sn\leq Sm$.<br />
<div>
<br /></div>
<b>Teorema 33:</b> Si $n\leq m$ y $m\leq k$ entonces $n\leq k$.<br />
<br />
<b>Teorema 34:</b> Para todo <i>n</i>, $0\leq n$.<br />
<br />
<b>Teorema 35:</b> Para todo <i>n</i>, no existe <i>k</i> tal que <i>n</i> < <i>k</i> < S<i>n</i>.<br />
<div>
<br /></div>
<b>Teorema 36:</b> Si <i>n </i>< <i>m </i>entonces $Sn\leq m$.<br />
<br />
<b>Teorema 37:</b> Si $n\leq m$ entonces para todo <i>k</i>, $n + k\leq m + k$.<br />
<br />
<b>Teorema 38:</b> Si $n\leq m$ entonces para todo <i>k</i>, $nk\leq mk$.<br />
<br />
<b>Fin (por ahora).</b>Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com2tag:blogger.com,1999:blog-17368877.post-40763318306516330122015-04-12T14:12:00.001-03:002015-04-14T19:57:53.935-03:00Adenda a "¿La mente humana?"<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhoFd6LUfO9Iaw3dEP3k4Qq1PSL6rH_pYiWCp98WIVFSxv4mQOpjvS7cEe2lY4tt_zgFHoEJG1MmdtzVo1euTNHIUa2rng3eXIPfFg2sgqJnPn9haIgKQcLrDbtTpd_NLEOBgP-Lw/s1600/G%C3%B6del+y+Turing.JPG" imageanchor="1" style="clear: right; float: right; margin-bottom: 1em; margin-left: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhoFd6LUfO9Iaw3dEP3k4Qq1PSL6rH_pYiWCp98WIVFSxv4mQOpjvS7cEe2lY4tt_zgFHoEJG1MmdtzVo1euTNHIUa2rng3eXIPfFg2sgqJnPn9haIgKQcLrDbtTpd_NLEOBgP-Lw/s1600/G%C3%B6del+y+Turing.JPG" /></a></div>
Con respecto a la entrada <i><a href="http://eltopologico.blogspot.com.ar/2015/04/la-mente-humana.html">¿La mente humana?</a></i>, hace unos días recibí un mensaje privado de Hernán Echegoyemberry en el que, y se lo agradezco, me menciona que había allí un error de tipeo que cambiaba completamente el sentido de una frase; error que, merced a esa observación, ya fue corregido.<br />
<br />
La frase en cuestión dice: "el teorema de Gödel implica que hay problemas que no son resolubles algorítmicamente". Ahora bien, en referencia a ella, en su mensaje privado Hernán agrega: <i>eso aplica más para el teorema de Turing pero se entiende el punto</i>. Quiero aprovechar este comentario de Hernán para hacer un agregado a la entrada original, un agregado que en aquel momento preferí omitir para no desviarme del tema central.<br />
<br />
Es verdad que se le atribuye a Alan Turing (con justicia hay que decir) el descubrimiento de que existen problemas matemáticos que no son resolubles algorítmicamente; concretamente Turing probó que el <i><a href="http://es.wikipedia.org/wiki/Problema_de_la_parada">Halting Problem</a></i> es irresoluble. Pero no es menos cierto que la existencia de problemas matemáticos que no son resolubles algorítmicamente también se deduce (como dije en la entrada original) del teorema de incompletitud de Gödel. Veamos...<br />
<br />
El teorema de Gödel dice que no es posible dar un sistema de axiomas para la Aritmética que sea al mismo tiempo consistente, recursivo y completo. "Consistente" significa que no existe un enunciado P tal que tanto P como su negación sean demostrables. "Recursivo" significa que existe un algoritmo que reconoce si un enunciado es, o no, un axioma. "Completo" es que para todo enunciado P, o bien él, o bien su negación, es demostrable.<br />
<br />
Supongamos ahora que propongo como sistema de axiomas a <i>todos</i> los enunciados aritméticos verdaderos. No es difícil probar que este sistema es consistente y completo (ambas características se deducen del hecho de que todos los enunciados verdaderos, y sólo los verdaderos, resultan ser demostrables). Por el teorema de Gödel, entonces, el sistema no puede ser recursivo. En otras palabras, no existe un algoritmo que permita decidir si un enunciado es, o no, un axioma; es decir: no existe un algoritmo que permita decidir si un enunciado aritmético es, o no, verdadero. <b>El problema de determinar la verdad de un enunciado aritmético no es resoluble algorítmicamente.</b><br />
<br />
Ahora bien, si Gödel demostró su teorema en 1931 y el trabajo de Turing es de 1937 ¿por qué se le atribuye a Turing el descubrimiento? Porque en su artículo Gödel propone una definición posible de la idea de algoritmo "aritmético", pero reconoce que no está claro que su definición abarque todos los algoritmos posibles (de hecho, según se vio después, no los abarca). El gran mérito de Turing fue el haber dado una definición (una "modelización matemática", según la idea de la entrada anterior) de la idea de algoritmo lo suficientemente amplia como para abarcar (hasta donde se sabe) a todos los algoritmos posible. Es por eso que, recién después del trabajo de Turing pudo darse por demostrado la existencia de problemas no resolubles algorítmicamente; y fue asimismo después del trabajo de Turing (según Gödel reconoció en una posdata a su artículo) que pudo establecerse el alcance real del teorema de Gödel.<br />
<br />
Un último comentario: así como la definición que dio Gödel para la idea de algoritmo resultó ser insuficiente, en el sentido de que hay algoritmos que la definición de Gödel no abarca, del mismo modo nada asegura que no haya algoritmos que queden "fuera" de la definición de Turing, aunque hasta el día de hoy nadie ha sido capaz de dar ni siquiera la insinuación de un ejemplo concreto.Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.com0