| dbo:abstract
|
- El mètode de descens infinit és un argument matemàtic relacionat amb la demostració per inducció, i també amb la reducció a l'absurd. Utilitza el fet que una successió de nombres naturals estrictament decreixent és necessàriament finita. Aquest mètode descansa sobre un dels axiomes dels nombres naturals : tot conjunt no buit de nombres naturals té un element que és el més petit de tots.Per tant, per demostrar que els enters naturals no posseeixen una propietat n'hi ha prou en demostrar que si existís algun enter natural que la tingués llavors se'n podria trobar un altre estrictament més petit que també la tindria. (ca)
- في الرياضيات، البرهان بالنزول غير المنتهي (بالإنجليزية: Proof by infinite descent) هو نوع خاص من ، يعتمد على كون مجموعة الأعداد الطبيعية ، وأن هناك عددا منتهيا من الأعداد الطبيعية التي تكون أصغر من عدد معين ما. من التطبيقات التي تستعمل هذا النوع من البراهين، البرهان على أن معادلة ما، لا تقبل أي حلول. (ar)
- Das Prinzip des unendlichen Abstiegs ist ein spezielles mathematisches Beweisverfahren für die Frage der Lösung Diophantischer Gleichungen, das auf dem Prinzip des Widerspruchsbeweises basiert. Hierbei wird ausgenutzt, dass es in der Menge der natürlichen Zahlen keine unendliche Folge kleiner werdender Zahlen geben kann, was gleichbedeutend dazu ist, dass jede nichtleere Menge natürlicher Zahlen ein kleinstes Element besitzt. (de)
- En matemáticas y en teoría de la demostración, el descenso infinito es un método para demostrar una afirmación sobre números naturales, consistente en decir que ninguno de los números naturales de un cierto subconjunto satisface cierta propiedad. En términos formales el descenso infinito es un método de demostración para probar rigurosamente una proposición de la forma: Donde: es el cuantificador universal, léase "para todo". es un cierto subconjunto de los números naturales, que puede coincidir de hecho con el propio conjunto de los números naturales. es el conector negativo "no". es un predicado unario, que sirve para afirmar algo de un determinado número natural. (es)
- In mathematics, a proof by infinite descent, also known as Fermat's method of descent, is a particular kind of proof by contradiction used to show that a statement cannot possibly hold for any number, by showing that if the statement were to hold for a number, then the same would be true for a smaller number, leading to an infinite descent and ultimately a contradiction. It is a method which relies on the well-ordering principle, and is often used to show that a given equation, such as a Diophantine equation, has no solutions. Typically, one shows that if a solution to a problem existed, which in some sense was related to one or more natural numbers, it would necessarily imply that a second solution existed, which was related to one or more 'smaller' natural numbers. This in turn would imply a third solution related to smaller natural numbers, implying a fourth solution, therefore a fifth solution, and so on. However, there cannot be an infinity of ever-smaller natural numbers, and therefore by mathematical induction, the original premise—that any solution exists— is incorrect: its correctness produces a contradiction. An alternative way to express this is to assume one or more solutions or examples exists, from which a smallest solution or example—a minimal counterexample—can then be inferred. Once there, one would try to prove that if a smallest solution exists, then it must imply the existence of a smaller solution (in some sense), which again proves that the existence of any solution would lead to a contradiction. The earliest uses of the method of infinite descent appear in Euclid's Elements. A typical example is Proposition 31 of Book 7, in which Euclid proves that every composite integer is divided (in Euclid's terminology "measured") by some prime number. The method was much later developed by Fermat, who coined the term and often used it for Diophantine equations. Two typical examples are showing the non-solvability of the Diophantine equation r2 + s4 = t4 and proving Fermat's theorem on sums of two squares, which states that an odd prime p can be expressed as a sum of two squares when p ≡ 1 (mod 4) (see proof). In this way Fermat was able to show the non-existence of solutions in many cases of Diophantine equations of classical interest (for example, the problem of four perfect squares in arithmetic progression). In some cases, to the modern eye, his "method of infinite descent" is an exploitation of the inversion of the doubling function for rational points on an elliptic curve E. The context is of a hypothetical non-trivial rational point on E. Doubling a point on E roughly doubles the length of the numbers required to write it (as number of digits), so that a "halving" a point gives a rational with smaller terms. Since the terms are positive, they cannot decrease forever. (en)
- La méthode de descente infinie est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie. Cette méthode repose sur l'une des propriétés des entiers naturels : « tout ensemble non vide d'entiers naturels possède un plus petit élément. » (fr)
- 数学における無限降下法（むげんこうかほう、英: infinite descent, 仏: méthode de descente infinie、羅: la descente infinie）とは、自然数が整列集合であるという性質を利用した、証明の一手法である。背理法の一種であり、数学的帰納法の一型とも見なせる。17世紀の数学者ピエール・ド・フェルマーによって始められたとされ、彼はこの証明法を好んで用いた。最も古い使用例は『原論』にある。典型的な例は『原論』第7巻 命題31の証明で、ユークリッドは「すべての合成数は素数で割り切れる（『原論』の用語では「通約できる」）」ことを無限降下法で示した。 (ja)
- 무한강하법은 귀류법의 일종으로, 자연수의 정렬성, 즉 공집합이 아닌 모든 자연수의 부분집합에는 항상 최솟값이 존재한다는 성질을 이용한 증명이다. 이 방법은 만약에 어떤 명제를 참으로 만드는 값이 존재한다면, 그 명제를 참으로 만드는 더 작은 값이 존재한다는 것을 증명하는 방식으로 사용된다. 그러면 '명제를 참으로 만드는 자연수의 집합'은 자연수의 부분집합이면서 공집합이 아니므로 최솟값이 존재하여야 하는데, 증명에 따라 그 최솟값보다 작은 값이 집합 안에 존재하여야 하고 이에 따라 모순이 발생한다. 이 증명 방식을 다르게 서술하면, 특정 명제를 참으로 만드는 최소의 값이 존재한다면 그보다 더 작은 값이 존재한다는 것을 증명하여 모순을 보이고, 따라서 그러한 최소의 값은 존재하지 않는다는 것을 증명할 수 있다. (ko)
- Een bewijs door oneindige afdaling is een vorm van een wiskundig bewijs die bij verzamelingen kan worden toegepast die aftelbaar en welgeordend zijn, in het bijzonder bij de natuurlijke getallen. Het bewijs berust erop dat in zulke verzamelingen geen oneindige rij kleiner wordende elementen kan voorkomen. Daarmee wordt net zoals in een bewijs uit het ongerijmde een tegenspraak aangetoond. Men bewijst het niet bestaan van een element uit die verzameling met een bepaalde eigenschap, door aan te tonen dat als er zo'n element bestaat, er ook een kleiner element moet bestaan met die eigenschap. Zo ontstaat een oneindige keten van elementen kleiner dan het veronderstelde element, terwijl er maar eindig veel van dergelijke elementen zijn. (nl)
- La discesa infinita è un tipo di dimostrazione matematica per assurdo, usata soprattutto in teoria dei numeri, applicabile nel caso di teoremi validi solo per gli interi positivi. È una variante della dimostrazione per induzione. (it)
- Метод бесконечного спуска — метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Существенно развит Пьером Ферма. Часто используется для доказательства того, что у некоторого уравнения нет решений по следующей схеме: из предположения, что решение существует, доказывается существование другого решения, которое в некотором смысле меньше, тогда можно построить бесконечную цепочку решений, каждое из которых меньше предыдущего, это вызывает противоречие с тем, что в любом непустом подмножестве натуральных чисел есть минимальный элемент, значит предположение о существовании начального решения неверно. (ru)
- 无穷递降法，又名無窮遞減法（英語：Proof by infinite descent），是数学中证明方程无解的一种方法。 (zh)
|
| rdfs:comment
|
- El mètode de descens infinit és un argument matemàtic relacionat amb la demostració per inducció, i també amb la reducció a l'absurd. Utilitza el fet que una successió de nombres naturals estrictament decreixent és necessàriament finita. Aquest mètode descansa sobre un dels axiomes dels nombres naturals : tot conjunt no buit de nombres naturals té un element que és el més petit de tots.Per tant, per demostrar que els enters naturals no posseeixen una propietat n'hi ha prou en demostrar que si existís algun enter natural que la tingués llavors se'n podria trobar un altre estrictament més petit que també la tindria. (ca)
- في الرياضيات، البرهان بالنزول غير المنتهي (بالإنجليزية: Proof by infinite descent) هو نوع خاص من ، يعتمد على كون مجموعة الأعداد الطبيعية ، وأن هناك عددا منتهيا من الأعداد الطبيعية التي تكون أصغر من عدد معين ما. من التطبيقات التي تستعمل هذا النوع من البراهين، البرهان على أن معادلة ما، لا تقبل أي حلول. (ar)
- Das Prinzip des unendlichen Abstiegs ist ein spezielles mathematisches Beweisverfahren für die Frage der Lösung Diophantischer Gleichungen, das auf dem Prinzip des Widerspruchsbeweises basiert. Hierbei wird ausgenutzt, dass es in der Menge der natürlichen Zahlen keine unendliche Folge kleiner werdender Zahlen geben kann, was gleichbedeutend dazu ist, dass jede nichtleere Menge natürlicher Zahlen ein kleinstes Element besitzt. (de)
- La méthode de descente infinie est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie. Cette méthode repose sur l'une des propriétés des entiers naturels : « tout ensemble non vide d'entiers naturels possède un plus petit élément. » (fr)
- 数学における無限降下法（むげんこうかほう、英: infinite descent, 仏: méthode de descente infinie、羅: la descente infinie）とは、自然数が整列集合であるという性質を利用した、証明の一手法である。背理法の一種であり、数学的帰納法の一型とも見なせる。17世紀の数学者ピエール・ド・フェルマーによって始められたとされ、彼はこの証明法を好んで用いた。最も古い使用例は『原論』にある。典型的な例は『原論』第7巻 命題31の証明で、ユークリッドは「すべての合成数は素数で割り切れる（『原論』の用語では「通約できる」）」ことを無限降下法で示した。 (ja)
- 무한강하법은 귀류법의 일종으로, 자연수의 정렬성, 즉 공집합이 아닌 모든 자연수의 부분집합에는 항상 최솟값이 존재한다는 성질을 이용한 증명이다. 이 방법은 만약에 어떤 명제를 참으로 만드는 값이 존재한다면, 그 명제를 참으로 만드는 더 작은 값이 존재한다는 것을 증명하는 방식으로 사용된다. 그러면 '명제를 참으로 만드는 자연수의 집합'은 자연수의 부분집합이면서 공집합이 아니므로 최솟값이 존재하여야 하는데, 증명에 따라 그 최솟값보다 작은 값이 집합 안에 존재하여야 하고 이에 따라 모순이 발생한다. 이 증명 방식을 다르게 서술하면, 특정 명제를 참으로 만드는 최소의 값이 존재한다면 그보다 더 작은 값이 존재한다는 것을 증명하여 모순을 보이고, 따라서 그러한 최소의 값은 존재하지 않는다는 것을 증명할 수 있다. (ko)
- La discesa infinita è un tipo di dimostrazione matematica per assurdo, usata soprattutto in teoria dei numeri, applicabile nel caso di teoremi validi solo per gli interi positivi. È una variante della dimostrazione per induzione. (it)
- Метод бесконечного спуска — метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Существенно развит Пьером Ферма. Часто используется для доказательства того, что у некоторого уравнения нет решений по следующей схеме: из предположения, что решение существует, доказывается существование другого решения, которое в некотором смысле меньше, тогда можно построить бесконечную цепочку решений, каждое из которых меньше предыдущего, это вызывает противоречие с тем, что в любом непустом подмножестве натуральных чисел есть минимальный элемент, значит предположение о существовании начального решения неверно. (ru)
- 无穷递降法，又名無窮遞減法（英語：Proof by infinite descent），是数学中证明方程无解的一种方法。 (zh)
- En matemáticas y en teoría de la demostración, el descenso infinito es un método para demostrar una afirmación sobre números naturales, consistente en decir que ninguno de los números naturales de un cierto subconjunto satisface cierta propiedad. En términos formales el descenso infinito es un método de demostración para probar rigurosamente una proposición de la forma: Donde: (es)
- In mathematics, a proof by infinite descent, also known as Fermat's method of descent, is a particular kind of proof by contradiction used to show that a statement cannot possibly hold for any number, by showing that if the statement were to hold for a number, then the same would be true for a smaller number, leading to an infinite descent and ultimately a contradiction. It is a method which relies on the well-ordering principle, and is often used to show that a given equation, such as a Diophantine equation, has no solutions. (en)
- Een bewijs door oneindige afdaling is een vorm van een wiskundig bewijs die bij verzamelingen kan worden toegepast die aftelbaar en welgeordend zijn, in het bijzonder bij de natuurlijke getallen. Het bewijs berust erop dat in zulke verzamelingen geen oneindige rij kleiner wordende elementen kan voorkomen. Daarmee wordt net zoals in een bewijs uit het ongerijmde een tegenspraak aangetoond. (nl)
|
