Vés al contingut

La mesura del cercle

De la Viquipèdia, l'enciclopèdia lliure
Infotaula de llibreLa mesura del cercle
Tipusobra escrita Modifica el valor a Wikidata
Fitxa
AutorArquimedes Modifica el valor a Wikidata
Llenguagrec antic Modifica el valor a Wikidata
Dades i xifres
Gèneretractat Modifica el valor a Wikidata
Pàgina de l'obra escrita per Arquímedes.

La mesura del cercle és una obra matemàtica escrita per Arquimedes de Siracusa al voltant del segle III aC. Exposa dues propietats geomètriques del cercle i troba una aproximació prou bona sobre la relació que hi ha entre el perímetre i el diàmetre d'un cercle. Aquesta constant és coneguda avui dia com a pi.

Aquest llibre consta de tres proposicions: a la primera troba una relació d'àrees del cercle amb el triangle rectangle, a la segona troba la relació d'àrees entre el cercle i el quadrat i a la tercera, troba una relació entre el perímetre del cercle i el seu diàmetre.

Com que no es conserva la versió original escrita per Arquimedes i que només ens han arribat diverses traduccions, es creu que la segona proposició i la tercera van ser intercanviades, car la segona proposició es demostra amb el resultat de la tercera.

Proposició 1

[modifica]

Enunciat

[modifica]
"Tot cercle és igual a un triangle rectangle d'altura igual al radi i de base igual a la circumferència del cercle."

Demostració

[modifica]

Hem d'entendre que en aquesta proposició es parla d'àrees. Com en moltes demostracions, Arquimedes fa servir el mètode de reducció a l'absurd, i ho fa d'aquesta manera:

  • Suposem que l'àrea del cercle és major que l'àrea del triangle (). Veurem que això no es pot complir.
  • Suposem que l'àrea del cercle és menor que l'àrea del triangle (). Veurem que tampoc no es pot complir.
  • Com que l'àrea del cercle no pot ser ni major ni menor que l'àrea del triangle, per reducció a l'abusd, les àrees han de ser iguals ().

Com que a l'època d'Arquimedes el llenguatge algebraic actual no s'havia desenvolupat, la demostració es complica una mica:

Considerem les dues figures: un cercle amb perímetre , radi i àrea i un triangle rectangle amb base , altura i àrea .

\begin{figure}[h]

\centering

\includegraphics[scale=0.75]{./fotos/propI}

\caption{\small{\textit{Cercle de radi = $r$ i l'equivalent triangle rectangle}}}

\label{Fig:prop1}

\end{figure}

La proposició diu que i tal com ho va fer Arquimedes, hem de comprovar que no pot ser que i ; llavors, per reducció a l'absurd, tindrem que .

Suposem que

Arquimedes sabia que, a l'inscriure un polígon regular dins una circumferència i dividir en dues parts iguals els seus costats repetidament, es podia arribar a un polígon regular inscrit tal que la seva àrea fos tan pròxima a la de la circumferència com es volgués. Anomenarem a l'àrea del polígon inscrit. És a dir:

Podem pensar que és major que en algun cas, però com hem dit abans, podem augmentar el nombre de costats del polígon tant com vulguem fins que . Dit això, arreglem la desigualtat restant a les dues bandes i multiplicant-la per ; obtenim un primer resultat:

Per altra banda, podem calcular l'àrea del polígon inscrit i comparar-la amb la del triangle , sabent que i que , sent l'apotema dels triangles isòsceles que divideixen el polígon, la base d'aquests i el nombre de costats del polígon:

D'aquí deduïm que , cosa que contradiem el resultat anterior. Per tant, no pot ser cert que .

Suposem

Arquimedes sabia que, si circumscrivim un polígon a una circumferència i anem dividint els costats en dues parts iguals repetidament, es podia arribar a un polígon regular circumscrit tal que la seva àrea fos tan pròxima al cercle com es volgués. Anomenarem a l'àrea del polígon circumscrit. És a dir:

Igual que abans, podem pensar que és major que en algun cas, però podem dividir el polígon tants cops com ens faci falta perquè això no succeeixi. Així doncs, arreglem la desigualtat sumant a les dues bandes i resulta:

Per altra banda, compararem l'àrea del polígon circumscrit amb l'àrea del triangle , sabent que en aquest cas, i , sent l'apotema dels triangles que divideixen el polígon, la base dels mateixos i el nombre de costats del polígon:

D'aquí deduïm que , que contradiu el resultat anterior. Per tant, no pot ser cert que .

Conseqüentment, com que no és cert i tampoc, llavors .

Proposició III

[modifica]

Enunciat

[modifica]
El perímetre de tot cercle és igual al triple del diàmetre augmentat en un segment comprès entre  i  del diàmetre.

Demostració

[modifica]

El que ens diu aquesta proposició és que el perímetre de qualsevol circumferència està comprès entre i del diàmetre. Arquimedes i molts matemàtics abans que ell sabien que hi havia una relació entre el perímetre del cercle i el seu diàmetre. Aquesta relació en diem ara ; només li faltava calcular-la. Per fer-ho, va utilitzar el mètode exhaustiu de la següent manera:

Sabem que:

Per tant, si en comptes de fer servir el perímetre del cercle que desconeixem, fem servir els perímetres de polígons regulars inscrits i circumscrits al cercle, podrem trobar una aproximació per defecte (polígons inscrits) i accés (polígons circumscrits) de . Arquimedes va utilitzar l'hexàgon per començar fer aquestes aproximacions, perquè se sap (i es pot comprovar fàcilment) que el costat de l'hexàgon inscrit és el radi de la circumferència que el conté. Aplicant el que hem dit anteriorment,obtenim la primera aproximació de :

Ara cal repetir el procés però amb un polígon de 12 costats: un dodecàgon inscrit. Però no sabem la mida del costat. Per trobar-la, només cal aplicar el teorema de Pitàgores un parell de vegades: primer trobarem el costat $h$ del triangle verd i després trobarem el costat $t_1$ del triangle blau:

Arquimedes va haver de calcular el valor de $\sqrt{3}$. No sabem pas com ho va fer exactament, però s'especula que va utilitzar l'aproximació d'Heró i fer quatre passos d'interpolació, però no se sap del cert. En tot cas, aquesta n'és l'aproximació:

Després, va calcular el costat aplicant altre cop el teorema de Pitàgores:

I la segona aproximació de és:

Arquimedes va repetir aquest procés 3 vegades més per trobar el perímetre del polígon inscrit de 24, 48 i 96 costats i acotar inferiorment . L'esquema recursiu és:

Anomenarem a la mida del costat de l'últim polígon calculat, és a dir, si estem buscant el polígon de costats, llavors és la mida del costat del polígon de costats:

figura

Per altra banda, hem de calcular els perímetres dels polígons regulars circumscrits de 6, 12, 24, 48 i 96 costats, però això ja no és tant evident. Arquimedes va deduir unes fórmules per calcular el perímetre del polígon circumscrit a partir del polígon inscrit i circumscrit de la meitat de cares.

Anomenarem al polígon regular circumscrit de cares a una circumferència de radi i a l'inscrit de cares:

figura

Demostració

[modifica]

Considerem un hexàgon inscrit i un de circumscrit en una circumferència de radi tal com es veu en la figura. Tenim les següents relacions:

En el triangle , en ser la bisectriu de l'angle , llavors restulta que:

Com que els triangles i són semblants,

De la triple igultat anterior, resulta:

Sumem 1 a les dues bandes i operem:

Llavors, tenint en compte que

Per començar la sèrie, Arquimedes havia de trobar el costat de l'hexàgon circumscrit, Aplicarem el teorema de Tales de triangles semblants i el teorema de Pitàgones per trobar . Com que els triangles i són semblants:

Anomenarem al costat , al costat i al costat . Així doncs:

Proposició II

[modifica]

Enunciat

[modifica]
"L'àrea del cercle és al quadrat del seu diàmetre com 11 és a 14."

La segona i tercera proposició poden ser analitzades de diferents punts de vista. Es creu que va haver-hi una alteració en l'ordre i, que a causa d'això, la segona i tercera proposició van ser intercanviades. Aquesta proposició, per tant, pot ser entesa com un corol·lari de la tercera. O sigui, coneixent ja una aproximació de , Arquimedes va trobar que la relació del cercle al quadrat.

Demostració

[modifica]

Per a aquesta demostració se suposarà que és conegut i utilitzarem l'aproximació . Observem la següent figura:

figura

Es compleix que i que . Llavors es pot observar que el triangle i el triangle tenen una relació d'àrees que és

Com podem veure, tenen un costat comú i l'altre és cops més gran. Per altra banda, tenim que l'àrea del triangle és un quart del quadrat , és a dir:

ja que

i

També deduïm per la proposició I que l'àrea del triangle és la mateixa que l'àrea del cercle, ja que és igual al radi del cercle i és (recordem que utilitzem una aproximació de ). Podem unir aquestes dues relacions de la següent manera:

Hem aconseguit relacionar l'àrea del cercle amb l'àrea del quadrat i, amb l'aproximació de donada, resulta que el factor de relació és d'.