Área de un círculo

Concepto en geometría

En geometría , el área encerrada por un círculo de radio r es π r ² . Aquí la letra griega π representa la relación constante entre la circunferencia de cualquier círculo y su diámetro , aproximadamente igual a 3,14159.

Un método para derivar esta fórmula, que se originó con Arquímedes , implica ver el círculo como el límite de una secuencia de polígonos regulares con un número creciente de lados. El área de un polígono regular es la mitad de su perímetro multiplicado por la distancia desde su centro a sus lados , y debido a que la secuencia tiende a un círculo, la fórmula correspondiente (que el área es la mitad de la circunferencia multiplicada por el radio) es decir, A =1/2× 2π r × r , válido para un círculo.

Terminología

Aunque a menudo se lo denomina área de un círculo en contextos informales, estrictamente hablando el término disco se refiere a la región interior del círculo, mientras que el círculo está reservado solo para el límite, que es una curva y no cubre ningún área en sí. Por lo tanto, el área de un disco es la frase más precisa para el área encerrada por un círculo.

Historia

Las matemáticas modernas pueden obtener el área utilizando los métodos del cálculo integral o su descendiente más sofisticado, el análisis real . Sin embargo, el área de un disco fue estudiada por los antiguos griegos . Eudoxo de Cnido en el siglo V a.C. había descubierto que el área de un disco es proporcional a su radio al cuadrado. ^[1] Arquímedes utilizó las herramientas de la geometría euclidiana para demostrar que el área dentro de un círculo es igual a la de un triángulo rectángulo cuya base tiene la longitud de la circunferencia del círculo y cuya altura es igual al radio del círculo en su libro Medición de un círculo . La circunferencia es 2 π r y el área de un triángulo es la mitad de la base multiplicada por la altura, lo que da el área π  r ² del disco. Antes de Arquímedes, Hipócrates de Quíos fue el primero en demostrar que el área de un disco es proporcional al cuadrado de su diámetro, como parte de su cuadratura de la luna de Hipócrates , ^[2] pero no identificó la constante de proporcionalidad .

Argumentos historicos

Históricamente se han presentado una variedad de argumentos para establecer la ecuación con distintos grados de rigor matemático. El más famoso de ellos es el método de agotamiento de Arquímedes , uno de los primeros usos del concepto matemático de límite , así como el origen del axioma de Arquímedes , que sigue siendo parte del tratamiento analítico estándar del sistema de números reales . La prueba original de Arquímedes no es rigurosa según los estándares modernos, porque supone que podemos comparar la longitud del arco de un círculo con la longitud de una recta secante y una tangente, y afirmaciones similares sobre el área, como es geométricamente evidente. ${\displaystyle A=\pi r^{2}}$

Usando polígonos

El área de un polígono regular es la mitad de su perímetro multiplicado por la apotema . A medida que aumenta el número de lados del polígono regular, el polígono tiende a un círculo y la apotema tiende al radio. Esto sugiere que el área de un disco es la mitad de la circunferencia de su círculo delimitador multiplicada por el radio. ^[3]

La prueba de Arquímedes

Siguiendo el argumento de Arquímedes en La medida de un círculo (c. 260 a. C.), compare el área encerrada por un círculo con un triángulo rectángulo cuya base tiene la longitud de la circunferencia del círculo y cuya altura es igual al radio del círculo. Si el área del círculo no es igual a la del triángulo, entonces debe ser mayor o menor. Eliminamos cada uno de ellos por contradicción, dejando la igualdad como única posibilidad. Usamos polígonos regulares de la misma manera.

no mayor

Círculo con un cuadrado y un octágono inscritos, que muestra el espacio entre áreas

Supongamos que el área C encerrada por el círculo es mayor que el área T  = ¹ ⁄ ₂ cr del triángulo. Sea E la cantidad excedente. Inscribe un cuadrado en el círculo, de modo que sus cuatro esquinas queden sobre el círculo. Entre el cuadrado y el círculo hay cuatro segmentos. Si el área total de esos espacios, G ₄ , es mayor que E , divida cada arco por la mitad. Esto convierte el cuadrado inscrito en un octágono inscrito y produce ocho segmentos con un espacio total más pequeño, G ₈ . Continúe dividiendo hasta que el área total del espacio, G _n , sea menor que E . Ahora el área del polígono inscrito, P _n  = C  −  G _n , debe ser mayor que la del triángulo.

${\displaystyle {\begin{aligned}E&{}=C-T\\&{}>G_{n}\\P_{n}&{}=C-G_{n}\\&{}>C-E\\P_{n}&{}>T\end{aligned}}}$

Pero esto fuerza una contradicción, como sigue. Dibuja una perpendicular desde el centro hasta el punto medio de un lado del polígono; su longitud, h , es menor que el radio del círculo. Además, deje que cada lado del polígono tenga una longitud s ; entonces la suma de los lados, ns , es menor que la circunferencia del círculo. El área del polígono consta de n triángulos iguales con altura h y base s , por lo que es igual a ¹ ⁄ ₂ nhs . Pero como h  <  r y ns  <  c , el área del polígono debe ser menor que el área del triángulo, ¹ ⁄ ₂ cr , una contradicción. Por lo tanto, nuestra suposición de que C podría ser mayor que T debe ser errónea.

No menos

Círculo con cuadrado y octágono circunscritos, que muestra el espacio entre áreas.

Supongamos que el área encerrada por el círculo es menor que el área T del triángulo. Sea D el monto del déficit. Circunscribe un cuadrado de modo que el punto medio de cada arista quede en el círculo. Si el área total del espacio entre el cuadrado y el círculo, G ₄ , es mayor que D , corte las esquinas con círculos tangentes para hacer un octágono circunscrito y continúe cortando hasta que el área del espacio sea menor que D . El área del polígono, P _n , debe ser menor que T .

${\displaystyle {\begin{aligned}D&{}=T-C\\&{}>G_{n}\\P_{n}&{}=C+G_{n}\\&{}<C+D\\P_{n}&{}<T\end{aligned}}}$

Esto también impone una contradicción. Porque, una perpendicular al punto medio de cada lado del polígono es un radio de longitud r . Y como la longitud total del lado es mayor que la circunferencia, el polígono consta de n triángulos idénticos con un área total mayor que T. Nuevamente tenemos una contradicción, por lo que nuestra suposición de que C podría ser menor que T también debe ser errónea.

Por lo tanto, debe darse el caso de que el área encerrada por el círculo sea exactamente la misma que el área del triángulo. Esto concluye la prueba.

Prueba de reordenamiento

Área del círculo por reordenamiento

Gráficas de lado ,  s ; apotema ,  a ; y área ,  A de polígonos regulares de n lados y circunradio 1, con base ,  b de un rectángulo de la misma área. La línea verde muestra el caso n = 6 .

Siguiendo a Satō Moshun (Smith & Mikami 1914, pp. 130-132), Nicolás de Cusa ^[4] y Leonardo da Vinci (Beckmann 1976, p. 19), podemos utilizar polígonos regulares inscritos de una manera diferente. Supongamos que inscribimos un hexágono . Corta el hexágono en seis triángulos dividiéndolo desde el centro. Dos triángulos opuestos tocan dos diámetros comunes; deslícelos a lo largo de uno para que los bordes radiales queden adyacentes. Ahora forman un paralelogramo , con los lados del hexágono formando dos aristas opuestas, una de las cuales es la base, s . Dos aristas radiales forman lados inclinados y la altura h es igual a su apotema (como en la prueba de Arquímedes). De hecho, también podemos ensamblar todos los triángulos en un gran paralelogramo colocando pares sucesivos uno al lado del otro. Lo mismo ocurre si lo aumentamos a ocho lados y así sucesivamente. Para un polígono con 2 n lados, el paralelogramo tendrá una base de longitud ns y una altura h . A medida que aumenta el número de lados, la longitud de la base del paralelogramo se acerca a la mitad de la circunferencia del círculo y su altura se acerca al radio del círculo. En el límite, el paralelogramo se convierte en un rectángulo de ancho π r y alto r .

Pruebas modernas

Existen varias definiciones equivalentes de la constante π. La definición convencional en geometría previa al cálculo es la relación entre la circunferencia de un círculo y su diámetro:

${\displaystyle \pi ={\frac {C}{D}}.}$

Sin embargo, debido a que la circunferencia de un círculo no es un concepto analítico primitivo, esta definición no es adecuada en los tratamientos rigurosos modernos. Una definición moderna estándar es que π es igual al doble de la raíz menos positiva de la función coseno o, de manera equivalente, el medio período de la función seno (o coseno). La función coseno se puede definir como una serie de potencias o como la solución de una determinada ecuación diferencial . Esto evita cualquier referencia a círculos en la definición de π , de modo que las afirmaciones sobre la relación de π con la circunferencia y el área de los círculos son en realidad teoremas, más que definiciones, que se derivan de las definiciones analíticas de conceptos como "área" y "circunferencia". ".

Las definiciones analíticas se consideran equivalentes, si se conviene en que la circunferencia del círculo se mide como una curva rectificable mediante la integral

${\displaystyle C=2\int _{-R}^{R}{\frac {R\,dx}{\sqrt {R^{2}-x^{2}}}}=2R\int _{-1}^{1}{\frac {dx}{\sqrt {1-x^{2}}}}.}$

La integral que aparece a la derecha es una integral abeliana cuyo valor es un semiperíodo de la función seno , igual a π . Por tanto, se considera cierto como teorema. ${\displaystyle C=2\pi R=\pi D}$

Varios de los argumentos que siguen utilizan sólo conceptos del cálculo elemental para reproducir la fórmula , pero en muchos casos, para considerarlos como pruebas reales, se basan implícitamente en el hecho de que se pueden desarrollar funciones trigonométricas y la constante fundamental π de una manera que sea totalmente independiente de su relación con la geometría. Hemos indicado, cuando corresponde, cómo cada una de estas demostraciones puede hacerse totalmente independiente de toda trigonometría, pero en algunos casos eso requiere ideas matemáticas más sofisticadas que las que ofrece el cálculo elemental. ${\displaystyle A=\pi r^{2}}$

prueba de cebolla

Área del disco mediante integración en anillo

Usando el cálculo, podemos sumar el área incrementalmente, dividiendo el disco en anillos concéntricos delgados como las capas de una cebolla . Este es el método de integración de shell en dos dimensiones. Para un anillo infinitamente delgado de la "cebolla" de radio t , el área acumulada es 2 π t dt , la longitud circunferencial del anillo multiplicada por su ancho infinitesimal (se puede aproximar este anillo por un rectángulo con ancho=2 π t y alto = dt ). Esto da una integral elemental para un disco de radio r .

${\displaystyle {\begin{aligned}\mathrm {Area} (r)&{}=\int _{0}^{r}2\pi t\,dt\\&{}=2\pi \left[{\frac {t^{2}}{2}}\right]_{0}^{r}\\&{}=\pi r^{2}.\end{aligned}}}$

Está rigurosamente justificado por la regla de sustitución multivariante en coordenadas polares. Es decir, el área viene dada por una integral doble de la función constante 1 sobre el propio disco. Si D denota el disco, entonces la integral doble se puede calcular en coordenadas polares de la siguiente manera:

${\displaystyle {\begin{aligned}\mathrm {Area} (r)&{}=\iint _{D}1\ d(x,y)\\&{}=\iint _{D}t\ dt\ d\theta \\&{}=\int _{0}^{r}\int _{0}^{2\pi }t\ d\theta \ dt\\&{}=\int _{0}^{r}\left[t\theta \right]_{0}^{2\pi }dt\\&{}=\int _{0}^{r}2\pi t\,dt\\\end{aligned}}}$

que es el mismo resultado obtenido anteriormente.

Una justificación rigurosa equivalente, sin depender de las coordenadas especiales de la trigonometría, utiliza la fórmula del coárea . Definir una función mediante . Tenga en cuenta que ρ es una función de Lipschitz cuyo gradiente es un vector unitario ( casi en todas partes ). Sea D el disco en . Demostraremos que , ¿dónde está la medida de Lebesgue bidimensional en ? Supondremos que la medida unidimensional de Hausdorff del círculo es , la circunferencia del círculo de radio r . (Esto puede tomarse como la definición de circunferencia). Luego, según la fórmula de coárea, ${\displaystyle \rho :\mathbb {R} ^{2}\to \mathbb {R} }$ ${\textstyle \rho (x,y)={\sqrt {x^{2}+y^{2}}}}$ ${\displaystyle |\nabla \rho |=1}$ ${\displaystyle \rho <1}$ ${\displaystyle \mathbb {R} ^{2}}$ ${\displaystyle {\mathcal {L}}^{2}(D)=\pi }$ ${\displaystyle {\mathcal {L}}^{2}}$ ${\displaystyle \mathbb {R} ^{2}}$ ${\displaystyle \rho =r}$ ${\displaystyle 2\pi r}$

${\displaystyle {\begin{aligned}{\mathcal {L}}^{2}(D)&=\iint _{D}|\nabla \rho |\,d{\mathcal {L}}^{2}\\&=\int _{\mathbb {R} }{\mathcal {H}}^{1}(\rho ^{-1}(r)\cap D)\,dr\\&=\int _{0}^{1}{\mathcal {H}}^{1}(\rho ^{-1}(r))\,dr\\&=\int _{0}^{1}2\pi r\,dr=\pi .\end{aligned}}}$

Prueba de triángulo

Círculo desenvuelto para formar un triángulo.

El círculo y el triángulo tienen igual área.

De manera similar a la prueba de la cebolla descrita anteriormente, podríamos aprovechar el cálculo de una manera diferente para llegar a la fórmula para el área de un disco. Considere la posibilidad de desenvolver los círculos concéntricos en tiras rectas. Esto formará un triángulo rectángulo con r como altura y 2 π r (siendo la rodaja exterior de cebolla) como base.

Encontrar el área de este triángulo dará el área del disco.

${\displaystyle {\begin{aligned}{\text{Area}}&{}={\frac {1}{2}}\cdot {\text{base}}\cdot {\text{height}}\\&{}={\frac {1}{2}}\cdot 2\pi r\cdot r\\&{}=\pi r^{2}\end{aligned}}}$

Los ángulos opuesto y adyacente de este triángulo están respectivamente en grados 9.0430611..., 80.956939... y en radianes 0.1578311... OEIS : A233527 , 1.4129651... OEIS : A233528 .

Explícitamente, imaginamos dividir un círculo en triángulos, cada uno con una altura igual al radio del círculo y una base infinitamente pequeña. El área de cada uno de estos triángulos es igual a . Sumando (integrando) todas las áreas de estos triángulos, llegamos a la fórmula para el área del círculo: ${\displaystyle 1/2\cdot r\cdot du}$

${\displaystyle {\begin{aligned}\mathrm {Area} (r)&{}=\int _{0}^{2\pi r}{\frac {1}{2}}r\,du\\&{}=\left[{\frac {1}{2}}ru\right]_{0}^{2\pi r}\\&{}=\pi r^{2}.\end{aligned}}}$

También puede justificarse mediante una integral doble de la función constante 1 sobre el disco invirtiendo el orden de integración y utilizando un cambio de variables en la integral iterada anterior:

${\displaystyle {\begin{aligned}\mathrm {Area} (r)&{}=\iint _{D}1\ d(x,y)\\&{}=\iint _{D}t\ dt\ d\theta \\&{}=\int _{0}^{2\pi }\int _{0}^{r}t\ dt\ d\theta \\&{}=\int _{0}^{2\pi }{\frac {1}{2}}r^{2}\ d\theta \\\end{aligned}}}$

Al realizar la sustitución se convierte la integral en ${\displaystyle u=r\theta ,\ du=r\ d\theta }$

${\displaystyle \int _{0}^{2\pi r}{\frac {1}{2}}{\frac {r^{2}}{r}}du=\int _{0}^{2\pi r}{\frac {1}{2}}r\ du}$

que es el mismo que el resultado anterior.

La prueba del triángulo se puede reformular como una aplicación del teorema de Green en forma de divergencia de flujo (es decir, una versión bidimensional del teorema de divergencia ), de una manera que evita toda mención de trigonometría y la constante π . Considere el campo vectorial en el plano. Entonces la divergencia de r es igual a dos y, por tanto, el área de un disco D es igual a ${\displaystyle \mathbf {r} =x\mathbf {i} +y\mathbf {j} }$

${\displaystyle A={\frac {1}{2}}\iint _{D}\operatorname {div} \mathbf {r} \,dA.}$

Según el teorema de Green, esto es lo mismo que el flujo de salida de r a través del círculo que limita con D :

${\displaystyle A={\frac {1}{2}}\oint _{\partial D}\mathbf {r} \cdot \mathbf {n} \,ds}$

donde n es la unidad normal y ds es la medida de la longitud del arco. Para un círculo de radio R centrado en el origen, tenemos y , por lo que la igualdad anterior es ${\displaystyle |\mathbf {r} |=R}$ ${\displaystyle \mathbf {n} =\mathbf {r} /R}$

${\displaystyle A={\frac {1}{2}}\oint _{\partial D}\mathbf {r} \cdot {\frac {\mathbf {r} }{R}}\,ds={\frac {R}{2}}\oint _{\partial D}\,ds.}$

La integral de ds sobre todo el círculo es solo la longitud del arco, que es su circunferencia, por lo que esto muestra que el área A encerrada por el círculo es igual a veces la circunferencia del círculo. ${\displaystyle \partial D}$ ${\displaystyle R/2}$

Otra prueba que utiliza triángulos considera que el área encerrada por un círculo está formada por un número infinito de triángulos (es decir, cada uno de los triángulos tiene un ángulo de d𝜃 en el centro del círculo), cada uno con un área de1/2· r ² · d𝜃 (derivado de la expresión para el área de un triángulo:1/2· a · b · sen 𝜃 =1/2· r · r · sen( d𝜃 ) =1/2· r ² · d𝜃 ). Tenga en cuenta que sen( d𝜃 ) ≈ d𝜃 debido a la aproximación de ángulos pequeños . Por lo tanto, sumando las áreas de los triángulos, se puede encontrar la expresión para el área del círculo:

$${\displaystyle {\begin{aligned}\mathrm {Area} &{}=\int _{0}^{2\pi }{\frac {1}{2}}r^{2}\,d\theta \\&{}=\left[{\frac {1}{2}}r^{2}\theta \right]_{0}^{2\pi }\\&{}=\pi r^{2}.\end{aligned}}}$$

Prueba de semicírculo

Tenga en cuenta que el área de un semicírculo de radio r se puede calcular mediante la integral . ${\textstyle \int _{-r}^{r}{\sqrt {r^{2}-x^{2}}}\,dx}$

Un semicírculo de radio r.

Por sustitución trigonométrica , sustituimos , por lo tanto ${\displaystyle x=r\sin \theta }$ ${\displaystyle dx=r\cos \theta \,d\theta .}$

$${\displaystyle {\begin{aligned}\int _{-r}^{r}{\sqrt {r^{2}-x^{2}}}\,dx&=\int _{-{\frac {\pi }{2}}}^{\frac {\pi }{2}}{\sqrt {r^{2}\left(1-\sin ^{2}\theta \right)}}\cdot r\cos \theta \,d\theta \\&=2r^{2}\int _{0}^{\frac {\pi }{2}}\cos ^{2}\theta \,d\theta \\&={\frac {\pi r^{2}}{2}}.\end{aligned}}}$$

El último paso sigue ya que la identidad trigonométrica implica que y tienen integrales iguales en el intervalo , usando integración por sustitución . Pero, por otro lado, dado que , la suma de las dos integrales es la longitud de ese intervalo, que es . En consecuencia, la integral de es igual a la mitad de la longitud de ese intervalo, que es . ${\displaystyle \cos(\theta )=\sin(\pi /2-\theta )}$ ${\displaystyle \cos ^{2}\theta }$ ${\displaystyle \sin ^{2}\theta }$ ${\displaystyle [0,\pi /2]}$ ${\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}$ ${\displaystyle \pi /2}$ ${\displaystyle \cos ^{2}\theta }$ ${\displaystyle \pi /4}$

Por lo tanto, el área de un círculo de radio r , que es el doble del área del semicírculo, es igual a . ${\displaystyle 2\cdot {\frac {\pi r^{2}}{2}}=\pi r^{2}}$

Esta prueba particular puede parecer una petición de principio, si se considera que las funciones seno y coseno involucradas en la sustitución trigonométrica están definidas en relación con círculos. Sin embargo, como se señaló anteriormente, es posible definir el seno, el coseno y π de una manera totalmente independiente de la trigonometría, en cuyo caso la prueba es válida mediante la fórmula del cambio de variables y el teorema de Fubini , asumiendo las propiedades básicas del seno. y coseno (que también se puede demostrar sin suponer nada sobre su relación con los círculos).

Desigualdad isoperimétrica

El círculo es la curva cerrada de menor perímetro que encierra el área máxima. Esto se conoce como desigualdad isoperimétrica , que establece que si una curva de Jordan rectificable en el plano euclidiano tiene perímetro C y encierra un área A (según el teorema de la curva de Jordan ), entonces

${\displaystyle 4\pi A\leq C^{2}.}$

Además, la igualdad se cumple en esta desigualdad si y sólo si la curva es un círculo, en cuyo caso y . ${\displaystyle A=\pi r^{2}}$ ${\displaystyle C=2\pi r}$

Aproximación rápida

Los cálculos que utilizó Arquímedes para aproximar numéricamente el área fueron laboriosos y se detuvo en un polígono de 96 lados. Un método más rápido utiliza ideas de Willebrord Snell ( Cyclometricus , 1621), desarrolladas por Christiaan Huygens ( De Circuli Magnitudine Inventa , 1654), descritas en Gerretsen & Verdenduin (1983, págs. 243-250).

El método de duplicación de Arquímedes

Dado un círculo, sea u _n el perímetro de un n- gon regular inscrito, y sea U _n el perímetro de un n- gon regular circunscrito. Entonces un _y Un son límites _inferior y superior para la circunferencia del círculo que se vuelven cada vez más nítidos a medida que _{n aumenta, y su promedio (un} + Un ) / 2 _es una aproximación especialmente buena a la circunferencia. Para calcular u _n y U _n para n grande , Arquímedes derivó las siguientes fórmulas de duplicación:

${\displaystyle u_{2n}={\sqrt {U_{2n}u_{n}}}}$   ( media geométrica ), y

${\displaystyle U_{2n}={\frac {2U_{n}u_{n}}{U_{n}+u_{n}}}}$    ( Significado armonico ).

Partiendo de un hexágono, Arquímedes duplicó n cuatro veces para obtener un góno de 96, lo que le dio una buena aproximación a la circunferencia del círculo.

En notación moderna, podemos reproducir su cálculo (e ir más allá) de la siguiente manera. Para un círculo unitario, un hexágono inscrito tiene u ₆  = 6, y un hexágono circunscrito tiene U ₆  = 4 √ 3 . Duplicar siete veces los rendimientos

(Aquíun _norte + un _norte/2se aproxima a la circunferencia del círculo unitario, que es 2 π , por lo queun _norte + un _norte/4se aproxima a π .)

La última entrada de la tabla tiene ³⁵⁵ ⁄ ₁₁₃ como una de sus mejores aproximaciones racionales ; es decir, no existe mejor aproximación entre los números racionales con denominador hasta 113. El número ³⁵⁵ ⁄ ₁₁₃ es también una excelente aproximación a π , atribuida al matemático chino Zu Chongzhi , quien lo llamó Milü . ^[5] Esta aproximación es mejor que cualquier otro número racional con denominador menor que 16,604. ^[6]

El refinamiento de Snell-Huygens

Snell propuso (y Huygens demostró) un límite más estricto que el de Arquímedes:

${\displaystyle n{\frac {3\sin {\frac {\pi }{n}}}{2+\cos {\frac {\pi }{n}}}}<\pi <n\left(2\sin {\frac {\pi }{3n}}+\tan {\frac {\pi }{3n}}\right).}$

Esto para n = 48 da una mejor aproximación (aproximadamente 3,14159292) que el método de Arquímedes para n = 768.

Derivación de las fórmulas de duplicación de Arquímedes.

Círculo con triángulos semejantes: lado circunscrito, lado inscrito y complemento, lado inscrito dividido y complemento

Sea un lado de un n- gon regular inscrito una longitud s _n y toque el círculo en los puntos A y B. Sea A′ el punto opuesto a A en el círculo, de modo que A′A es un diámetro y A′AB es un triángulo inscrito en un diámetro. Según el teorema de Tales , este es un triángulo rectángulo con ángulo recto en B. Sea la longitud de A′B c _n , que llamamos complemento de s _n ; por lo tanto c _norte ² + s _norte ²  = (2 r ) ² . Sea C el arco que va de A a B y sea C′ el punto opuesto a C en el círculo. Por lo tanto, la longitud de CA es s _{2 n} , la longitud de C′A es c _{2 n} y C′CA es en sí mismo un triángulo rectángulo de diámetro C′C. Debido a que C biseca el arco de A a B, C′C biseca perpendicularmente la cuerda de A a B, digamos en P. El triángulo C′AP es, por tanto, un triángulo rectángulo y es similar a C′CA ya que comparten el ángulo en C. '. Así, los tres lados correspondientes están en la misma proporción; en particular, tenemos C′A : C′C = C′P : C′A y AP : C′A = CA : C′C. El centro del círculo, O, biseca A′A, por lo que también tenemos un triángulo OAP similar a A′AB, con OP la mitad de la longitud de A′B. En términos de longitudes de los lados, esto nos da

${\displaystyle {\begin{aligned}c_{2n}^{2}&{}=\left(r+{\frac {1}{2}}c_{n}\right)2r\\c_{2n}&{}={\frac {s_{n}}{s_{2n}}}.\end{aligned}}}$

En la primera ecuación, C′P es C′O+OP, longitud r + ¹ ⁄ ₂ c _n y C′C es el diámetro, 2 r . Para un círculo unitario tenemos la famosa ecuación de duplicación de Ludolph van Ceulen ,

${\displaystyle c_{2n}={\sqrt {2+c_{n}}}.}$

Si ahora circunscribimos un n- gón regular, con lado A″B″ paralelo a AB, entonces OAB y OA″B″ son triángulos semejantes, con A″B″ : AB = OC : OP. Llame al lado circunscrito S _n ; entonces esto es S _n  :  s _n  = 1 :  ¹ ⁄ ₂ c _n . (Hemos usado nuevamente que OP tiene la mitad de la longitud de A′B.) Así obtenemos

${\displaystyle c_{n}=2{\frac {s_{n}}{S_{n}}}.}$

Llame al perímetro inscrito u _n  = ns _n y al perímetro circunscrito U _n  = nS _n . Luego combinando ecuaciones tenemos

${\displaystyle c_{2n}={\frac {s_{n}}{s_{2n}}}=2{\frac {s_{2n}}{S_{2n}}},}$

de modo que

${\displaystyle u_{2n}^{2}=u_{n}U_{2n}.}$

Esto da una ecuación media geométrica .

También podemos deducir

${\displaystyle 2{\frac {s_{2n}}{S_{2n}}}{\frac {s_{n}}{s_{2n}}}=2+2{\frac {s_{n}}{S_{n}}},}$

o

${\displaystyle {\frac {2}{U_{2n}}}={\frac {1}{u_{n}}}+{\frac {1}{U_{n}}}.}$

Esto da una ecuación media armónica .

Aproximación de dardo

Integración de Monte Carlo del área del círculo unitario. La estimación de estas 900 muestras es 4×709/900 = 3,15111...

Cuando no se dispone de métodos más eficaces para encontrar áreas, podemos recurrir a "lanzar dardos". Este método de Monte Carlo utiliza el hecho de que si se toman muestras aleatorias distribuidas uniformemente sobre la superficie de un cuadrado en el que reside un disco, la proporción de muestras que golpean el disco se aproxima a la relación entre el área del disco y el área del cuadrado. . Esto debe considerarse un método de último recurso para calcular el área de un disco (o cualquier forma), ya que requiere una enorme cantidad de muestras para obtener una precisión útil; una estimación buena para 10 ^{− n} requiere alrededor de 100 ⁿ muestras aleatorias (Thijssen 2006, p. 273).

Reordenamiento finito

Hemos visto que al dividir el disco en un número infinito de piezas podemos volver a ensamblarlas formando un rectángulo. Un hecho notable descubierto relativamente recientemente (Laczkovich 1990) es que podemos diseccionar el disco en un número grande pero finito de piezas y luego volver a ensamblar las piezas en un cuadrado de igual área. Esto se llama problema del círculo cuadrado de Tarski . La naturaleza de la prueba de Laczkovich es tal que prueba la existencia de tal partición (de hecho, de muchas de esas particiones) pero no muestra ninguna partición en particular.

Círculos no euclidianos

Los círculos se pueden definir en geometría no euclidiana , y en particular en los planos hiperbólico y elíptico .

Por ejemplo, la esfera unitaria es un modelo para el plano elíptico bidimensional. Lleva una métrica intrínseca que surge al medir la longitud geodésica . Los círculos geodésicos son los paralelos en un sistema de coordenadas geodésicas . ${\displaystyle S^{2}(1)}$

Más precisamente, fijar un punto que situemos en el cenit. Asociado a ese cenit hay un sistema de coordenadas polares geodésicas , ,, donde z es el punto . En estas coordenadas, la distancia geodésica desde z a cualquier otro punto que tenga coordenadas es el valor de en x . Un círculo esférico es el conjunto de puntos a una distancia geodésica R del punto cenital z . De manera equivalente, con una incrustación fija en , el círculo esférico de radio centrado en z es el conjunto de x en tal que . ${\displaystyle \mathbf {z} \in S^{2}(1)}$ ${\displaystyle (\phi ,\theta )}$ ${\displaystyle 0\leq \phi \leq \pi }$ ${\displaystyle 0\leq \theta <2\pi }$ ${\displaystyle \phi =0}$ ${\displaystyle \mathbf {x} \in S^{2}(1)}$ ${\displaystyle (\phi ,\theta )}$ ${\displaystyle \phi }$ ${\displaystyle \mathbb {R} ^{3}}$ ${\displaystyle R\leq \pi }$ ${\displaystyle S^{2}(1)}$ ${\displaystyle \mathbf {x} \cdot \mathbf {z} =\cos R}$

También podemos medir el área del disco esférico encerrado dentro de un círculo esférico, usando la medida del área de superficie intrínseca de la esfera. El área del disco de radio R viene dada por

${\displaystyle A=\int _{0}^{2\pi }\int _{0}^{R}\sin(\phi )d\phi \,d\theta =2\pi (1-\cos R).}$

De manera más general, si una esfera tiene un radio de curvatura , entonces el área del disco de radio R viene dada por ${\displaystyle S^{2}(\rho )}$ ${\displaystyle \rho }$

${\displaystyle A=2\pi \rho ^{2}(1-\cos(R/\rho )).}$

Obsérvese que, como aplicación de la regla de L'Hôpital , esta tiende al área euclidiana en el límite plano . ${\displaystyle \pi R^{2}}$ ${\displaystyle \rho \to \infty }$

El caso hiperbólico es similar, con el área de un disco de radio intrínseco R en el plano hiperbólico (curvatura constante ) dada por ${\displaystyle -1}$

${\displaystyle A=2\pi (1-\cosh R)}$

donde cosh es el coseno hiperbólico . De manera más general, para el plano hiperbólico de curvatura constante, la respuesta es ${\displaystyle -k}$

${\displaystyle A=2\pi k^{-2}(1-\cosh(kR)).}$

Estas identidades son importantes para comparar desigualdades en geometría. Por ejemplo, el área encerrada por un círculo de radio R en un espacio plano es siempre mayor que el área de un círculo esférico y menor que un círculo hiperbólico, siempre que los tres círculos tengan el mismo radio (intrínseco). Eso es,

${\displaystyle 2\pi (1-\cos R)<\pi R^{2}<2\pi (1-\cosh R)}$

para todos . Intuitivamente, esto se debe a que la esfera tiende a curvarse sobre sí misma, produciendo círculos de área más pequeña que los del plano, mientras que el plano hiperbólico, cuando se sumerge en el espacio, desarrolla franjas que producen un área adicional. En términos más generales, es cierto que el área del círculo de radio fijo R es una función estrictamente decreciente de la curvatura. ${\displaystyle R>0}$

En todos los casos, si la curvatura es (constante, positiva o negativa), entonces la desigualdad isoperimétrica para un dominio con área A y perímetro L es ${\displaystyle k}$

${\displaystyle L^{2}\geq 4\pi A-kA^{2}}$

donde la igualdad se logra precisamente para el círculo. ^[7]

Generalizaciones

Podemos estirar un disco para formar una elipse . Debido a que este tramo es una transformación lineal del plano, tiene un factor de distorsión que cambiará el área pero preservará las proporciones de áreas. Esta observación se puede utilizar para calcular el área de una elipse arbitraria a partir del área de un círculo unitario.

Considere el círculo unitario circunscrito por un cuadrado de lado 2. La transformación envía el círculo a una elipse estirando o reduciendo los diámetros horizontal y vertical a los ejes mayor y menor de la elipse. El cuadrado se envía a un rectángulo que circunscribe la elipse. La razón entre el área del círculo y el cuadrado es π /4, lo que significa que la razón entre la elipse y el rectángulo también es π /4. Supongamos que a y b son las longitudes de los ejes mayor y menor de la elipse. Como el área del rectángulo es ab , el área de la elipse es π ab /4.

También podemos considerar medidas análogas en dimensiones superiores. Por ejemplo, es posible que deseemos encontrar el volumen dentro de una esfera. Cuando tengamos una fórmula para el área de la superficie, podemos usar el mismo tipo de método de "cebolla" que usamos para el disco.

Ver también

• Área de un triángulo

Referencias

1. Stewart, James (2003). Cálculo de una sola variable trascendentales tempranos (5ª ed.). Toronto ON: Brook/Cole. págs.3. ISBN 0-534-39330-6. Sin embargo, mediante un razonamiento indirecto, Eudoxo (siglo V a. C.) utilizó el agotamiento para demostrar la conocida fórmula para el área de un disco: ${\displaystyle A=\pi r^{2}.}$
2. Heath, Thomas L. (2003), Manual de matemáticas griegas, Publicaciones Courier Dover, págs. 121-132, ISBN 0-486-43231-9.
3. Colina, George. Lecciones de geometría: para uso de principiantes , página 124 (1894).
4. Clegg, Brian (2012). Presentamos el Infinito . Libros de iconos. pag. 69.ISBN​ 978-1-84831-406-1.
5. Martzloff, Jean-Claude (2006). Una historia de las matemáticas chinas . Saltador. pag. 281.ISBN​ 9783540337829.
6. No todas las mejores aproximaciones racionales son convergentes de la fracción continua!
7. Isaac Chavel (2001), Desigualdades isoperimétricas , Cambridge University Press

Bibliografía

• Arquímedes (1897), "Medición de un círculo", en Heath, TL (ed.), The Works of Archimedes, Cambridge University Press
  (Publicado originalmente por Cambridge University Press , 1897, basado en la versión griega de JL Heiberg).
• Beckmann, Petr (1976), Una historia de Pi , Grifo de San Martín , ISBN 978-0-312-38185-1
• Gerretsen, J.; Verdenduin, P. (1983), "Capítulo 8: Polígonos y poliedros", en H. Behnke; F. Bachmann; K. Fladt; H. Kunle (eds.), Fundamentos de Matemáticas, Volumen II: Geometría , traducido por SH Gould, MIT Press , págs. 243–250, ISBN 978-0-262-52094-2
  (Originalmente Grundzüge der Mathematik , Vandenhoeck & Ruprecht, Göttingen, 1971.)
• Laczkovich, Miklós (1990), "Equidecomposabilidad y discrepancia: una solución al problema de la cuadratura del círculo de Tarski", Journal für die reine und angewandte Mathematik , 1990 (404): 77–117, doi :10.1515/crll.1990.404.77, MR  1037431 , S2CID  117762563
• Lang, Serge (1985), "La longitud del círculo", ¡Matemáticas! : Encuentros con estudiantes de secundaria , Springer-Verlag , ISBN 978-0-387-96129-3
• Smith, David Eugenio ; Mikami, Yoshio (1914), Una historia de las matemáticas japonesas, Chicago: Open Court Publishing , págs. 130-132, ISBN 978-0-87548-170-8
• Thijssen, JM (2006), Física Computacional , Cambridge University Press, pág. 273, ISBN 978-0-521-57588-1

enlaces externos

• Noticias científicas sobre el problema de Tarski Archivado el 13 de abril de 2008 en la Wayback Machine.