Arquímedes demostró en su obra Sobre la medida del círculo la siguiente desigualdad relacionada con el número π:
Podéis comprobar con la calculadora que la desigualdad es totalmente cierta.
El genio griego utilizó para ello polígonos inscritos y circunscritos a una circunferencia.
El número 22/7 se tiene desde entonces como una gran aproximación del número π teniendo en cuenta lo simple que es la fracción y las pocas herramientas de las que se disponía en aquella época. En este post vamos a ver una demostración de que este cociente es mayor que π utilizando integrales:
22/7 > π
Para comenzar tomamos la siguiente función:
Esta función es no negativa en el intervalo [0,1]. Por tanto su integral en ese intervalo es positiva. Partimos de este dato:
Desarrollamos el numerador y simplificamos. Nos queda lo siguiente:
Ahora calculamos las sencilla integrales que nos han quedado y evaluamos (recordemos los valores de arctan(1) y arctan(0)):
Tomando el principio y el final del desarrollo anterior obtenemos lo buscado:
Interesante manera de demostrar este hecho. ¿No os parece?. A ver quién es capaz de encontrar otra forma curiosa de comprobarlo.
Fuente: Proof that 22 over 7 exceeds π en la Wikipedia (inglés)
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Dos cosas; ¿de donde sacas la funcion inicial? y segundo, no te lo vas a creer pero no entiendo como has siplificado el denominador en el segundo paso
1. Me imagino que por construcción, aunque eso no afecta la demostración pues parte de una función que podemos pribar es positiva por sus potencias pares en el numerador y su polinomio no factorizable en el denominador.
2. División Larga.
Muy curioso, sí, pero un poco complicado para algo tan sencillo…
Por reducción al absurdo:
Supongamos que 22/7 < PI, entonces:
1/7 + 21/7 = 1/7 + 3 < PI
despejando tenemos que:
1 < 7(PI – 3) = 7(PI) – 21 > 0
Como sabemos que PI > 3 + 1/14 = 3.14
Pero entonces tenemos que:
7(PI) – 21 > 7(3 + 1/14) – 21 = 7(3.14) – 21 =
= 22.02 – 21 = 1.02 > 1
En contradicción con 7(PI) – 21 < 1
Por tanto, queda demostrado que 22/7 > PI
🙂
israel la función inicial parece ser tomada a propósito. No sé decirte de dónde sale exactamente. La simplificación: para convencerte de que es correcta toma la parte ya simplificada y opérala. Verás como te queda la fracción anterior. mimetist: sí, cierto, es complicado para algo tan sencillo. Lo he puesto por lo curioso de la demostración. Por cierto, 1/14 no es igual a 0’14. Para 0’14 deberías poner 7/50. Y por otro lado, en tu demostración supones que Pi > 3’14. Si sabes eso no hace falta demostrar nada. En la demostración del post no se supone eso ya que… Lee más »
ups, ya sabía yo que iba a meter la pata, quería poner 14/100, pero con las prisas ya se sabe xD
Para obtener la aproximación de PI > 3.14, podemos calcular valores aproximados para la serie de Leibniz o para la serie del problema de Basel… tampoco sería necesario saberlo de antemano.
Es una demostración curiosa, pero poco transparente… vivienda digna ya!! xD
Sería interesante ver la demostración por el método de los polígonos de Arquímedes… Con un poco de ingenio y sólo con geometría elemental. 🙂
mimetist vale, me valen esas aproximaciones :P. Aunque podías haber enlazado nuestro artículo sobre problema de Basilea :D.
Sobre los polígonos de Arquímedes…echaré un ojo a las Obras Escogidas de Arquímedes que tengo (adquirido en la RSME) a ver qué puedo sacar.
Yo creo que vi un par de artículos relacionados en mis escarceos por la biblioteca de investigación de la facultad… Pero el método exacto no lo conozco… supongo que usaría una circunferencia ideal de radio 1, para intentar obtener el área del polígono inscrito. Como el radio es 1, el área sería A = PI, así que los polígonos inscritos van aproximando su área a PI. Calculando el área del triángulo formado entre un lado y el centro, y multiplicando dicha área por el número de lados… Además es fácil ver la relación entre el lado de un polígono y… Lee más »
Ups, perdón, he metido la pata saltándome un paso… no estoy muy fino con los comentarios hoy eh? xD Con el método que he descrito se calcularía la apotema del triángulo, que sería la altura de los triángulos. Con ella calcularíamos el área del triángulo. Para calcular la medida del lado del PoligonoDoble, usaríamos otra vez el teorema de pitágoras… (1-x)² + (LSIMIPLE/2)² = LDOBLE² (cada uno de los sumandos de la expresión anterior son los lados de la mitad del triángulo «pequeñito» que se forma entre el LADOSIMPLE y la circunferencia). Habría que recalcular la apotema (x) por dos… Lee más »
Dios… «y NOS ahorraríamos operaciones»
Examenes, saturacióonooon!!
Hola gente! les cuento, soy María de los Milagros, y soy de argentina… Estudio Prof. de Matemática en la Universidad Nacional del Litoral.
Me encanta esta página hay cosas muy interesantes y creativas que son aplicables a mis estudios …. Muchas gracias… y estemos en contacto… Saludos argentinos…..jaja!
Increible artículo, gracias!
Hoy es 22/7,¡día de la aproximación de pi!
[…] Llàstima que com que π és irracional i la fracció 22/7 és racional, no poden ser el mateix nombre. A més, es pot demostrar que 22/7>π. π = 3,141 592 653 589 793 238 462 643 383 279 502 884 197 169 399 375 105 821 974 644 592 307 816 406 286 208 998 628 034 825 342 117 067 9 22/7 = 3,142857 142857 142857 142857 1428571 […]
es una muy buena pagina
me ha servido demasiado para las practicas de profesor de algebra,geometria y trigonometria
Esa demostración no es válida para la época antigua, Arquímedes no lo demostró así. En nuestro contexto si podemos usar integrales. Feliz día de aproximación
Encontré otra forma curiosa de demostrarlo:
Saludos