Método exhaustivo: Diferenzas entre revisións
Contido eliminado Contido engadido
m →Historia: ortografía |
m arranxos de formato |
||
Liña 1:
O '''método de exhaustivo
O método de exhaustión require unha forma de [[proba por contradición]], tamén coñecida como ''[[Reductio Anuncio absurdum|reductio ad absurdum]]''. Isto equivale a atopar a área dunha rexión comparándoa primeiro coa dunha segunda rexión (que "esgotará" a área a achar cando vaia aproximándose a ela arbitrariamente) . A proba implica supor que a área buscada é máis grande que a segunda área, daquela próbase que esta afirmación é falsa, e entón supoñendo que a área buscada é menor que a segunda área, volve a probarse que esta afirmación tamén é falsa.
== Historia ==
[[Ficheiro:Grégoire_de_Saint-Vincent_(1584-1667).jpg|dereita|miniatura|257x257px|Gregory de Sant Vincent.]]
A idea orixinal dátase a finais do V a.C. con [[Antifonte]], a pesar de non establecerse ben se a entendía ben.<ref>{{Cita web|url=http://www-history.mcs.st-andrews.ac.uk/Biographies/Antiphon.html}}</ref> A teoría estableceuse rigorosamente unhas cantas décadas máis tarde por [[Eudoxo de Cnido]], quen a empregou para calcular áreas e volumes. Máis tarde foi redescuberta en China por [[Li Hui|Liu Hui]] no III a.C., quen a usou para achar a área dun círculo. O primeiro uso do termo é do 1647 por Gregory de Sant Vincent na ''Opus geometricum quadraturae circuli et sectionum''.
Liña 13:
[[Euclides]] utilizou o método de exhaustión para probar as seguinte seis propositions no libro XII dos seus ''[[Elementos de Euclides|Elementos]]''.
=== Arquímedes ===
Liña 40:
* O método exhaustivo tamén permitiu a primeira aproximación dunha serie xeométrica infinita
==
{{Listaref}}▼
== Véxase tamén ==
=== Outroa artigos ===
* ''O Método de Arquímedes''
* ''A cuadratura da parabola''
* Regra do trapecio
* [[Teorema de Pitágoras]]
▲{{Listaref}}
[[Categoría:Historia das matemáticas]]
[[Categoría:Cálculo]]
|