FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Mathe

Interessanter Beweis

Interessanter Beweis 2003-07-09 22:14
Christoph
[img]http://mokrates.de/cgi-bin/texstring?%5Ctextbf%7B%5Cunderline%7BBeh.:%7D%7D%20In%20$%5Cmathbb%7BC%7D%5Csetminus%5Cmathbb%7BR%7D$%20gilt:%20$%5Cforall%20n%5Cin%5Cmathbb%7BN%7D:%5C,%5Cdisplaystyle%5Csum_%7Bi=1%7D%5En%20i%5E2=%20-n$.%0D%0A%0D%0A%5Ctextb
f%7B%5Cunderline%7BBeweis:%7D%7D%0D%0A%0D%0AIn%20$%5Cmathbb%7BR%7D$%20gilt%20ja%20bekanntlich%20$%5Csum_%7Bi=1%7D%5En%20i%5E2%20=%20%5Cfrac%7Bn%5Ccdot(n+1)%5Ccdot(2n+1)%7D%7B6%7D$.%20Hier%20ist%20die%20Behauptung%20also%20falsch.%20In%20$%5Cmathbb%7BC%7D$
%20aber%20gilt:%20$i%5E2%20=%20-1$.%20Also%20folgt:[/img]

[img]http://mokrates.de/cgi-bin/texstring?$%0D%0A%20%5Cdisplaystyle%5Csum_%7Bi=1%7D%5En%20i%5E2%20=%20%5Csum_%7Bi=1%7D%5En%20-1%20=%20-%5Csum_%7Bi=1%7D%5En%201%20=%20-n%0D%0A$[/img]

Re: Interessanter Beweis 2003-07-09 22:24
UncleOwen
Aehm…

i und n sind natuerliche Zahlen. Was soll das C\R dann da?

Re: Interessanter Beweis 2003-07-09 22:27
UncleOwen
Desweiteren besteht ja wohl ein Unterschied zwischen der imaginaeren Einheit i und einem Summationsindex i…

Re: Interessanter Beweis 2003-07-09 22:38
Zaphod
pssssssssssssst
Das muss doch nicht jeder gleich merken, Petze! [img]http://www.fb18.de/gfx/7.gif[/img]

Re: Interessanter Beweis 2003-07-09 22:57
MoKrates
Aeh… Ja…

MoKrates

Re: Interessanter Beweis 2003-07-15 21:06
XeXano
Ich kenne auch einen interessanten Beweis:

Je mehr Käse, desto mehr Löcher.
Je mehr Löcher, desto weniger Käse.
Also: Je mehr Käse, desto weniger Käse.

Re: Interessanter Beweis 2003-07-15 23:01
Christoph
[img]http://www.fb18.de/gfx/14.gif[/img]

@Mokrates: Unten in der TeX-Ausgabe sind 2 kleine Fehler, die nicht aus meinem Quelltext kommen, sondern von deinem TeX-Compiler fürs Forum verursacht werden. Vielleicht willst du den ja noch optimieren (wobei der schon jetzt echt klasse ist).

Re: Interessanter Beweis 2003-07-15 23:04
MoKrates
Kannst Du mal den Quelltext posten?

MoKrates

Re: Interessanter Beweis 2003-07-15 23:49
Christoph
aber klar:

\documentclass{article} \usepackage{german} \usepackage{amssymb} \begin{document} \textbf{\underline{Beh.:}} In $\mathbb{C}\setminus\mathbb{R}$ gilt: $\forall n\in\mathbb{N}:\,\displaystyle\sum_{i=1}^n i^2= -n$. \textbf{\underline{Beweis:}} In $\mathbb{R}$ gilt ja bekanntlich $\sum_{i=1}^n i^2 = \frac{n\cdot(n+1)\cdot(2n+1)}{6}$. Hier ist die Behauptung also falsch. In $\mathbb{C}$ aber gilt: $i^2 = -1$. Also folgt: $ \displaystyle\sum_{i=1}^n i^2 = \sum_{i=1}^n -1 = -\sum_{i=1}^n 1 = -n $ \end{document}

Re: Interessanter Beweis 2003-07-16 03:23
MoKrates
Mein TeX-Programm setzt automatisch Deinen Code in eine
\begin{displaymath} Umgebung. Das musst Du bedenken, wenn Du da code Texst. Ja, ich weiss, es ist nicht gut dokumentiert. Also Asche auf mein/Dein Haupt :>

MoKrates

Re: Interessanter Beweis 2003-07-16 14:55
UncleOwen
Noch was schoenes…

[img]http://mokrates.de/cgi-bin/texstring?%5Ctextnormal%7BSei%20%7DK%5Ctextnormal%7B%20ein%20kommutativer%20K%5C%22orper,%20%7D%0Aa,b,c%20%5Cin%20K%5Ctextnormal%7B,%20und%20%7D%0Aa=b+c%20%5Ctextnormal%7B.%7D[/img]

Dann gilt:
[img]http://mokrates.de/cgi-bin/texstring?%5Cbegin%7Barray%7D%7Brcl%7D%0Aa%20%20%20%20%20%20%20%20%20&=&%20b+c%20%20%20%20%20%20%20%20%20%20%5C%5C%0Aa(a-b)%20%20%20%20&=&%20(b+c)(a-b)%20%20%20%5C%5C%0Aa%5E2-ab%20%20%20%20&=&%20ba-b%5E2+ca-cb%20%5C%5C%0Aa%
5E2-ab-ac%20&=&%20ba-b%5E2-bc%20%20%20%20%5C%5C%0Aa(a-b-c)%20%20&=&%20b(a-b-c)%20%20%20%20%20%5C%5C%0Aa%20%20%20%20%20%20%20%20%20&=&%20b%0A%5Cend%7Barray%7D%0A%0A%0A%0A[/img]

Wo ist das c hin verschwunden?

Re: Interessanter Beweis 2003-07-16 15:14
leif
NevguzrgvpRkprcgvba "qvivfvba ol mreb"


Re: Interessanter Beweis 2003-07-16 15:39
UncleOwen
NevguzrgvpRkprcgvba "qvivfvba ol mreb"

<quote src="triphoenix">[img]http://www.fb18.de/gfx/22.gif[/img]</quote>


Re: Interessanter Beweis 2003-07-16 16:01
Zaphod
[img]http://www.fb18.de/gfx/14.gif[/img]
Dass die Äquivalenzpfeile da nicht stehen, ist schon ganz richtig [img]http://www.fb18.de/gfx/25.gif[/img]

Re: Interessanter Beweis 2003-07-16 16:50
tekai
heh, da hab ich die Übersetzung doch glatt für nen Eingabefehler gehalten [img]http://www.fb18.de/gfx/23.gif[/img]

Re: Interessanter Beweis 2003-07-16 18:50
Anonymer User
dehwisn bai sieroh
pass doch mal auf [img]http://www.fb18.de/gfx/23.gif[/img]

Re: Interessanter Beweis 2003-07-17 17:46
Anonymer User
a = b+c => a-b-c = 0

In a(a-b-c) = b(a-b-c) kann man nicht (a-b-c) herauskürzen - Division durch 0.

Re: Interessanter Beweis 2003-07-17 17:52
Anonymer User
Oha!

Ich sehe gerade, dass ich mich zu den Blitzmerkern zählen kann.

Re: Interessanter Beweis 2003-07-17 17:59
Popcorn
[img]http://www.fb18.de/gfx/15.gif[/img]

Re: Interessanter Beweis 2003-07-17 18:29
DonKojote
Ich kann da nur Prof. Günther zitieren:

"Mathematik macht Spaß. Das ist ein Axiom".


Re: Interessanter Beweis 2003-07-17 18:49
UncleOwen
"Mathematik macht Spaß. Das ist ein Axiom".

Der Typ wird mir immer sympathischer [img]http://www.fb18.de/gfx/14.gif[/img]

Re: Interessanter Beweis 2003-07-17 23:16
Faleiro
Wie ist "Axiom" denn definiert?

Re: Interessanter Beweis 2003-07-18 08:09
MoKrates
Axiom bedeutet, wenn Du nachfragst, hast Du es nicht verstanden.

MoKrates

Re: Interessanter Beweis 2003-07-18 10:48
Popcorn
Ein Axiom ist ein Satz, durch den man, mit Hilfe logischer Schlüsse alle anderen Sätze der Theorie ableiten lassen, zu der er gehört. Bzw. können es auch Axiome sein, wenn ein Satz allein nicht reicht.

Re: Interessanter Beweis 2003-08-02 16:01
tekai
Aus dem h2g2:

Basic Methods of Mathematical Proof
http://www.bbc.co.uk/dna/h2g2/A387470

Bei den etwas "anspruchsvolleren" Beweisen muß ich immer an Krämer denken.