Beanspruchen: für . Bearbeiten:
Beweis: Da das zu Beweisende biconditional ist, müssen wir beides beweisen Und sind wahr.
Das beweisen wir erstmal ist nach Induktion wahr. Es ist trivial zu zeigen, dass dies für den Fall gilt , und ich habe früher bewiesen, dass es auch für den Fall gilt (Wir brauchen das hier also nicht zu beweisen.
Nehmen wir an, dass die Aussage für einige gilt . Wir wollen zeigen, dass es auch für gilt .
Wir können das sagen
Das müssen wir jetzt beweisen stimmt auch. Wenn wir diese Aussage in der kontrapositiven Form schreiben, finden wir Folgendes:
Seit Und beliebige Zahlen sind, haben wir bereits bewiesen.
--
Das Obige ist mein Beweisversuch, ich möchte, dass jemand bestätigt, ob es richtig ist oder nicht. Für die Zeile, in der ich die Äquivalenz festlege , muss ich klarstellen, dass ich dies als gegeben verwenden musste und würde mich freuen, wenn jemand darauf hinweisen könnte, warum dies offensichtlich ist oder wie man das beweist, fast als Lemma für den Beweis. Meine letzte Bitte ist, dass Sie, wenn es irgendein Problem mit meinem tatsächlichen Korrekturschreiben gibt, darauf hinweisen (z. B. ist dies ein üblicher Stil oder ist er ungewöhnlich und schwer zu befolgen usw.).
Edit: Es wurde darauf hingewiesen, dass ich das vergessen habe Und sind positiv, also habe ich das aufgenommen.
Hinweis:
Für , hält offensichtlich.
Nehmen Sie das jetzt für einige an ,
Dann nach der Regel der Multiplikation von Ungleichungen,
so dass
Probieren Sie jetzt das Kontrapositiv aus.
David
Cameron Williams
dxiv
true by induction
Wie gesagt, das ist ein direkter Beweis, da die Induktionshypothese nie verwendet wird.David
Cameron Williams
Benjamin
David
kupfer.hut