En este artículo os voy a mostrar otras dos falacias geométricas que no son fáciles de refutar (las tres anteriores las podéis ver en Falacias geométricas (I)).
¿Que
es cuánto?
El valor de , razón entre la longitud de una circunferencia y el diámetro de la misma, es bastante conocido por todo el mundo. Es un número irracional (podéis verlo aquí y aquí) cuyo valor redondeado a cinco decimales es
. Pues bien, vamos a demostrar el siguiente teorema:
Teorema:
El valor de es
.
Demostración:
Partimos de la conocido símbolo del yin-yang, como puede verse en la figura de la derecha. Supongamos que el diámetro es igual a
. Sabiendo que la longitud de una circunferencia de diámetro
es
tenemos que la longitud de la semicircunferencia que va de
a
es
.
Los dos semicírculos de tamaño inmediatamente inferior, los que forman la curva central del típico símbolo del yin-yang, tienen longitud (son semicircunferencias de una de diámetro
), por lo que la suma de sus longitudes vuelve a ser
. Si dibujamos otros dos semicírculos del mismo tipo dentro de cada uno de los dos semicírculos anteriores tenemos que cada uno de ellos tendrán longitud
. Como tendremos cuatro semicírculos así, la suma de sus longitudes vuelve a ser
.
Continuando con el proceso obtenemos siempre un conjunto de semicírculos, cada vez más pequeños, cuya suma de longitudes es . El límite de la curva formada por esos semicírculos es el diámetro
. Esto es, si realizamos esta construcción infinitas veces, tenemos que cuando el límite de los diámetros de las circunferencias sea
la curva formada por los semicírculos coincide con el diámetro
. Pero la curva mide
y
mide
. Por tanto
.
Que nooooo, que el quinto postulado no es independieeeeente
El quinto postulado de la geometría euclídea, el conocido postulado de las paralelas, afirma (utilizando una de sus versiones más sencillas) que a partir de una recta y un punto exterior a la misma sólo puede trazarse una única recta paralela a la dada que pase por dicho punto. Está demostrado que ese postulado es independiente de los otros cuatro y que tanto tomándolo como cierto como tomando cualquiera de los dos enunciados que obtendríamos negándolo obtenemos geometrías consistentes.
¿Seguro? Vamos a demostrar el siguiente teorema:
Teorema:
El postulado euclídeo de las paralelas puede ser demostrado a partir de los restantes axiomas de la geometría euclídea.
Demostración:
En la figura adjunta tenemos un gráfico de la demostración. La recta de la que partimos es la recta y el punto dado es
. Trazamos desde
una perpendicular a
(puede construirse sin utilizar el postulado de las paralelas que sólo puede construirse una perpendicular como ésta), obteniendo así el punto
. Por el punto
trazamos la recta
, perpendicular a
(también única, por lo dicho anteriormente).
El teorema que afirma que dos rectas perpendiculares a una dada son paralelas puede demostrarse sin necesidad de utilizar el postulado de las paralelas, por lo que las rectas y
son paralelas.
Queda demostrado entonces el postulado de las paralelas.
El reto
¿Podéis refutar estas dos demostraciones?
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: En este artículo os voy a mostrar otras dos falacias geométricas que no son fáciles de refutar (las tres anteriores las podéis ver en Falacias geométricas (I)). ¿Que es cuánto? El valor de , razón entre la longitud de u…
En el primer caso, pensando así muy rápidamente, ¿puede ser que no exista el paso al límite?
La sucesión de sucesivas curvas siempre da longitud
El diámetro siempre vale 2
No hay límite porque no hay una sucesión de valores convegente.
Saludos
Y el segundo demuestra que la recta EF es la única que se puede construir con ese proceso, pero no se ha demostrado lo fundamental, es decir: que la recta EF no se corta con la AB.
Sí. He visto (y me he rallado por) bastantes ejemplos como ése este año, sobre todo a la hora de fundamentar el cálculo infinitesimal y justificar principios como el de Cavalieri La falacia está en deducir del límite que las longitudes son las mismas. Un ejemplo más drámatico surge si consideramos Claramente , es decir, la gráfica de está sucesión de funciones tiene a una recta, la recta , sin embargo en cada intervalo que contenga al cero la longitud de la gráfica va a ser infinita. En general, cuando decimos que una curva tiende a otra queremos decir que… Lee más »
(por cierto, cuidado con «por lo que las rectas
y
paralelas.» creo que no es lo que quieres decir 😉 )
* Primero: si AB es 2… los diámetros pequeños son 2/N y las longitudes de semicircunferencias pequeñas son pi/N El límite de N* pi/N es pi. (que es el valor para cada N) El fallo es decir que «el límite de la curva es el diámetro AB» … Aunque, en el caso de los humanos, sí se cumple: pies igual a dos :-p (lo se, el chiste es malo pero tenía que decirlo) * Segundo: CD perpendicular a AB y EF perpendicular a CD NO IMPLICA que AB sea paralelo a EF. ejemplo: cuando AB y EF no están en… Lee más »
¿Cuántos meridianos tenemos que sean perpendiculares al ecuador y pasen por el polo norte?
[…] PI=2 (Falacias Geométricas II)gaussianos.com/falacias-geometricas-ii/ por eliatron hace pocos segundos […]
vengoroso,
OK, la geometría esférica (el ejemplo del globo terráqueo) no es válida porque por dos puntos (polo norte y polo sur) pasan infinitas rectas… es decir, no cumple el primer postulado de Euclides.
Y en el caso de la pregunta que me haces, por un punto C (el polo) exterior a una recta (Ecuador) no pasa una única perpendicular…
De todas formas, no se me ocurrió un ejemplo donde pueda verse fácilmente que no se cumpla el quinto postulado y sí los demás.
[…] 09/07/2009 de javcasta Via Gaussianos: […]
El segundo caso es más sencillo que todo eso, no hace falta irse por las ramas con geometrías no ecluideas.
La segunda demostración incurre en razonamiento circular justo al final, cuando concluye que las rectas son paralelas.
DC forma cuatro angulos rectos con AB y EF, pero para concluir que «por tanto AB y EF no se cortan (o son paralelas)», hay que usar precisamente el axioma que tratamos de demostrar. Es decir, falacia lógica como la copa de un pino.
@sive: Al contrario, es necesario irse a geometrías no euclídeas porque en geometría euclídea el quinto postulado es cierto. Cualquier «demostración» del quinto postulado lo estará empleando falazmente en alguna parte. Lo que hace euclídea a la geometría euclídea es la ausencia de curvatura.
@Alberto Cid: El plano hiperbólico es un ejemplo que satisface los 4 primeros postulados pero no el quinto. Ahí también se puede ver que la demostración falaz hace aguas: perpendicular a perpendicular no tiene por qué ser paralela.
Como veo que ya habéis refutado el segundo como yo pensaba hacerlo voy a dar otra forma de demostrar que 2: Cuando suponemos que cuando el límite de los diametros de las curvas es 0 entonces , porque la curva se cierra y se va pegando cada vez más al diametro. Pero entonces si aplicamos la fórmula que hemos usado anteriormente para encontrar la medida de la curva nos daría esto: , si , , entonces tendríamos que la curva mide y entonces tenemos que la suma de infinitas curvas que miden 0 es igual a 0 lo que quiere… Lee más »
que es falso es evidente (pues como tú bien dices la reducción al absurdo junto con la conclusión de que
nos dice que algo ha de estar mal). todo el punto es encontrar la falacia en el razonamiento que conduce al error.
Pues la falacia es afirmar que la longitud de la circunferia cuando el diámetro tiende a cero es algo, dado que están relacionadas. ¿No?
No. La longitud de cada cirumferencia de cada uno de los semicírculos tiene a cero, pero como el número de semicírculos también crece y tiende a infinito de manera adecuada, la suma de las longitudes de las semicircumferencias siempre es
. Hasta ahí bien. La falacia es deducir del hecho de que como la construcción tiende al segmento
, también debe tender la longitud de cada conjunto de semicirumferencias a la longitud del segmento
. Esto no es cierto, como expliqué arriba 🙂
He leído tú deducción pero creo que te equivocas, esa curva no está en R^2 como tu dices sino en R dado que no está cerrada y si se estirara de cada extremo acabaría dando una recta, una sola dimensión, como el diámetro.
¡Qué difícil es mantener por aquí una conversación! Actualiza de vez en cuando.
XD
Ghibertti: ¿?
¿Qué?
Quisiera dar una pequeña de vuelta de tuerca más a la primera cuestión: en la iteración del proceso hay circunferencias de radio . Para cada una de ellas la longitud será veces el radio: . Sumando las vemos que la suma da independientemente de . La falsedad proviene de usar indiscriminadamente la aproximación para suficientemente grande de la longitud de la semicircunferencia por el valor del diámetro. Si ponemos , grande, vemos que ahora la suma da 2. Precisamente el error que se comete al aproximar la longitud por el diámetro es , y si sumamos los errores da un… Lee más »
M, no entiendo tu argumento. ¿En qué momento se usa la aproximación de la que hablas?
Las curvas cerradas
¿Dirías que una curva abierta tiene alguna superficie?
Ghibertti, tranquilidad. Como dice Dani creo que ninguno de nosotros, ni siquiera yo, podemos estar pendientes del blog en todo momento. Te pediría, en la medida de lo posible, que si esto vuelve a ocurrir no escribas tantos comentarios como lo has hecho aquí. Si no te importa voy a borrar algunos de ellos.
Las interrogaciones las escribí porque no entendía este comentario tuyo. Sólo eso.
En la segunda demostración, como dicen más arriba, el problema está en que da por supuesto que nos encontramos en un plano. Por tanto, sólo se ha demostrado que el quinto axioma depende de los demás dentro de la geometría plana. En la primera demostración, el problema está en suponer que a medida que «avanzamos» vamos aproximando la longitud del conjunto de semicircunferencias a la longitud del diámetro principal. Desde mi punto de vista se me ocurren varias posibles refutaciones, para una de ellas sólo hay que ver que estamos tratando con un fractal y que por tanto, aunque nos… Lee más »
Corrección:
«Por tanto, aunque las longitudes tiendan a cero, sempre serán mayores que 2… AL SUMARLAS«
Ghibertti, olvida lo que dije sobre curvas cerradas, da igual, el punto importante es el que recalca mimetist, que es el hecho de que por «acercarnos» al diametro por las semicircumferencias se deben ir «acercando» las longitudes también. Esto es falso. El ejemplo de las gráficas de la sucesión de funciones (en un intervalo apropiado) es aun más claro. Cojamos el intervalo En cada oscilación, el seno va desde hasta , con lo cual la longitud de la gráfica en cada oscilación es mayor que , un número que decrece muy rápido pero es finito para cada n natural. Pero… Lee más »
( Y Ghibertti, una curva en el plano es, POR DEFINICIÓN -por lo menos en geometría diferencial- una aplicación
de un intervalo cerrado de la recta real
en el plano real. No quería decir nada más, ni sobre su topología ni sobre nada, era solo una manera de expresar rigurosamente lo que pensaba 🙂 )
Para el primero, como muchos ya dicen, la falacia está en dar por supuesto que como el límite (de los grafos) de la curva de semicircunferencias es (el grafo de) el diámetro, el límite de la longitud también será el diámetro. El problema es que el concepto de «longitud» no puede definirse para toda curva continua. La noción de longitud no depende sólo del grafo de una curva, sino de cómo esté parametrizada. Y las parametrizaciones de la curva de semicircunferencias no tienden a la parametrización del diámetro. En palabras técnicas, la curva límite no es rectificable, por lo que… Lee más »
que cosas! puedes poner algún ejemplo de una curva parametrizada de dos maneras distintas que tenga distintas longitudes con cada parametrización, o eso solo es cierto cuando consideras un «limite de parametrizaciones» y el «limite de longitudes» apropiado? (como haya un ejemplo para la primera flipo jajajaj!!!) ajajaj
ah! y me podríais decir si estáis de acuerdo con mi definición de «limite de una sucesión de curvas a otra curva»? es que me la inventé al intentar explicarme y no estoy seguro si está bien construida!
@mimetist: El quinto postulado es independiente de los demás en la geometría plana euclídea. La «demostración» presentada por ^DiAmOnD^ es también inválida en el plano. @vengoroso: Precisamente porque cualquier demostración del quinto postulado es inválida en la geometría euclídea, es por lo que no es necesario salirse de ella para refutar dicha demostración. Es cierto que salirse de la geometría euclídea fue el camino para demostrar que el axioma es independiente, pero el reto que plantea ^DiAmOnD^ no es tan ambicioso. @^DiAmOnD^: ¿Has cambiado un poco el enunciado al final o lo lei yo mal ayer? El error sigue estando… Lee más »
No es falso que sin el quinto postulado se pueda demostrar que dos rectas perpendiculares a otra recta dada son paralelas: Como se afirma en el enunciado, se puede demostrar sin el quinto postulado que dada una recta y un punto del plano, existe una única perpendicular a ella pasando por el punto. A partir de ahí, es fácil probar que dos rectas perpendiculares a otra recta dada son paralelas. Si no lo fueran, tendrían un punto en común, y desde ese punto, habría dos perpendiculares a la recta dada. Así, en la «demostración» del quinto postulado, está bien probado… Lee más »
Dani, la cuestion es lo que entendemos por curva. Intuitivamente identificamos «curva» con su grafo, pero para poder trabajar matematicamente (tomar limites y ese tipo de cosas) necesitamos una definicion mas adecuada. Una curva (plana, con extremos) es simplemente una funcion continua , tambien podemos definir curvas sin extremos usando el intervalo abierto en vez de cerrado. Las nociones de «limite» y demas se reducen entonces a limites de funciones. El grafo de la curva es simplemente la imagen ; cuando tenemos una propiedad de la curva que se reduce a una propiedad del grafo, entonces esa propiedad es «independiente… Lee más »
sive: de acuerdo, pero lo que no puedes hacer sin salirte de la geometria euclidea es dar un contraejemplo que invalide el punto conflictivo. Una cosa es decir «B no se deduce necesariamente de A» y otra «este es un ejemplo donde se tiene A pero no B».
Eso si vengoroso, para los contraejemplos las geometrías no euclídeas vienen de maravilla, incluso para detectar donde está el error, pero como ya sabemos que la demostración es falsa no creí que el camino de dar un contraejemplo fuera una forma válida de superar el reto planteado por ^DiAmOnD^.
Pero sí reconozco que a mí estos contraejemplos me han venido mu y bien para localizar rápidamente el error (si es que está donde yo creo que está).
¿Para cuando la cara del concurso? Son las 15:08 jaja
Sive, sí, cambié algo una frase ya que me di cuenta de que estaba mal escrita. Ya escribiré las soluciones un día de estos.
Sobre la foto de hoy perdón, ha sido error mío. Se publicará a las 15:30.
Yo cuando niño me vi confundido (y en una aplicación bien práctica) por una falacia geométrica muy similar:
http://hjg.com.ar/blog/2002_05_19_hjg_archive.html#001175
ups, perdón… ^_^ tienes toda la razón, sive, metí la pata hasta más allá del fondo al decir que en la plana sí depende.
Aunque supongo que el resto de la idea sí es correcta: la demostración funciona porque se trata de un caso concreto. 😀
[…] veis el problema de esta semana va muy en la línea de las Falacias geométricas (y II) que planteamos resolvimos hace un tiempo. A ver quién resuelve […]
como se puede hacer cinco circunferencias que pasen por los extremos de un segmento
Me pueden contestar rapido porfabor ??
GRACIAS
Aunque un poco tarde, creo que tengo otra demostración para refutar la primera falacia. El diámetro de cualquier semicircunferencia que obtengamos al subdividir será ( es el número de subdivisiones que hagamos). Por lo tanto, la longitud de esa semicircunferencia será , y su suma será la longitud de la semicircunferencia por el número de subdivisiones que tengamos: . Si simplificamos, nos queda que la suma es para cualquier número. Si ahora entramos en el caso particular en el que el radio sea 0: . Cuando sustituimos el valor de en la fórmula anterior () tenemos una indeterminación ( o… Lee más »
Aquí otra que creo es sencilla (y que por cierto me viene de un engaño que hizo alguien que tenía que construir un cable o algo así, pero no lo recuerdo). Aproximemos el semiperímetro por un triángulo isósceles al que le quitamos la base (de base 2 y altura 1) pudiendo afirmar trivialmente que el perímetro (del semicírculo) deberá ser mayor que el del triángulo (sin contar la base, obviamente), entonces, siguiendo el simil recursivo del yen&yan, un triángulo isósceles se divide en dos triángulos isósceles más pequeños uno mirando arriba y otro mirando abajo (sus respectivos de la división… Lee más »
alguien se dio cuenta que la longitud del circulo es 2*pi*radio?
en fin,un año tarde pero encantado de ver esto