Vorheriges Thema anzeigen :: Nächstes Thema anzeigen |
Autor |
Nachricht |
Yogosh Leisetreter ...und Klugscheisser
Anmeldungsdatum: 19.03.2009 Beiträge: 2170
Wohnort: Berlin
|
(#1312707) Verfasst am: 24.06.2009, 12:02 Titel: Logik Puzzel und Pseudo Beweise |
|
|
Ein Thread für Logik Puzzel und Pseudo Beweise. Pseudo Beweise sind Beweisführungen mit offensichtlich falschen Ergebnissen bei denen ein Fehler in den Annahmen oder den Schlussfolgerungen versteckt ist, den es zu finden gilt.
Bitte keine Scherzfragen.
Ich mach mal den Anfang. Beide Sachen sind ein bißchen mathematisch. Für das erste reicht Schulmathematik, beim zweiten muss man glaube ich ein bißchen Analysis können.
1.) Ein grafischer Beweis, dass 32.5=13*5/2=13*5/2-1=31.5 ist:
2.) Ein grafischer Beweis dass Wurzel aus 2 gleich 2 ist:
Die Hyphotenuse des Dreiecks hat nach Pythagoras eine Länge von Wurzel aus 2. Die Treppenlinie hat eine Länge von 4*0.5 = 8*0.25 = 2
Setzt man die Verfeinerung der Treppenlinie fort, bleibt ihre Länge konstant bei 2^n*(1/2^(n-1)) = 2, allerdings werden die Stufen immer kleiner und sie nähert sich dementsprechend unendlich nahe an die Hypotenuse an. Dementsprechend gilt: 2 = Wurzel(2)
_________________ "If the King's English was good enough for Jesus Christ, it's good enough for the children of Texas!" - Miriam Amanda "Ma" Ferguson, Governor of Texas, als Begründung gegen Spanischunterricht
|
|
Nach oben |
|
|
Wolf registrierter User
Anmeldungsdatum: 23.08.2004 Beiträge: 16610
Wohnort: Zuhause
|
(#1312756) Verfasst am: 24.06.2009, 12:56 Titel: |
|
|
ad1) Hatten wir bereits im Forum.
ad2) Wieso solllte die Länge konvergieren?
Es kommen ja gerade soviele Treppen hinzu, dass die Länge konstant bleibt.
Ein ähnliches Beispiel kenne ich bei der Berechnung des Volumens durch zu spitze Dreiecke. (Dort strebt das Volumen sogar gegen unendlich)
_________________ Trish:(
|
|
Nach oben |
|
|
Yogosh Leisetreter ...und Klugscheisser
Anmeldungsdatum: 19.03.2009 Beiträge: 2170
Wohnort: Berlin
|
(#1312765) Verfasst am: 24.06.2009, 13:00 Titel: |
|
|
Wolf hat folgendes geschrieben: | ad2) Wieso solllte die Länge konvergieren? |
Wenn ich versuchen würde das mathematisch zu begründen würde der Fehler ja offensichtlich. Der Pseudobeweis beruht ja nur auf einer intuitiven Plausibilität der Behauptung dass mit dem grafischen Erscheinungsbild bzw. dem Abstand der Zacken von der Hypotenuse gegen Null auch die Längen der Strecken gegeneinander konvergieren. Als Mathematiker bist Du wahrscheinlich schon zu verdorben um so was intuitiv plausibel zu finden
_________________ "If the King's English was good enough for Jesus Christ, it's good enough for the children of Texas!" - Miriam Amanda "Ma" Ferguson, Governor of Texas, als Begründung gegen Spanischunterricht
|
|
Nach oben |
|
|
Wolf registrierter User
Anmeldungsdatum: 23.08.2004 Beiträge: 16610
Wohnort: Zuhause
|
(#1312771) Verfasst am: 24.06.2009, 13:07 Titel: |
|
|
Yogosh hat folgendes geschrieben: | Wolf hat folgendes geschrieben: | ad2) Wieso solllte die Länge konvergieren? |
Wenn ich versuchen würde das mathematisch zu begründen würde der Fehler ja offensichtlich. Der Pseudobeweis beruht ja nur auf einer intuitiven Plausibilität der Behauptung dass mit dem grafischen Erscheinungsbild bzw. dem Abstand der Zacken von der Hypotenuse gegen Null auch die Längen der Strecken gegeneinander konvergieren. Als Mathematiker bist Du wahrscheinlich schon zu verdorben um so was intuitiv plausibel zu finden |
Ich bin ein so schlechter unfertiger Mathematiker, dass ich es durchaus intuitiv plausibel finde, anderseits sieht man doch schon was schief geht.
Nebenbei, lassen sich mit dem Verfahren, wenn man es leicht modifiziert auch andere Längen erreichen.
_________________ Trish:(
|
|
Nach oben |
|
|
Wolf registrierter User
Anmeldungsdatum: 23.08.2004 Beiträge: 16610
Wohnort: Zuhause
|
(#1313086) Verfasst am: 24.06.2009, 21:05 Titel: |
|
|
Ein sehr leicht durchschaubarer Pseudobeweis für den verallgemeinerten Mittelwertsatz:
z.z. f'(x0)/g'(x0)=f(b)-f(a)/g(b)-g(a) (Die fehlenden Klammern sind zu denken) mit x0 zwischen a und b.
Gemäß den herkömmlichen Mittelwertsatz gilt f'(x0)=f(b)-f(a)/b-a, ebenso gilt g'(x0)=g(b)-g(a)/b-a
f'(x0)/g'(x0)=f(b)-f(a)/b-a/g(b)-g(a)/b-a=f(b)-f(a)/g(b)-g(a)
_________________ Trish:(
|
|
Nach oben |
|
|
pewe auf eigenen Wunsch deaktiviert
Anmeldungsdatum: 20.01.2008 Beiträge: 3377
|
(#1313089) Verfasst am: 24.06.2009, 21:09 Titel: |
|
|
Mathespass
Drei Maurer geben ihrem Lehrling jeweils 10 €, damit er beim Fleischhauer Wurst kaufen kann. Die Wurst kostet 25 €.
Der Lehrling denkt sich: "Ich behalte mir 2 € und gebe den Rest zurück." Jeder Maurer bekommt 1 € zurück.
Aber: Jeder Maurer hat 9 € bezahlt (10 - 1).
Drei mal 9 ist 27.
Zwei € hat der Lehrling behalten. 27 + 2 = 29.
Wo ist der Rest geblieben?
|
|
Nach oben |
|
|
Wolf registrierter User
Anmeldungsdatum: 23.08.2004 Beiträge: 16610
Wohnort: Zuhause
|
(#1313095) Verfasst am: 24.06.2009, 21:20 Titel: |
|
|
Vorzeichenfehler sind die schlimmsten.
_________________ Trish:(
|
|
Nach oben |
|
|
musikdusche reflektierender User
Anmeldungsdatum: 29.05.2006 Beiträge: 896
Wohnort: Düsseldorf
|
(#1313147) Verfasst am: 24.06.2009, 22:36 Titel: |
|
|
Hatte dieser Hypotenusenbeweis wurzel2 = 2 nicht was damit zu tun, dass die Funktionenfolgen gleichmäßig konvergent sein müssen? .... irgendwas war da....
_________________ Jeder Fehler erscheint unglaublich dumm, wenn Andere ihn begehen. (Lichtenberg)
|
|
Nach oben |
|
|
Yogosh Leisetreter ...und Klugscheisser
Anmeldungsdatum: 19.03.2009 Beiträge: 2170
Wohnort: Berlin
|
(#1313163) Verfasst am: 24.06.2009, 23:01 Titel: |
|
|
musikdusche hat folgendes geschrieben: | Hatte dieser Hypotenusenbeweis wurzel2 = 2 nicht was damit zu tun, dass die Funktionenfolgen gleichmäßig konvergent sein müssen? .... irgendwas war da.... |
Jetzt musste ich erst mal googeln was die gleichmäßige Konvergenz noch mal genau war.
Die Anwendung ist hier etwas schwierig, weil gar nicht klar defnierbar ist was es heissen soll dass die Treppe gegen die Hypotenuse konvergiert. Im schlampigen Gebrauch dieser Redeweise liegt ja gerade der Fehler.
Eine (aus aktuellem Anlass: nicht die ) Erklärung in Mini:
Der entscheidene Punkt ist der Unterschied zwischen beliebig nahe dran, aber immer noch ein Tacken (=Epsilon) weit weg und genau drauf. Es ist eigentlich wurscht wie klein das Epsilon, in dem Fall die Entfernung der Treppenzacken von der Hypothenuse, ist. Wie Wolf schon angedeutet hat: Solange es einen auch noch so kleinen Abstand und damit einen klitzekleinen Bereich gibt in den man eine Linie einzeichnen kann, kann man da sogar beliebig lange Linien reindefinieren. Unter anderem eben auch diese Treppen.
Das einzige was konvergiert ist ja der Abstand der Treppenzacken gegen Null. Und der hat mit der Länge der Treppe nichts zu tun. Diese Konvergenz ist nicht gleichmäßig. Aber mir fällt nichts vergleichbare Grafisches ein, wo eine gleichmäßige Konvergenz vorliegen würde. Vielleicht geht das eben einfach mal nicht.
_________________ "If the King's English was good enough for Jesus Christ, it's good enough for the children of Texas!" - Miriam Amanda "Ma" Ferguson, Governor of Texas, als Begründung gegen Spanischunterricht
|
|
Nach oben |
|
|
AgentProvocateur registrierter User
Anmeldungsdatum: 09.01.2005 Beiträge: 7851
Wohnort: Berlin
|
(#1356191) Verfasst am: 07.09.2009, 01:02 Titel: |
|
|
Ich bin der Papst.
Der Papst und ich sind verschieden, also sind wir zwei Personen. Da 2 = 1 ist sind wir also nur eine Person. Also bin ich der Papst.
Fehlt jetzt nur noch der Beweis für die Behauptung, dass 2 = 1 ist.
Hier ist er:
Code: | 1. 3 - 1 = 6 - 4 | * (-1)
2. 1 - 3 = 4 - 6 | + 9/4
3. 1 - 3 + 9/4 = 4 - 6 + 9/4 | (binomische Formel)
4. (1 - 3/2)² = (2 - 3/2)² | (Wurzel)
5. 1 - 3/2 = 2 - 3/2 | + 3/2
6. 1 = 2
---------
q.e.d. |
|
|
Nach oben |
|
|
neinguar Blue Note
Anmeldungsdatum: 04.02.2008 Beiträge: 3088
|
(#1356195) Verfasst am: 07.09.2009, 01:34 Titel: |
|
|
AgentProvocateur hat folgendes geschrieben: | Ich bin der Papst.
Der Papst und ich sind verschieden, also sind wir zwei Personen. Da 2 = 1 ist sind wir also nur eine Person. Also bin ich der Papst.
Fehlt jetzt nur noch der Beweis für die Behauptung, dass 2 = 1 ist.
Hier ist er:
Code: | 1. 3 - 1 = 6 - 4 | * (-1)
2. 1 - 3 = 4 - 6 | + 9/4
3. 1 - 3 + 9/4 = 4 - 6 + 9/4 | (binomische Formel)
4. (1 - 3/2)² = (2 - 3/2)² | (Wurzel)
5. 1 - 3/2 = 2 - 3/2 | + 3/2
6. 1 = 2
---------
q.e.d. | |
Das kommt davon, wenn man aus dem Papst seine Wurzel rauszieht. Da kriegt man etwas negatives, und dann hat man den Salat.
_________________ Woran du dein Herz hängest, das ist dein Gott - Martin Luther -
Wenn ich Gott wäre, würde ich mich nicht von jedem anbeten lassen wollen - Hilde Ziegler -
|
|
Nach oben |
|
|
Danol registrierter User
Anmeldungsdatum: 02.04.2007 Beiträge: 3027
|
(#1356198) Verfasst am: 07.09.2009, 01:38 Titel: |
|
|
Tja, die Wurzel.
exp(x) sein die Exponentialfunktion und p die Zahl Pi, i wie üblich.
exp(2kpi) = 1 für alle k aus IN
=> exp(2kpi+1) = e
=> exp(2kpi+1)^(2kpi) = 1
=> exp(-4k²p²+2kpi) = 1
=> exp(-4k²p²) = 1 für alle k aus IN.
Wir betrachten nun die Folge a_k = exp(-4k²p²), es gilt offensichtlich lim (k->oo)a_k = 0, da aber a_k=1 für alle k in IN eben gezeigt wurde, folgt lim (k->oo)a_k = 1 und somit 0=1
|
|
Nach oben |
|
|
Nini registrierter User
Anmeldungsdatum: 08.04.2009 Beiträge: 201
Wohnort: Bonn
|
(#1356256) Verfasst am: 07.09.2009, 09:48 Titel: |
|
|
Danol hat folgendes geschrieben: |
exp(2kpi+1)^(2kpi) = 1
=> exp(-4k²p²+2kpi) = 1 |
Der Folgepfeil ist falsch, da hier (heimlich) die komplexe Logaritmusfunktion benutzt wird, die wie die Wurzel nicht eindeutig ist, und ein falsches Resultat gewählt wird.
Aus a^b = exp(b*ln(a)) müsste das Ergebnis der Umformung korrekt lauten:
exp(2kpi+1)^(2kpi) = exp(2kpi*ln(exp(2kpi+1)))
Wegen der Nichteindeutigkeit des Logaritmus müsste das korrekte Ergebnis lauten:
exp(2kpi*ln(exp(2kpi+1))) = exp(2kpi * (2kpi+1 + 2mpi)), wobei m€Z geeignet zu wählen ist. Du hast m=0 gewählt, damit ist der Folgepfeil nichtig.
("€" = "ist Element von", Z = Menge der ganzen Zahlen)
|
|
Nach oben |
|
|
Nini registrierter User
Anmeldungsdatum: 08.04.2009 Beiträge: 201
Wohnort: Bonn
|
(#1356269) Verfasst am: 07.09.2009, 10:18 Titel: |
|
|
Ich hab auch noch einen schönen, allerdings Geometrie.
Ich nehme eine Strecke (beliebig). An den Enden der Strecke wird einmal in einem Winkel von 100°, und einmal in einem Winkel von 90° die Strecke a abgetragen.
Die beiden freien Enden werden verbunden. Es entsteht ein Viereck:
Die beiden langen Seiten des Vierecks sind nicht parallel (ich hoffe, das muss ich nicht beweisen).
=> Weil die beiden Seiten nicht parallel sind, sind auch ihre jeweiligen Mittelsenkrechten nicht parallel.
=> Weil ihre jeweiligen Mittelsenkrechten nicht parallel sind, existiert ein Schnittpunkt S:
Die Existenz von S ist ausreichend, um S mit den Eckpunkten des Vierecks verbinden zu können.
Für die Verbindungslinien gilt:
- b und b' sind gleichlang, da S auf der Mittelsenkrechten der unteren langen Seite liegt.
(Zur Erinnerung, Def: Die Mittelsenkrechte auf die Strecke AB ist sie Menge aller Punkte, die gleichweit von A und B entfernt sind)
- c und c' sind gleichlang, da sie durch die Teilung der langen Seite durch die Mittelsenkrechte in 2 gleich lange Teilstrecken gebildet werden.
Genauso gilt:
- e und e' sind gleichlang, da S auf der Mittelsenkrechten der oberen langen Seite liegt.
- f und f' sind gleichlang, da sie durch die Teilung der oberen langen Seite durch deren Mittelsenkrechte in 2 gleich lange Teilstrecken gebildet werden.
Jetzt gilt:
- Die beiden Dreiecke "***" sind kongruent, da c = c', b=b' und d wird gemeinsam benutzt
- Die beiden Dreiecke "**" sind kongruent, da e=e', f=f', und g wird gemeinsam benutzt
- Die beiden Dreiecke "*" sind kongruent, da b=b', e=e', und a=a nach Voraussetzung
Weil die Dreiecke kongruent sind, sind auch deren Winkel paarweise gleich, insbesondere ist
- Winkel(bc) = Winkel(b'c')
- Winkel(ab) = Winkel(ab')
Damit ist auch deren Summe
- Winkel(ab) + Winkel(bc) = Winkel(ab') + Winkel(b'c')
gleich, womit bewiesen ist:
90° = 100°
|
|
Nach oben |
|
|
zelig Kultürlich
Anmeldungsdatum: 31.03.2004 Beiträge: 25404
|
(#1356271) Verfasst am: 07.09.2009, 10:34 Titel: |
|
|
Und für so einen Schabernack schicken wir euch auf die Uni?
|
|
Nach oben |
|
|
jdf MIM-104C Nikopol
Anmeldungsdatum: 30.05.2007 Beiträge: 25579
Wohnort: Nekropole E|B
|
(#1356280) Verfasst am: 07.09.2009, 11:05 Titel: |
|
|
S liegt weit außerhalb des Vierecks.
|
|
Nach oben |
|
|
Nini registrierter User
Anmeldungsdatum: 08.04.2009 Beiträge: 201
Wohnort: Bonn
|
(#1356323) Verfasst am: 07.09.2009, 12:55 Titel: |
|
|
Na und? Die Dreiecke sind trotzdem kongruent. Der Beweis wird ja unabhängig von der Lage geführt, nur die Existenz wird benötigt.
|
|
Nach oben |
|
|
step registriert
Anmeldungsdatum: 17.07.2003 Beiträge: 22767
Wohnort: Germering
|
(#1356352) Verfasst am: 07.09.2009, 13:48 Titel: |
|
|
Bei der Winkelsumme muß man aufpassen, die "kongruenten" Dreiecke können entgegengesetzten Drehsinn haben, so daß man - statt + hat. Ich vermute, da liegt der Fehler.
Sollte man leichter sehen, wenn man kleine c und deutlich mehr als 100° nimmt.
_________________ Was ist der Sinn des Lebens? - Keiner, aber Leere ist Fülle für den, der sie sieht.
|
|
Nach oben |
|
|
Nini registrierter User
Anmeldungsdatum: 08.04.2009 Beiträge: 201
Wohnort: Bonn
|
(#1356357) Verfasst am: 07.09.2009, 13:57 Titel: |
|
|
Richtig, die gleichen Winkel der Dreiecke "*" sind diese hier:
Es ist nur (mit Absicht natürlich) ungenau gezeichnet, S liegt etwa 3 Etagen tiefer.
Hintergrund ist bei allen falschen Beweisen, dass man eine nichteindeutige Funktion hat, und man eine falsche Lösung wählt. Die Wurzel hat auch eine negative Lösung, der komplexe Logaritmus sogar eine Periodische, und der Winkel zwischen zwei Schenkeln hat noch eine Rückseite.
|
|
Nach oben |
|
|
jdf MIM-104C Nikopol
Anmeldungsdatum: 30.05.2007 Beiträge: 25579
Wohnort: Nekropole E|B
|
(#1356372) Verfasst am: 07.09.2009, 14:22 Titel: |
|
|
Winkel (ac') = 360° - W(ab') - W(b'c') = 100°
Winkel (ac) = W(ab) - W(bc) = 90°
|
|
Nach oben |
|
|
Evilbert auf eigenen Wunsch deaktiviert
Anmeldungsdatum: 16.09.2003 Beiträge: 42408
|
(#1356383) Verfasst am: 07.09.2009, 14:33 Titel: |
|
|
Noseman hat folgendes geschrieben: | Narziss hat übrigens recht: Frauen sind Bestien, bzw. böse.
Frauen kosten Zeit und Geld, das ist empirisch nachweisbar.
Daraus folgt: Frauen = Zeit x Geld.
Und Zeit = Geld, also ergibt sich:
Frauen= Geld²
Geld ist aber wiederum die Wurzel allen Übels
also ist Geld = Wurzel (Übel)
Setzt man das in obige Gleichung Frauen= Geld² ein, erhält man durch kürzen somit
Frauen= Übel.
q.e.d. |
|
|
Nach oben |
|
|
Nini registrierter User
Anmeldungsdatum: 08.04.2009 Beiträge: 201
Wohnort: Bonn
|
(#1356437) Verfasst am: 07.09.2009, 15:34 Titel: |
|
|
Hab den "Beweis" übrigens schön sauber konstruiert als GeoNext-File, falls jemand Interesse hat: PN
|
|
Nach oben |
|
|
jdf MIM-104C Nikopol
Anmeldungsdatum: 30.05.2007 Beiträge: 25579
Wohnort: Nekropole E|B
|
(#1356457) Verfasst am: 07.09.2009, 15:57 Titel: |
|
|
|
|
Nach oben |
|
|
|