Diskussion:Parallelogrammgleichung
Weiss jemand wie man beweist, das unten stehende Gleichung auch wirklich ein inneres Produkt ist, falls die Paralelogrammgleichung gilt? --Caller1982 Diskussion:Parallelogrammgleichung#c-Caller1982-2005-05-06T19:19:00.000Z11
- Der Beweis findet sich z.B. in Friedman, Foundations of Modern Analysis und in Kolmogorov/Fomin, Reelle Funktionen und Funktionalanalysis. Der Beweis ist nicht besonders schwierig, man muss "nur" nachweisen, dass die Axiome der abstrakten Definition des inneren Produkts erfüllt sind; insbesondere bei sind aber ein paar nichttriviale Umformungen nötig. Wenn ich Zeit finde und niemand anderer schneller ist, werde ich bei Gelegenheit den Beweis in den Artikel einbauen. --NeoUrfahraner Diskussion:Parallelogrammgleichung#c-NeoUrfahraner-2005-05-09T05:04:00.000Z-Caller1982-2005-05-06T19:19:00.000Z11
- Ein Beweis findet sich jetzt in den Wikibooks. --NeoUrfahraner 21:23, 12. Jan 2006 (CET)
Implikation oder Äquivalenz
[Quelltext bearbeiten]Ich wollte fragen, ob die Aussage auch in anderer Richtung gilt. Ob also zu jedem Quadrupel reeller Zahlen, die die Gleichung erfüllen ein passendes Parallelogramm gibt? (Hoffe, das ist keien dumme Frage) --Axel Wagner Diskussion:Parallelogrammgleichung#c-Axel Wagner-2008-01-27T23:46:00.000Z-Implikation oder Äquivalenz11
- Nein, es muss zusätzlich die Dreiecksungleichung für a,b,e gelten (Gegenbeispiel: a>b, e=0). --Quilbert 問 Diskussion:Parallelogrammgleichung#c-Quilbert-2008-05-25T11:41:00.000Z-Axel Wagner-2008-01-27T23:46:00.000Z11
Es gilt aber doch die folgende Aussage: Ein Viereck, dass die Parallelogrammgleichung erfüllt a^2+b^2+c^2+d^2=e^2+f^2 ist ein Parallelogramm (a=c und b=d), obwohl ich für diese Aussage keine Quelle finden kann. Hat jemand eine? Sollte man das im Text erwähnen? --CWitte ℵ1 Diskussion:Parallelogrammgleichung#c-CWitte-2010-09-29T21:46:00.000Z-Implikation oder Äquivalenz11
- Ohne Quelle? Hast Du zumindest einen Beweis? -- Digamma Diskussion:Parallelogrammgleichung#c-Digamma-2010-10-09T09:41:00.000Z-CWitte-2010-09-29T21:46:00.000Z11
- Ergänzung: Die Aussage steht indirekt in der englischen Wikipedia:
- For the general quadrilateral with four sides not necessarily equal,
- where x is the length of the line joining the midpoints of the diagonals. It can be seen from the diagram that, for a parallelogram, then x = 0 and the general formula reduces to the parallelogram law.
- Daraus ergibt sich auch die Umkehrung: Gilt die Parallelogrammgleichung, so ist x = 0, also teilen sich die Diagonalen gegenseitig in der Mitte. Daraus folgt, dass das Viereck ein Parallelogramm ist. Leider gibt auch die englische Wikipedia dafür keine Quelle an. -- Digamma Diskussion:Parallelogrammgleichung#c-Digamma-2010-10-09T10:14:00.000Z-CWitte-2010-09-29T21:46:00.000Z11
- Ja, stimmt. Der Beweis für die Formel für das allgemeine Viereck und die daraus folgende Äquivalenz Parallelogrammgleichung <=> Parallelogramm ist einfach. Mich wundert es einfach, dass man so schwer eine Quelle findet. Den Beweis hier hinzuballern ist auch nicht ideal, denke ich.--CWitte ℵ1 Diskussion:Parallelogrammgleichung#c-CWitte-2010-10-12T15:42:00.000Z-Digamma-2010-10-09T10:14:00.000Z11
- Wenn der Beweis einfach ist und nicht zu aufwendig zu tippen, dann kannst Du ihn vielleicht hier auf die Diskussionsseite stellen. Das hat hilft zumindest, einen Revert oder eine Löschung wegen fehlender Quellen zu vermeiden. Möchtest Du die Aussage selbst in den Text einbauen? -- Digamma Diskussion:Parallelogrammgleichung#c-Digamma-2010-10-12T16:07:00.000Z-CWitte-2010-10-12T15:42:00.000Z11
- Ich habe es mal eingebaut. An den Formulierungen kann man sicher noch feilen. -- Digamma Diskussion:Parallelogrammgleichung#c-Digamma-2010-10-12T16:31:00.000Z-CWitte-2010-10-12T15:42:00.000Z11
- Ja, stimmt. Der Beweis für die Formel für das allgemeine Viereck und die daraus folgende Äquivalenz Parallelogrammgleichung <=> Parallelogramm ist einfach. Mich wundert es einfach, dass man so schwer eine Quelle findet. Den Beweis hier hinzuballern ist auch nicht ideal, denke ich.--CWitte ℵ1 Diskussion:Parallelogrammgleichung#c-CWitte-2010-10-12T15:42:00.000Z-Digamma-2010-10-09T10:14:00.000Z11
Ich schreibe den Beweis mal schnell hier auf (Kurzversion). Am einfachsten ist es vektoriell:
Seien die vier Vektoren gegeben, die die Seiten eines ebenen Vierecks bilden. Es gilt dann die Schließbedingung a+b+c+d=0. Ferner seien die Diagonalen und der Verbindungsvektor zwischen den Mittelpunkten der Diagonalen. Für die Quadrate der Seitenlängen und Diagonalenlängen gilt dann:
Einfaches Rumgerechne mit Vektoren also. In der zweiten Zeile der Gleichungkette wird die Schließbedingung verwendet. Mit Skizze und etwas ausführlicher noch verständlicher :-)--CWitte ℵ1 Diskussion:Parallelogrammgleichung#c-CWitte-2010-10-12T16:33:00.000Z-Implikation oder Äquivalenz11
Beweis mit Cosinussatz?
[Quelltext bearbeiten]Das ist doch viel kürzer: . --Quilbert 問 Diskussion:Parallelogrammgleichung#c-Quilbert-2008-05-25T11:31:00.000Z-Beweis mit Cosinussatz?11
Grafik
[Quelltext bearbeiten]Die Grafik enthält unnötige Bezeichnungen. (nicht signierter Beitrag von 88.70.53.172 (Diskussion) Diskussion:Parallelogrammgleichung#c-88.70.53.172-2010-06-30T08:15:00.000Z-Grafik11)
- Ja. Die Grafik bezieht sich auf den (kompliziereten) alten Beweis: http://de.wikipedia.org/w/index.php?title=Parallelogrammgleichung&diff=prev&oldid=46515729 Vielleicht macht sich jemand die Muehe und erstellt eine neue Grafik. --NeoUrfahraner Diskussion:Parallelogrammgleichung#c-NeoUrfahraner-2010-06-30T09:04:00.000Z-88.70.53.172-2010-06-30T08:15:00.000Z11
Gültigkeit für normierte Räume ohne Innenprodukt
[Quelltext bearbeiten]Der Teil "Gültigkeit für normierte Räume ohne Innenprodukt" bedarf einer klareren Formulierung. (nicht signierter Beitrag von 88.70.53.172 (Diskussion) Diskussion:Parallelogrammgleichung#c-88.70.53.172-2010-06-30T08:15:00.000Z-Gültigkeit für normierte Räume ohne Innenprodukt11)
- Was genau ist unklar? --NeoUrfahraner Diskussion:Parallelogrammgleichung#c-NeoUrfahraner-2010-06-30T09:08:00.000Z-88.70.53.172-2010-06-30T08:15:00.000Z11
Definition des Skalarprodukts
[Quelltext bearbeiten]Interessanterweise gilt der Satz nur für die Räume, in denen die Norm auf die übliche Weise aus einem Innenprodukt hervorgeht, denn wenn man die Gültigkeit voraussetzt, dann ist durch
"automatisch" ein inneres Produkt definiert, dessen Norm genau diese Eigenschaft erfüllt.
Das funktioniert so nur für reelle Vektorräume, vgl. Prähilbertraum#Parallelogrammgleichung. -- Digamma Diskussion:Parallelogrammgleichung#c-Digamma-2010-08-05T20:02:00.000Z-Definition des Skalarprodukts11
Rechtschreibung: Satz von Jordan-von Neumann
[Quelltext bearbeiten]Nach deutscher Rechtschreibung müsste man den Begriff durchkoppeln. Es müsste also Satz von Jordan-von-Neumann heißen. Vergleiche auch die Weiterleitung Satz von Seifert-van-Kampen. Sollte die Regelung des Dudens hier Anwendung finden, oder gibt es neue deutsche Quellen, die auf den zweiten Bindestrich verzichten? --Christian1985 (Diskussion) Diskussion:Parallelogrammgleichung#c-Christian1985-2012-01-13T19:12:00.000Z-Rechtschreibung: Satz von Jordan-von Neumann11
- Hm, das war aber dann schon lange falsch. Soll ich den Redirect verschieben und die Links umbiegen? Früher oder später sollte zu diesem wichtigen Satz sowieso ein eigener Artikel her. Grüße, --Quartl Diskussion:Parallelogrammgleichung#c-Quartl-2012-01-13T19:28:00.000Z-Christian1985-2012-01-13T19:12:00.000Z11