Trugschluss (Mathematik)

In vielen Zweigen der Mathematik gibt es mathematische Trugschlüsse und Fehlschlüsse. Trug- und Fehlschlüsse werden in der Philosophie zusammen als Fallazien (englisch fallacy, lateinisch fallacia=Täuschung) bezeichnet^[1]. Scheinbeweise sind in der Mathematik Beweise, in denen Fallazien auftreten. Nicht wenige Fehlschlüsse haben in der Geschichte der Mathematik eine Rolle gespielt und waren Ausgangspunkte mathematischer Forschung. In der mathematischen Didaktik gehört das Aufdecken von Scheinbeweisen zu den Problemlöseaktivitäten^[2].

Bei Fehlschlüssen handelt derjenige, der sie begeht, in gutem Glauben während bei Trugschlüssen die Absicht zu Täuschen wesentlich ist. Diese Unterscheidung ist freilich nicht scharf. Trugschlüsse führen durch eine plausibel erscheinende List zu einem falschen Ergebnis^[3]. Die Kunst dabei ist, den Fehler so zu verdecken, dass er zunächst nicht auffällt, und erst beim absurden Resultat offenkundig wird. Insbesondere Laien und Anfängern ist mitunter nicht sofort ersichtlich, wo der Fehler steckt. Trugschlüsse können als mathematischer Witz vorgetragen werden, in denen typische mathematische Schlussweisen in einem absurden Kontext angewendet werden.

Oft wird in einem Trugschluss eine mathematische Regel missachtet, sodass ihre Bedeutung mit dem Trugschluss begründet werden kann. In der elementaren Algebra beinhalten typische Beispiele einen Schritt, bei dem die Division durch null auftritt oder unterschiedliche Werte einer mehrdeutigen Funktion gleichgesetzt werden. Bekannte Trugschlüsse sind auch in der Analysis und der euklidischen Geometrie bekannt. Ein berühmter Scheinbeweis basiert auf divergenten Reihen, aus denen fast jeder Unsinn abgeleitet werden kann.^[4]

Über die Geschichte der Fehl- und Trugschlüsse ist, von wenigen Ausnahmen abgesehen, wie die auf Fehlschlüssen basierenden Paradoxien des Zenon von Elea oder das Pferde-Paradox, sehr wenig bekannt. Vielfach werden mathematische Scherze von Mund zu Mund verbreitet und erst später (meist ohne Namensangabe) irgendwo herausgegeben, ohne dass bekannt ist, ob das nun auch wirklich die erste Veröffentlichung ist.^[5]

Im Folgenden sind

wie gezeigt in einem Kasten eingerahmt. Über den Hyperlink „Auflösung“ im Kasten kann man gegebenenfalls in den Abschnitt #Auflösungen springen, wo die List erläutert wird. Mit der Zurück-Schaltfläche des Webbrowsers gelangt man wieder an den Absprungort.

Arithmetik[Bearbeiten | Quelltext bearbeiten]

Richtiges Ergebnis trotz falscher Rechnung[Bearbeiten | Quelltext bearbeiten]

Eine eigene Klasse von Trugschlüssen (englisch howler ‚grober Schnitzer‘) entstehen durch eine korrekte Schlussfolgerung trotz fehlerhafter „Herleitung“. Manchmal gleichen sich zwei Fehler aus und erbringen das richtige Resultat. Solche fehlerhaften Argumente leiten nur in Spezialfällen zum richtigen Ergebnis, besitzen also keine Allgemeingültigkeit und sind mathematisch wertlos.

So kann jemand den Preis eines Einkaufs der in der Tabelle aufgeführten Waren

1. ↑ ^{a b} pf = Pfund, s = Schilling = 12 d (Denarii, Pfennige)

durch einfaches Zusammenzählen der Einzelpreise zum – trotzdem – richtigen Endpreis summieren:

Das „Kürzen“ von Ziffern und Zeichen in einem Bruch belässt den Quotient nur in Ausnahmefällen unverändert:^[3]

Das Herausziehen von Summanden aus einer Wurzel

ist normalerweise unzulässig, basiert hier aber auf der allgemeingültigen Regel

${\displaystyle {\sqrt {n+{\frac {n}{n^{2}-1}}}}=n{\sqrt {\frac {n}{n^{2}-1}}}}$

und der Kurzschreibweise von gemischten Brüchen.

Verknüpfung von Gleichem mit Gleichem[Bearbeiten | Quelltext bearbeiten]

Die menschliche Ausdrucksweise ist oft mehrdeutig und ungenau. Dies kann dazu missbraucht werden, nur scheinbar Gleiches zu einem Trugschluss zu verknüpfen.

Das Zusammenwerfen von Äpfeln und Birnen führt auch mathematisch zu falschen Schlüssen^[6]:

Algebra[Bearbeiten | Quelltext bearbeiten]

Division durch 0[Bearbeiten | Quelltext bearbeiten]

Aus der Identität 0 · a = 0 · b folgt nach Division durch den gemeinsamen Faktor 0 auf der rechten und linken Seite die Identität a = b, die nicht immer richtig sein muss, sodass damit Trugschlüsse konstruiert werden können.

In die Kategorie „mathematischer Witz“ gehört der Scheinbeweis^[7] von 1 + 1 = 2.

Die Gleichung 1 + 1 = 2 als Spezialfall der „allgemeingültigen“ Gleichung n + n = 2 darzustellen, ist freilich absurd. Hier wird die Neigung von Mathematikern veralbert, einen Satz, um seine Anwendbarkeit zu erweitern, möglichst allgemein zu formulieren und den Anlass der Untersuchung dann als Spezialfall einzuschließen.

Gleichsetzen mehrdeutiger Ausdrücke[Bearbeiten | Quelltext bearbeiten]

Eine Quadratzahl ungleich Null hat immer zwei verschiedene Wurzeln, eine positive und eine negative. Indem beide gleichgesetzt werden, können nach dem Schema ( -a )² = ( +a )² → -a = a erstaunliche Trugschlüsse „hergeleitet“ werden.

Im Reich der komplexen Zahlen hat jede Zahl zwei verschiedene Quadratwurzeln ( außer null ). Im Ausdruck i = √(-1) steht der Ausdruck auf der rechten Seite also für zwei Werte +i und -i während links eine feste komplexe Zahl steht^[8]. Das kann Anlass zu Trugschlüssen sein.

1. Ausgangspunkt	:  ${\displaystyle {\frac {-1}{1}}={\frac {1}{-1}}}$
2. Wurzelziehen	:  ${\displaystyle {\frac {\sqrt {-1}}{1}}={\frac {1}{\sqrt {-1}}}}$
3. Einsetzen von i	:  ${\displaystyle {\rm {i={\frac {1}{i}}}}}$
4. Mit i multiplizieren	:  ${\displaystyle {\rm {i^{2}=1}}}$
5. i² = -1 einsetzen	:  ${\displaystyle -1=1}$

Auflösung

Auch die folgende Gleichungskette nutzt diese Tatsache aus:^[8]

Nicht korrekter wird es, wenn i im Exponenten auftritt.

1. Eulersche Relation mit φ = 2π	:  ${\displaystyle e^{2\pi {\rm {i}}}=1}$
2. Zur i-ten Potenz erheben	:  ${\displaystyle \left(e^{2\pi {\rm {i}}}\right)^{\rm {i}}=1^{\rm {i}}}$
3. Vereinfachen	:  ${\displaystyle e^{-2\pi }=0{,}001867\ldots =1}$

Auflösung

Analysis[Bearbeiten | Quelltext bearbeiten]

Differentialrechnung[Bearbeiten | Quelltext bearbeiten]

In der Differentialrechnung werden Differentiale dx benutzt, die in bestimmten Fällen null sind, beispielsweise wenn x eine Konstante ist. Wie in der Algebra können daraus Trugschlüsse konstruiert werden.^[3]

Integralrechnung[Bearbeiten | Quelltext bearbeiten]

Die Integration einer Funktion mit der Substitutionsregel oder eines Produkts mit partieller Integration unterliegt strengen Regeln, die bei Missachtung leicht zu Trugschlüssen führen.

Siehe auch Partielle Integration#Kehrwertfunktion mit einem Beispiel, aus dem leicht ein weiterer Trugschluss aus der Integralrechnung gemacht werden kann.

Ableitungen aus divergenten Reihen[Bearbeiten | Quelltext bearbeiten]

Mit divergenten Reihen kann (fast) alles „bewiesen“ werden. Ein berühmter, darauf basierender Scheinbeweis ist der folgende^[6].

Mit der Reihe A kann auch der folgende Trugschluss konstruiert werden:

Logik[Bearbeiten | Quelltext bearbeiten]

Unzulässige Folgerungen[Bearbeiten | Quelltext bearbeiten]

Trugschlüsse im Bereich der Aussagenlogik können sich aus dem Unterschied zwischen Subjunktion „→“ und Bijunktion „↔“ ergeben: „Wenn a dann b“ bedeutet für zwei Aussagen a und b nicht immer auch „wenn b dann a“, wie das folgende Beispiel zeigt.

Vollständige Induktion[Bearbeiten | Quelltext bearbeiten]

Die Vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert, beispielsweise 1, sind. Am Induktionsanfang 1 trifft die Aussage oft offensichtlich zu. Dann wird im Induktionsschritt bewiesen, dass wenn die Aussage für n gilt (Induktionsvoraussetzung) sie auch für n + 1 gilt. Damit gilt sie dann für n = 1, daher auch für n = 2, daher auch für n = 3 usw. Bei inkorrekter Anwendung können Scheinbeweise wie der folgende auftreten.

Faule Definitionen[Bearbeiten | Quelltext bearbeiten]

Die Trugschlüsse im Bereich fauler Definitionen basieren auf dem logischen Konzept

Auf die Elemente der leeren Menge treffen alle Eigenschaften zu.

Das ist an sich eine vernünftige Vereinbarung, denn alle Mengen sind Erweiterungen der leeren Menge. Ein nicht-existentes Objekt kann aber für Trugschlüsse missbraucht werden, denn es hat dafür geeignete Eigenschaften.

Ein weiteres Beispiel zeigt, dass eine Erweiterung eines Zahlenbereichs mit Bedacht vorzunehmen ist.

Trugschlüsse in der Geometrie[Bearbeiten | Quelltext bearbeiten]

In der Geometrie können Trugschlüsse hinter ungenau gezeichneten Skizzen versteckt werden. Wird die Orientierung einer Strecke oder eines Winkels nicht berücksichtigt, führt das leicht zu Fehlschlüssen, wie die folgenden Beispiele zeigen.

Trugschluss von der Gleichschenkligkeit aller Dreiecke[Bearbeiten | Quelltext bearbeiten]

Satz: Alle Dreiecke sind gleichschenklig.

Beweis nach Konstruktion:

1. Gegeben sei ein beliebiges Dreieck ABC wie im Bild.
2. Sei m die Winkelhalbierende des Innenwinkels in A.
3. Die Mittelsenkrechte der Seite BC schneide diese im Punkt D und die Winkelhalbierende m im Punkt O.
4. Die Dreiecke BDO und COD sind nach dem zweiten Kongruenzsatz deckungsgleich, weil die Seitenlängen DO und BD bzw. CD gleich sind und die Innenwinkel in D übereinstimmen.
5. Deshalb gilt BO = CO.
6. Sei R der Fußpunkt des Lotes von O auf die Seite (AB) und Q der Fußpunkt des Lotes von O auf die Seite (AC).
7. Die Dreiecke ARO und AOQ sind nach dem SWW-Kongruenzsatz deckungsgleich, weil die Hypotenuse AO, ein anliegender Winkel in A und der gegenüberliegende Winkel in R bzw. Q als rechte Winkel übereinstimmen.
8. Deshalb ist AR = AQ und OR = OQ.
9. Die Dreiecke BOR und CQO sind nach dem vierten Kongruenzsatz deckungsgleich, weil sie nach 5.) und 8.) in zwei Seitenlängen gemäß BO = CO sowie OR = OQ und in jenem Winkel übereinstimmen, der der längeren Seite gegenüberliegt. Denn nach 6.) liegt der rechte Winkel in R bzw. Q der Hypotenuse der betrachteten Dreiecke BOR und CQO gegenüber.
10. Also ist auch BR = CQ.
11. Nach 8.) und 10.) ist also AB = AR + BR = AQ + CQ = AC.

Q.e.d.

Auflösung

Trugschluss vom leeren Kreis[Bearbeiten | Quelltext bearbeiten]

Satz: In einem Kreis liegt nur sein Mittelpunkt und sonst kein Punkt.

Beweis durch Falsifizierung der Umkehrung:

1. Gegeben sei ein Kreis um O und Radius r wie im Bild.
2. Angenommen, es gäbe einen Punkt P ≠ O im Abstand PO < r vom Mittelpunkt.
3. Auf der Halbgeraden [OP sei Q der Punkt, für den gilt OP · OQ = r²
4. Die Mittelsenkrechte der Strecke [PQ] schneide diese in R und den Kreis in einem Punkt U.
5. Dann ist mit 3.) r² = OP · OQ = ( OR - PR ) · ( OR + PR ) = OR² - PR²
6. Mit dem Satz von Pythagoras ist OR² = r² - RU² und PR² = PU² - RU²
7. Nun 6.) in 5.) eingesetzt ergibt: r² = ( r² - RU² ) - ( PU² - RU² ) = r² - PU²
8. Also ist PU = 0.
9. Das aber ist im Widerspruch zur Annahme 2.), weswegen es außerhalb des Mittelpunkts des Kreises keinen Punkt geben kann, der im Kreis, also nicht auf dem Kreis, liegt.

Q.e.d.

Auflösung

Trugschlüsse aus Zerlegungen[Bearbeiten | Quelltext bearbeiten]

Bild zum Beweis von 64 = 65.	Bild zum Beweis von 216 = 217.

Satz: 64 = 65 und 216 = 217.

Beweis durch Zerlegungen:

1. Das Quadrat im linken Bild hat die Fläche 8 · 8 = 64 und wird in zwei Dreiecke und zwei Vierecke zerlegt. Aus diesen kann das Rechteck unter dem Quadrat zusammengesetzt werden, das den Flächeninhalt 5 · 13 = 65 hat.
2. Das obere Rechteck im rechten Bild hat die Fläche 9 · 24 = 216 und wird in zwei Dreiecke und zwei Vierecke zerlegt. Aus diesen kann das Rechteck darunter zusammengesetzt werden, das den Flächeninhalt 7 · 31 = 217 hat.

Q.e.d.

Auflösung

Die linke Zerlegung wird auch als Schachbrett-Paradoxon bezeichnet und verwendet aufeinander folgende Fibonacci-Zahlen f_n-1, f_n, f_n+1, denn bei ihnen gilt die Identität von Cassini f_n+1 f_n-1 = (f_n)² + (-1)ⁿ. Für die Zerlegung der Rechtecke im rechten Bild eignen sich zwei aufeinander folgende Näherungswerte eines beliebigen Kettenbruchs.^[10]

Fehlerhafte Annahmen[Bearbeiten | Quelltext bearbeiten]

In der realen Welt sind alle Körper mehr oder weniger verformbar und Zwangsbedingungen immer mehr oder weniger flexibel, was Kräfte und/oder Beschleunigungen auf endliche Werte begrenzt. Die Berechnung flexibler Systeme kann durch vereinfachende Annahmen wesentlich erleichtert werden. Ein in diesem Sinn erfolgreiches Modell der klassischen Mechanik ist der unverformbare Starrkörper. Wird dieser weiteren Zwangsbedingungen unterworfen, können schnell unrealistische Unendlichkeiten auftreten. Die fallende Leiter ist ein Beispiel dafür.

Die Leiter im Bild lehnt an einer Wand und steht auf dem Boden, wobei ihr Fußpunkt mit konstanter Geschwindigkeit von der Wand weggezogen wird. Dann schlägt die Leiter mit unendlicher Geschwindigkeit auf dem Boden auf.^[9]

Beweis:

1. Definition	:	Die Leiter habe die Länge L.
2. Definition	:	Sei ${\displaystyle x}$ der horizontale Abstand der Wand vom Fußpunkt der Leiter, der mit konstanter Geschwindigkeit ${\displaystyle v}$ von der Wand weggezogen wird.
3. Definition	:	Sei ${\displaystyle y}$ der vertikale Abstand des Bodens vom Berührungspunkt der Leiter mit der Wand.
4. Satz von Pythagoras	:	${\displaystyle x^{2}+y^{2}=L^{2}\quad \rightarrow \quad y={\sqrt {L^{2}-x^{2}}}}$
5. Zeitableitung	:	${\displaystyle {\dot {y}}=-{\frac {x{\dot {x}}}{\sqrt {L^{2}-x^{2}}}}}$
6. Einsetzen der Geschwindigkeit	:	${\displaystyle {\dot {y}}=-{\frac {xv}{\sqrt {L^{2}-x^{2}}}}}$
7. Beim Aufschlagen	:	${\displaystyle \lim _{x\to L}{\dot {y}}=\lim _{x\to L}{\frac {-xv}{\sqrt {L^{2}-x^{2}}}}=-\infty }$

Deshalb schlägt die Leiter mit unendlich hoher Geschwindigkeit auf dem Boden auf.

Auflösung

Auflösungen[Bearbeiten | Quelltext bearbeiten]

Arithmetik

Multiplikation von Gewichten

Wenn die Einheiten mitquadriert werden, kommt das richtige Ergebnis heraus:

Lehrreich hieran ist, dass die Berücksichtigung der Einheiten in einer Rechnung ein Kriterium zu ihrer Überprüfung liefert. Am Ende der Rechnung müssen die Einheiten auf beiden Seiten einer Gleichung und in allen Summanden einer Summe übereinstimmen.

Katze mit 9 Schwänzen

Die Nicht-Katze Keine Katze darf nicht mit den Katzen in einen Topf geworfen werden. Wenn Keine Katze beispielsweise durch Flagellat ersetzt wird, erweist sich die zweite Aussage "Eine Katze hat einen Schwanz mehr als ein Flagellat" als falsch, womit der Wahrheitsgehalt der Schlussfolgerung mathematisch unbestimmt ist.

Algebra

2 = 1

Im fünften Schritt wird wegen a = b durch a² - a b = a ( a - b ) = 0 dividiert.

1+1=2

Im dritten Schritt wird durch n - n = 0 dividiert.

Gleiche Zahlen

Im siebten Schritt werden die beiden verschiedenen Wurzeln eines Quadrats gleichgesetzt. Mit

a - t/2 = -( b - t/2 ) ↔ a + b = t

wäre der Trugschluss vermieden worden.

Imaginäre Einheit 1

Im dritten Schritt werden die positive und die negative Wurzel aus -1 gleichgesetzt. Wird das nicht getan, wird der Widerspruch vermieden:

${\displaystyle {\rm {i={\frac {1}{-i}}\quad \rightarrow \quad i^{2}={\frac {1}{-1}}=-1}}}$

Das Potenzgesetz ( w/z )^r = w^r/z^r ist im komplexen nur eingeschränkt gültig.

Imaginäre Einheit 2

Beim mittleren Gleichheitszeichen ${\displaystyle {\sqrt {-1}}\cdot {\sqrt {-1}}={\sqrt {(-1)(-1)}}}$ wird auf der rechten Seite der übliche, positive Hauptwert der Wurzel im reellen benutzt. Hier führt aber nur der negative Wert zum richtigen Ergebnis

${\displaystyle -1={\rm {i\cdot i={\sqrt {-1}}\cdot {\sqrt {-1}}=-{\sqrt {(-1)(-1)}}=-{\sqrt {1}}=-1}}}$.

Das Potenzgesetz ( w · z )^r = w^r · z^r ist im komplexen nur eingeschränkt gültig.

Eulersche Relation

Im zweiten Schritt stehen links und rechts des Gleichheitszeichens mehrdeutige Funktionen deren Wertebereiche ${\displaystyle \left\{z\in \mathbb {C} |z^{i}=\left(e^{2\pi {\rm {i}}}\right)^{\rm {i}}\right\}}$ und ${\displaystyle \{z\in \mathbb {C} |z^{\rm {i}}=1^{\rm {i}}\}}$ gleich sind. Im dritten Schritt werden zwei ungleiche Elemente – die Hauptwerte der Potenzen – aus diesen Wertebereichen herausgepickt und gleichgesetzt, was zum Trugschluss führt.

Das Potenzgesetz (z^a)^b = z^a · b ist im komplexen nur eingeschränkt gültig.

Analysis

Nächster Punkt zum Kreis

Die Punkte R = ( x, y ) auf dem Kreis, die zum Ursprung des Koordinatensystems einen extremalen Abstand haben, liegen auf der x-Achse mit y = 0 und (x - a)² = b². Berechnung des Differentials von x führt dort auf 2(x - a) dx = 0. Für einen Punkt auf dem Kreis und der x-Achse ist also dx = 0 wegen │x - a│ = b ≠ 0. Das macht sich anschaulich dadurch bemerkbar, dass der Kreis die x-Achse senkrecht schneidet. Die für die Differentiation nach x notwendige Umgebung in x-Richtung existiert auf dem Kreis in diesen Schnittpunkten auf der x-Achse nicht, r'(x) kann im Extremum nicht berechnet werden, und alle aus r' = 0 gefolgerten Aussagen sind hinfällig. Der entscheidende Fehler wird also im dritten Schritt gemacht.

Dieses Beispiel betont die Regel, dass die unabhängige Variable, hier x, in den Extrema der abhängigen Variable, hier r, keinen Nebenbedingungen unterworfen sein darf. Nicht besser wird es, wenn der Mittelpunkt nicht auf der x-Achse liegt. Die dann notwendige zweidimensionale Umgebung für die Differentiation nach den beiden unabhängigen Variablen x und y reduziert sich auf einen eindimensionalen Kreisbogen.

Lösen lässt sich das Problem durch eine Parametrisierung der Ebene mit Zylinderkoordinaten (r, φ), sodass (x, y) = (r cos φ, r sin φ) mit r = r(φ) ist, erlaubt die Gewinnung der dem Ursprung nächsten Punkte, denn der Winkel φ unterliegt im Extremum keiner Nebenbedingung:

r² - 2 a x + a² - b² = r² - 2 a r cos φ + a² - b² = 0

→ 2 r r' - 2 a r' cos φ + 2 a r sin φ = 2 ( r - a cos φ ) r' + 2 a r sin φ = 0

Nun impliziert r' = 0 die Identität a r sin φ = 0 und daher a = 0 oder

sin φ = 0,

solange der Kreis nicht durch P geht und somit r ≠ 0 ist. So sind die Punkte mit extremalem Abstand mit φ = 0° oder φ = 180° gefunden.

Verschwindende Kreiszahl

Das Problem ist hier, dass die Integration über ein Intervall erfolgt, in der die Funktion, mit der substituiert wird, keine Werte hat, denn der Bildbereich von Arcsin ist das Intervall [-½π, ½π]. Der entscheidende Fehler wird also im letzten Schritt gemacht.

Der Integrationsbereich muss aufgeteilt werden:

${\displaystyle \int _{0}^{\pi }f(x)\cos(x){\rm {d}}x=\int _{0}^{\frac {\pi }{2}}f(x)\cos(x){\rm {d}}x+\int _{\frac {\pi }{2}}^{\pi }f(x)\cos(x){\rm {d}}x}$

Das zweite Integral muss erst auf den Wertebereich [-½π, ½π] transformiert werden, was durch die Substition y=π-x erreicht wird:

${\displaystyle {\begin{aligned}\int _{\frac {\pi }{2}}^{\pi }f(x)\cos(x){\rm {d}}x=&\int _{\frac {\pi }{2}}^{0}f(\pi -y)\cos(\pi -y)(-{\rm {d}}y)\\=&-\int _{0}^{\frac {\pi }{2}}f(\pi -y)\cos(y){\rm {d}}y\\=&-\int _{0}^{\frac {\pi }{2}}f(\pi -x)\cos(x){\rm {d}}x\end{aligned}}}$

Zusammen mit dem ersten Integral auf der rechten Seite kann wie im Trugschluss beschrieben mit t=sin(x) substituiert werden:

${\displaystyle {\begin{aligned}\int _{0}^{\pi }f(x)\cos(x){\rm {d}}x=&\int _{0}^{\frac {\pi }{2}}[f(x)-f(\pi -x)]\cos(x){\rm {d}}x\\=&\int _{0}^{1}\left[f{\big (}\arcsin(t){\big )}-f{\big (}\pi -\arcsin(t){\big )}\right]{\rm {d}}t\end{aligned}}}$

Das kann null sein, muss aber nicht, sodass π ≠ 0 nicht in Gefahr ist.

Summe der natürlichen Zahlen

In der Herleitung ist fast alles falsch. Um das zu zeigen werden die n-ten Partialsummen, angezeigt durch den Index n, zunächst mit einem geraden n betrachtet. Dann ist

${\displaystyle A_{n}=(1-1)+\dots +(1-1)=0+\dots +0=0}$

und

${\displaystyle B_{n}=\underbrace {(1-2)+(3-4)+\dots +(n-1-n)} _{{\frac {n}{2}}\cdot (-1)}=-{\frac {n}{2}}}$

In der Summe

${\displaystyle {\begin{aligned}B_{n}+B_{n}=&\underbrace {1+(1-2)+(-2+3)+\dots +(n-1-n)} _{A_{n}}-n\\=&A_{n}-n\end{aligned}}}$

entsteht noch ein „Rest“ n, was sich auch aus den Ausdrücken für A_n und B_n ergibt. Die Formel B_n = A_n/2 ist also in erster Ordnung von n falsch. Das reicht jedoch noch nicht, das in zweiter Ordnung falsche Endergebnis zu erklären.

Die Differenz C_n - B_n der Partialsummen ergibt:

${\displaystyle {\begin{aligned}C_{n}-B_{n}=&1+2+\dots +n-(1-2+-\dots -n)\\=&4\cdot \left(1+2+\dots +{\frac {n}{2}}\right)=4C_{n/2}\end{aligned}}}$

Nach der Summenformel für C_n nähert sich das Verhältnis

${\displaystyle {\frac {C_{n}}{C_{n/2}}}={\frac {{\frac {n}{2}}(n+1)}{{\frac {n}{4}}({\frac {n}{2}}+1)}}=4{\frac {n+1}{n+2}}}$

mit wachsendem n der vier und weil C_n mit dem Quadrat von n zunimmt ist die Formel C_n = -B_n/3 in zweiter Ordnung falsch. Erst nach diesem Fehler wächst C nicht mehr quadratisch mit n an. Ausdrücken von C_n/2 durch C_n bestätigt

${\displaystyle C_{n}-B_{n}=4C_{n/2}={\frac {n+2}{n+1}}C_{n}\quad \rightarrow \quad C_{n}=-(n+1)B_{n}={\frac {n}{2}}(n+1)}$

Bei ungeradem n ist

${\displaystyle {\begin{aligned}A_{n}=&1\\B_{n}=&{\frac {n+1}{2}}\\C_{n}-B_{n}=&4C_{(n-1)/2}\end{aligned}}}$

mit ähnlich vernichtendem Resultat.

Reihe A

Der unbestimmt divergenten Reihe A_n kann für n → ∞ kein Wert zugewiesen werden. Der Vergleich zweier unbestimmter Werte ist mathematisch jedoch sinnlos.

Logik

Subjunktion und Bijunktion

Im Bereich der reellen Zahlen ist x² + x + 1 ≠ 0 und aus der falschen Gleichung x² + x + 1 = 0 kann nichts aussagekräftiges mehr gefolgert werden, siehe Paradoxien der materialen Implikation.

Im komplexen hat das Polynom p(x) := x² + x + 1 zwei konjugiert komplexe Nullstellen x_1,2 = -½ ± i √(¾), die auch Lösung von x³ = 1 sind. Im komplexen ist also

x² + x + 1 = 0 → x³ = 1

richtig aber die umgekehrte Aussage

x³ = 1 → x² + x + 1 = 0

falsch, wie das Gegenbeispiel x = 1 zeigt.

Die gleichaltrigen Deutschen

Das Problem ist hier der Schritt von n = 1 auf n + 1 = 2. Es gibt keine Person R, die gleichzeitig unter den letzten n und unter den ersten n Personen ist. Somit kann nicht geschlossen werden, dass weil die erste Person P dasselbe Alter wie R hat und die letzte Person Q dasselbe Alter wie R hat, auch die erste und die letzte Person, P und Q, gleichaltrig sind. Für diesen Schluss bedarf es mindestens dreier Personen P, Q und R.

Die größte natürliche Zahl

Alle Schlüsse sind unter der gemachten Prämisse korrekt. Weil diese jedoch widersprüchlich ist – eine größte natürliche Zahl gibt es nicht – kann über den Wahrheitsgehalt der gefundenen Ergebnisse nichts ausgesagt werden. Umgekehrt kann aus obiger Ableitung ein Beweis für die Nicht-Existenz einer größten natürlichen Zahl gemacht werden.

Trugschlüsse in der Geometrie

Gleichschenkligkeit aller Dreiecke

Der Fehler liegt hier darin, dass der Punkt O in einem nicht gleichschenkligen Dreieck immer außerhalb des Dreiecks auf seinem Umkreis liegt, und zwar in der Mitte seines Bogens über der Seite BC. Nach Konstruktion liegen D, R und Q auf der Simsonschen Gerade mit dem Pol O. Nach dem Axiom von Pasch können nun Q und R nicht beide auf den Dreiecksseiten zwischen den Ecken liegen. Im Dreieck ABC der Zeichnung liegt der Fußpunkt des Lotes von O auf (AB) nicht auf der Seite (AB), sondern auf der Halbgeraden [AB von A aus gesehen hinter B. Die Identitäten 5.), 8.) und 10.) treffen zu, aber AB und BR sind entgegengesetzt orientiert. Deshalb lautet 11.) korrekt

AR = AB + BR = AQ = AC - CQ = AC - BR.

Hieraus folgt mitnichten die Gleichschenkligkeit des Dreiecks ABC.

Leerer Kreis

Der Punkt R liegt, anders als in der Skizze, außerhalb des Kreises, weswegen es den Schnittpunkt U nicht gibt. Denn aus Gleichung 5.) r² = OR² - PR² folgt OR² = r² + PR² > r². Der entscheidende Fehler wird also im vierten Schritt gemacht, wo ein Schnittpunkt U unterstellt wird, den es nicht geben kann.

Tückische Zerlegungen

Die Diagonalen in den unteren Rechtecken sind nur scheinbar gerade. Würden die Teilstücke unverformt zusammengesetzt, würden die Teile eine Fläche frei lassen, die genau den Inhalt einer Flächeneinheit hat.

Beweisen lässt sich das mit dem Strahlensatz. Im zum Quadrat gehörenden Rechteck sollte auf der Diagonalen

${\displaystyle {\frac {5}{13}}={\frac {3}{8}}={\frac {2}{5}}\quad \Leftrightarrow \quad {\frac {200}{520}}={\frac {195}{520}}={\frac {208}{520}}}$

sein, was offensichtlich nicht zutrifft. Im rechten unteren Rechteck sollte

${\displaystyle {\frac {7}{31}}={\frac {5}{22}}={\frac {2}{9}}\quad \Leftrightarrow \quad {\frac {1386}{6138}}={\frac {1395}{6138}}={\frac {1364}{6138}}}$

sein, was ebenfalls nicht zutrifft.

Fehlerhafte Annahmen

Die fallende Leiter

Die Ursache dieses Trugschlusses ist die Annahme in 4.), dass die Leiter an der Wand gelehnt bleibt und sie immer berührt. Tatsächlich wird der Zug am Fuß der Leiter auch das obere Ende der Leiter von der Wand wegziehen, so dass der Kontakt aufhört und der Satz von Pythagoras nicht mehr gilt.

Nimmt man jedoch an, dass das obere Ende der Leiter immer an der Wand bleibt, liegt der Trugschluss in der mathematischen Modellierung der physikalischen Welt. Denn der Zustand am Ende des Experiments, wo die Leiter sich angeblich unendlich schnell bewegt, ist bei massebehafteter Leiter in der klassischen Mechanik in endlicher Zeit nur mit unendlich hoher Beschleunigung zu erreichen, was unphysikalisch ist, und in der Speziellen Relativitätstheorie wegen der Beschränkung auf Unterlichtgeschwindigkeit gar nicht möglich.

Weblinks[Bearbeiten | Quelltext bearbeiten]

• Math jokes. Aha! Jokes LLC, abgerufen am 6. März 2022 (englisch). 
• Geometric Fallacies. (html) cut-the-knot.org, abgerufen am 7. Januar 2022 (englisch). 
• ISSA Proceedings 1998 – Dividing By Zero – And Other Mathematical Fallacies. (html) Rozenberg Quarterly, abgerufen am 7. Januar 2022 (englisch). 
• Classical Fallacies. (html) Abgerufen am 7. Januar 2022 (englisch). 
• Der Trugschluss im mathematischen Gewand. (pdf) Abgerufen am 7. Januar 2022. 

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

1. ↑ Fallazien. In: Duden online. Abgerufen am 2. Juli 2017. 
2. ↑ A. Filler: 01 Ziele.pdf. (PDF) Institut für Mathematik an der Humboldt-Universität zu Berlin, abgerufen am 2. Juli 2017. 
3. ↑ ^{a b c} Edwin A. Maxwell: Fallacies in mathematics. Cambridge University Press, 1959, ISBN 0-521-05700-0 (eingeschränkte Vorschau in der Google-Buchsuche). 
4. ↑ Thilo: 1+2+3+4. 2014, abgerufen am 2. Juli 2017. 
5. ↑ Walter Lietzmann: Trugschlüsse. B.G. Teubner, 1923 (eingeschränkte Vorschau in der Google-Buchsuche). 
6. ↑ ^{a b} Holger Dambeck: Mathematik bizarr. Spiegel, abgerufen am 2. Juli 2017. 
7. ↑ ^{a b} Thomas Sauer: Gegenbeispiele, Trugschlüsse und Mathematik auf dem Computer. (PDF) 2001, abgerufen am 2. Juli 2017. 
8. ↑ ^{a b c} Klaus Fritzsche: Tutorium Mathematik für Einsteiger. Springer-Verlag, 2016, ISBN 978-3-662-48910-9 (eingeschränkte Vorschau in der Google-Buchsuche [abgerufen am 2. Juli 2017]). 
9. ↑ ^{a b} Philip Spencer: Classic Fallacies. University of Toronto, abgerufen am 2. Juli 2017 (englisch, Hier werden Kanadier statt Deutsche betrachtet). 
10. ↑ Hermann Schubert: Mathematische Mußestunden: Eine Sammlung von Geduldspielen, Kunststücken und Unterhaltungsaufgaben mathematischer Natur. Walter de Gruyter, 1967, ISBN 978-3-11-083666-0 (eingeschränkte Vorschau in der Google-Buchsuche [abgerufen am 2. Juli 2017]). 

Literatur[Bearbeiten | Quelltext bearbeiten]

• Underwood Dudley: Mathematik zwischen Wahn und Witz: Trugschlüsse, falsche Beweise und die Bedeutung der Zahl 57 für die amerikanische Geschichte. Birkhäuser, 1995
• E. A. Maxwell: Fallacies in Mathematics. Cambridge University Press, 1959
• Bryan H. Bunch: Mathematical Fallacies and Paradoxes. Dover, 1997
• Edward J. Barbeau: Mathematical Fallacies, Flaws, and Flimflam. MAA, 2000
• Walter Lietzmann: Wo steckt der Fehler? - Mathematische Trugschlüsse und Warnzeichen, 1969, 5. Auflage, Verlag B.G.Teubner