Lösung von Teilaufgabe e

== Beweisführung zur n-ten Ableitung der Funktion f<sub>a</sub> durch vollständige Induktion==

Beweise, dass<br />
<math>y=f_a^{(n)}(x)=(-1)^{n+1}\cdot(n-x+a)\cdot e^{a+2-x}</math>
die n-te Ableitung von <math>f_a (x) = ( x - a )\cdot e^{a+2-x}</math>ist. (Behauptung)

[http://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Vollst%C3%A4ndige_Induktion Hilfe zur vollständigen Induktion]


=== 1. Induktionsanfang: ===

Die erste Ableitung ist: <math> f^{'}_a (x) = ( x - a - 1 )\cdot (-e^{a + 2 - x}) </math> (siehe Teilaufgabe a / Extrempunkte)<br />

Die Behauptung stimmt damit überein: 

::<math>f_a^{(1)}(x)=(-1)^{1+1}\cdot(1-x+a)\cdot e^{a+2-x}</math><br />

::::<math>=(-1)^{2}\cdot(1-x+a)\cdot e^{a+2-x}</math><br />

::::<math>=1\cdot(1-x+a)\cdot e^{a+2-x}</math><br />

::::<math>=(1-x+a)\cdot e^{a+2-x}</math><br />

::::<math>=(x-a-1)\cdot (-e^{a+2-x})</math><br />


=== 2. Induktionsschritt: === 

Anfangsgleichung: <math>f_a^{(n)}(x)=(-1)^{n+1}\cdot(n-x+a)\cdot e^{a+2-x}</math>

Zielgleichung:   <math>f_a^{(n+1)}(x)=(-1)^{(n+1)+1}\cdot((n+1)-x+a)\cdot e^{a+2-x}</math>

Wenn die n-te Ableitung von f<sub>a</sub> für n stimmt, muss sie auch für n+1 stimmen.<br />

Dies soll nun bewiesen werden.<br />


Der Beweis stimmt, wenn <math>f_a^{(n)'}(x)= f_a^{(n+1)}(x)</math><br />


Um die erste Ableitung zu bekommen, muss man hier die Produktregel verwenden
[[http://de.wikipedia.org/wiki/Produktregel Hilfe zur Produktregel]]<br />

:<math>f_a^{(n)'}(x)= (-1)^{n+1}\cdot((n-x+a)\cdot e^{a+2-x}\cdot (-1) + (-1)\cdot e^{a+2-x}</math><br />

:::<math>=(-1)^{n+1}\cdot (-1)\cdot e^{a+2-x}\cdot (n-x+a+1)</math><br />

:::<math>=(-1)^{n+1+1}\cdot e^{a+2-x}\cdot (n+1-x+a)</math><br />

:::<math>=(-1)^{(n+1)+1}\cdot ((n+1)-x+a)\cdot e^{a+2-x} = f_a^{(n+1)}(x)</math>

== Beweisführung durch Betrachtung der Ableitungen von <math>f_a</math> ==

Durch Betrachtung der Ableitungen und Integrale von <math>f_a (x)</math> lässt sich eine gewisse Regel erkennen.<br />

:<math>Stammfunktion:     \;\;\; F_a (x) = ( x - a + 1 )\cdot e^{a + 2 - x}\cdot (-1) </math> <br />
:<math>Funktion:     \;\;\;\;\;\;\;\;\;\;\;\;\;\; f_a (x) = ( x - a )\cdot e^{a + 2 - x} </math> <br />
:<math>1. Ableitung:   \;\;\;\;\;\;\;\; \;\;\; f^{'}_a (x) = ( x - a - 1 )\cdot e^{a + 2 - x}\cdot (-1) </math> <br />
:<math>2. Ableitung:    \;\;\;\; \;\;\;\;\;\;f^{''}_a (x) = ( x - a - 2 )\cdot e^{a + 2 - x} </math> <br />
:<math>3. Ableitung:    \;\;\;\;\;\;\;\;\;\; f^{'''}_a (x) = ( x - a - 3 )\cdot e^{a + 2 - x}\cdot (-1) </math> <br />

Aus den gezeigten Ableitungen lässt sich erkennen, ausgehend von der Stammfunktion, dass je einer Ableitung der erste Faktor diese Produkts (die Variablen in der Klammer) um je eins abnimmt. Außerdem wird bei jeder zweiten Ableitung eine Änderung des Vorzeichen verzeichnet. Das heißt, dass jede zweite Ableitung mit (-1) multipliziert wird.

:<math>\sum_{1}^\infty (-1)^{n}\cdot(x-a-n)\cdot e^{a+2-x}=</math><br />
:=<math>\sum_{1}^\infty (-1)^{n}\cdot(-1)\cdot(n-x+a)\cdot e^{a+2-x}</math><br />
:=<math>\sum_{1}^\infty (-1)^{n+1}\cdot(n-x+a)\cdot e^{a+2-x} = f_a^{(n)}(x)</math><br />

Die durch die Überlegung entwickelte Formel für die n-te Ableitung von f<sub>a</sub>(x) stimmt mit der, die bewiesen werde sollte überein.<br />
<math>y=f_a^{(n)}(x)=(-1)^{n+1}\cdot(n-x+a)\cdot e^{a+2-x}</math>

Diese Methode der Beweisführung ist kein echter Beweis, da nie alle Ableitungen in betracht gezogen werden können, sondern nur ein kleiner Teil.
Sie ist eher zum besseren Verstehen und Vorstellen vorhanden.