Beweis Mathematik, was darf man brauchen?
Folgendes Problem:
Man solle a*a+b*b >= 2ab beweisen.
wenn man jetzt einfach auf beiden Seiten den Term vereinfacht, kommt man ganz leicht auf die Lösung: (a-b) hoch 2 >=0 was auch korrekt ist.
Dieser „Beweis“ wurde aber nicht anerkannt.
Darf man das zu Beweisende nicht als Bedingung annehmen und zu einem immer stimmigen( z.B. 0=0) Term umformen?
Dann müsste der Angenommene Satz ja korrekt sein, da ansonsten die Mathematik nicht mehr stimmt, oder?
Ich würde mich freuen, wenn Sie mir bei Ihren Antworten noch auf Quellen verweisen könntet, falls vorhanden.
Ich würde mich freuen, wenn Sie auf QUELLEN hinweisen würde.
Ansonsten bleiben Ihre Antworten „nur“ Behauptungen. Wenn Sie keine Quellen zur Hand haben, würde ich mich freuen, wenn Sie den Ursprung Ihres Wissens nennen könnten, damit es etwas Hand und Fuss verleiht.
6 Antworten
![](https://images.gutefrage.net/media/default/user/9_nmmslarge.png?v=1551279448000)
Mache einen indirekten Bewis draus. Nimm an a²+b²<2ab.
Das bedeutet, a²-2ab+b²<0. Wenn Du die binomische Formel anwendest hast Du
(a-b)²<0
Da das Quadrat einer reellen Zahl niemals kleiner als 0 ist, ist die Annahme falsch und die Aussage bewiesen.
![](https://images.gutefrage.net/media/user/Willy1729/1444750712_nmmslarge.jpg?v=1444750712000)
Hallo,
einfach 2ab nach links, dann steht da a²-2ab+b²>=0.
Die linke Seite kann man nach der zweiten binomischen Formel zu (a-b)² umformen. Da dieser Term niemals negativ werden kann, ist der Beweis erbracht.
So hast Du es ja wohl auch gemeint. Vielleicht hast Du die einzelnen Schritte nicht genug begründet.
Herzliche Grüße,
Willy
![](https://images.gutefrage.net/media/user/eterneladam/1673990853932_nmmslarge__0_0_3023_3024_b3ab443b0f60481e81ea92643ef07370.jpg?v=1673990854000)
Es ist eine Frage der Darstellung.
Man fängt an mit (a-b)^2 >= 0 und landet dann bei der Behauptung.
Du hast vermutlich mit der Behauptung angefangen und dann zurückgerechnet zum Binom.
![](https://images.gutefrage.net/media/user/evtldocha/1661618046590_nmmslarge__0_0_330_330_5b65438fd0a76c82f10658bb02dc7007.png?v=1661618047000)
Darf man das zu Beweisende nicht als Bedingung annehmen
Das zu Beweisende darf man natürlich niemals in einem Beweis verwenden. Ein solches Vorgehen wäre die "Methode von Baron Münchhausen" sich am eigenen Schopf aus dem Sumpf zu ziehen.
![](https://images.gutefrage.net/media/default/user/8_nmmslarge.png?v=1551279448000)
Könnten Sie mir noch ein bisschen weiterhelfen, weshalb man es nicht darf, und wo man das Nachschlagen kann?
![](https://images.gutefrage.net/media/user/Halbrecht/1525443667546_nmmslarge__243_35_423_423_0f63963408c8ccb1dad80c34585c3099.jpg?v=1525443670000)
wo kann man das Nachschlagen ? Explizit weiß ich es nicht , es gibt ja auch kein Gesetzbuch für Mathematik
Einleuchtend ist aber doch ,dass man einen Beweis von bisher Unbewiesenem nur auf schon Bewiesenes stützen kann . Auf Unbewiesenes jedoch nicht . Aber was man beweisen will , ist ja Unbewiesen , sonst müsste man es ja nicht beweisen
![- (rechnen, Gleichungen, Beweis)](https://images.gutefrage.net/media/fragen-antworten/bilder/546679541/0_big.png?v=1716519095000)