Hinterlegte Regeln - Revision history

Sven.guyet at 18:34, 5 April 2023

2023-04-05T18:34:13Z

Sven.guyet at 18:32, 5 April 2023

2023-04-05T18:32:21Z

Sven.guyet at 12:45, 19 January 2023

2023-01-19T12:45:49Z

Sven.guyet at 12:45, 19 January 2023

2023-01-19T12:45:23Z

Sven.guyet at 12:36, 19 January 2023

2023-01-19T12:36:51Z

Sven.guyet: /* Äquivalenzumformungen */

2023-01-19T10:12:50Z

‎Äquivalenzumformungen

Sven.guyet at 09:38, 19 January 2023

2023-01-19T09:38:20Z

Sven.guyet at 09:37, 19 January 2023

2023-01-19T09:37:45Z

Sven.guyet: Created page with "
Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und W..."

2023-01-19T09:37:09Z

Created page with "Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und W..."

New page

Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt:
Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.


== Äquivalenzumformungen ==

Das Ziel einer '''Äquivalenzumformung''' besteht darin, die Lösungsmenge einer Gleichung oder Ungleichung unverändert zu lassen.
Wir haben
\[ l_0(x) = r_0(x) \]
und
\[ l_1(x) = r_1(x) \],
wobei \( x \) einen Vektor mit allen beteiligten Variablen bezeichnet. Die beiden Gleichungen sind identisch, falls
\[ l_0(x)=l_1(x) \) und \( r_0(x)=r_1(x) \9
oder
\[ l_0(x)=r_1(x) \) und \( r_0(x)=l_1(x) \].
Gilt
\[ l_1(x)-r_1(x) = \alpha \left(l_0(x)-r_0(x)\right) \]
mit \( \alpha \in \mathbb{R} \), dann wurde die erste Gleichung mit einem Faktor multipliziert.
Bei einer '''Implikation''' kann die Lösungsmenge einer Gleichung oder Ungleichung vergrößert werden.
Daher muss anschließend eine Probe durchgeführt werden:
\[ l_1(x)-r_1(x) = \alpha(x) \left(l_0(x)-r_0(x)\right) \]


== Auswertungen ==

Bei einer Auswertungsaufgabe beginnen wir mit einem Ausdruck, der für sich noch nicht elementar ausgewertet werden kann.
Der Term kann etwa Integrale, Summen oder Grenzwerte enthalten. Das Ziel besteht daher darin, den Term solange umzuformen,
bis dieser ausgewertet werden kann. Hier ein Beispiel:

\begin{eqnarray*}
\lim_{n \to \infty} \frac{n+2}{2n-1} & = & \lim_{n \to \infty} \frac{n(1+2/n)}{n(2-1/n)} \\
& = & \lim_{n \to \infty} \frac{1+2/n}{2-1/n} \\
& = & \frac{1}{2}
\end{eqnarray*}

Bei Grenzwerten sind im System die folgenden Regeln hinterlegt:

* \( \displaystyle \lim_{n\to \infty} a x^{\alpha} = \left\{ \begin{array}{rl}
0 &, \alpha < 0 \\
a &, \alpha = 0 \\
\infty &, \alpha > 0, a > 0 \\
-\infty &, \alpha > 0, a < 0
\end{array} \right.
\) 
* \( \displaystyle \lim_{x \to x_0} f(x) = f(x_0) \), falls \( f(x_0) \) existiert. 
* \( \displaystyle \lim_{x \to x_0} \left( f(x) \cdot g(x) \right)
= \lim_{x \to x_0} \left( f(x)\right) \cdot \lim_{x \to x_0} \left(g(x) \right) \), falls die beiden Grenzwerte existieren und nicht die Form \( 0 \cdot \infty \) auftritt. 
* \( \displaystyle \lim_{x \to x_0} \frac{f(x)}{g(x)}
= \lim_{x \to x_0} \frac{ f'(x)}{g'(x)} \), falls der Grenzwert die Form \( 0/0 \) oder \( \infty / \infty \) hat.


== Bestimmung des Wertebereichs einer Funktion ==

Zur Bestimmung des Wertebereichs einer Funktion
\[ f: \left\{ \begin{array}{rcl} D &\to& \mathbb{R} \\ x& \mapsto & f(x) \end{array} \right. \]
muss untersucht werden, für welche \( y \in \mathbb{R} \) die Gleichung
\[ y = f(x) \]
eine Lösung besitzt. Wir sind allerdings nicht an der Lösung selbst interessiert, sondern nur an der Lösbarkeit der Gleichung!
Diese Fragestellung kann etwa auf die folgenden Fälle führen, die vom System erkannt werden:

* Für alle \( x \in \mathbb{R} : g(y) = x^2 \;\Leftrightarrow\; g(y) \ge 0 \) Beispiel: \( \quad 2y+1 = x^2 \;\Leftrightarrow\; 2y+1 \ge 0 \) 
* Für alle \( x \in \mathbb{R} : g(y) = \alpha \sin(\omega x + \varphi) \;\Leftrightarrow\; |g(y)| \le |\alpha| \) Beispiel: \( \quad 2y+1 = -2 \sin(3x-1) \,\Leftrightarrow\, |2y+1| \le 2 \) 
* Für alle \( x \in \mathbb{R} : g(y) = \alpha \cos(\omega x + \varphi) \;\Leftrightarrow\; |g(y)| \le |\alpha| \) Beispiel: \( \quad 2y+1 = -2 \cos(3x-1) \;\Leftrightarrow\; |2y+1| \le 2 \)

Die Frage nach der Lösbarkeit einer Gleichung führt in diesen Fällen auf Ungleichungen,
die die Menge aller möglichen \( y \) Werte bestimmen.

← Older revision		Revision as of 18:34, 5 April 2023
Line 1:		Line 1:
		+	== Einleitung ==
	<p>Bei '''[[Herleitungsaufgaben]]''' versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>		<p>Bei '''[[Herleitungsaufgaben]]''' versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>

@@ Line 1: / Line 1: @@
 <p>Bei '''[[Herleitungsaufgaben]]''' versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>
 <!-- *********************************************************** -->
 <p>Das Ziel einer '''Äquivalenzumformung''' besteht darin, die Lösungsmenge einer Gleichung oder Ungleichung unverändert zu lassen.
 Angenommen, wir haben zwei Gleichungen</p>
@@ Line 17: / Line 22: @@
 \( l_1(x)-r_1(x) = \alpha(x) \left(l_0(x)-r_0(x)\right)  \)
 <!-- *********************************************************** -->
 <p>Bei einer Auswertungsaufgabe beginnen wir mit einem Ausdruck, der für sich noch nicht elementar ausgewertet werden kann.
 Der Term kann etwa Integrale, Summen oder Grenzwerte enthalten. Das Ziel besteht daher darin, den Term solange umzuformen,
@@ Line 45: / Line 55: @@
 = \lim_{x \to x_0} \frac{ f'(x)}{g'(x)} \), falls der Grenzwert die Form \( 0/0 \) oder \( \infty / \infty \) hat.
 <!-- *********************************************************** -->
 <p>Zur Bestimmung des Wertebereichs einer Funktion</p>
 \[ f: \left\{ \begin{array}{rcl} D &\to& \mathbb{R} \\ x& \mapsto & f(x) \end{array} \right. \]
@@ Line 61: / Line 76: @@
 <p>Die Frage nach der Lösbarkeit einer Gleichung führt in diesen Fällen auf Ungleichungen,
 die die Menge aller möglichen \( y \) Werte bestimmen.</p>

← Older revision		Revision as of 12:45, 19 January 2023
Line 18:		Line 18:

	<!-- *********************************************************** -->		<!-- *********************************************************** -->
−
	== Auswertungen ==		== Auswertungen ==

@@ Line 5: / Line 5: @@
 <p>Das Ziel einer '''Äquivalenzumformung''' besteht darin, die Lösungsmenge einer Gleichung oder Ungleichung unverändert zu lassen.
-Wir haben</p>
+Angenommen, wir haben zwei Gleichungen</p>
-\[ l_0(x) = r_0(x) \]
+\( l_0(x) = r_0(x) \) und \( l_1(x) = r_1(x) \), wobei \( x \) einen Vektor mit allen beteiligten Variablen bezeichnet.</p>
-<p>und</p>
+<p>Die beiden Gleichungen sind äquivalent, falls</p>
-\[ l_1(x) = r_1(x) \],
+\( l_0(x)=l_1(x) \) und \( r_0(x)=r_1(x) \)
 <p>oder</p>
-\[ l_0(x)=r_1(x) \]
+\( l_0(x)=r_1(x) \) und \( r_0(x)=l_1(x) \).
-<p>und</p>
+<p>Gilt \( \quad l_1(x)-r_1(x) = \alpha \left(l_0(x)-r_0(x)\right) \quad \)
-\[ r_0(x)=l_1(x) \].
+mit \( \alpha \in \mathbb{R} \), dann wurde die erste Gleichung mit einem Faktor multipliziert.</p>
 <p>Bei einer '''Implikation''' kann die Lösungsmenge einer Gleichung oder Ungleichung vergrößert werden.
 Daher muss anschließend eine Probe durchgeführt werden:</p>
-\[ l_1(x)-r_1(x) = \alpha(x) \left(l_0(x)-r_0(x)\right)  \]
+\( l_1(x)-r_1(x) = \alpha(x) \left(l_0(x)-r_0(x)\right)  \)
 <!-- *********************************************************** -->

@@ Line 10: / Line 10: @@
 \[ l_1(x) = r_1(x) \],
 <p>wobei \( x \) einen Vektor mit allen beteiligten Variablen bezeichnet. Die beiden Gleichungen sind identisch, falls</p>
-\[ l_0(x)=l_1(x) \]
+\[ l_0(x)=l_1(x) \; \text{und} \; r_0(x)=r_1(x) \]
 <p>oder</p>
 \[ l_0(x)=r_1(x) \]

← Older revision		Revision as of 09:38, 19 January 2023
Line 1:		Line 1:
−	<p>Bei [[Herleitungsaufgaben]] versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt:	+	<p>Bei '''[[Herleitungsaufgaben]]''' versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>
−	Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>

	<!-- *********************************************************** -->		<!-- *********************************************************** -->

← Older revision		Revision as of 09:37, 19 January 2023
Line 1:		Line 1:
−	<p>Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt:	+	<p>Bei [[Herleitungsaufgaben]] versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt:
	Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>		Äquivalenzumformungen, Auswertungen und Wertebereiche von Funktionen.</p>

Hinterlegte Regeln - Revision history

Sven.guyet at 18:34, 5 April 2023

Sven.guyet at 18:32, 5 April 2023

Sven.guyet at 12:45, 19 January 2023

Sven.guyet at 12:45, 19 January 2023

Sven.guyet at 12:36, 19 January 2023

Sven.guyet: /* Äquivalenzumformungen */

Sven.guyet at 09:38, 19 January 2023

Sven.guyet at 09:37, 19 January 2023

Sven.guyet: Created page with "Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und W..."

Sven.guyet: Created page with "
Bei Herleitungsaufgaben versucht das System, den Lösungsweg nachzuvollziehen. Dabei werden derzeit drei Aspekte berücksichtigt: Äquivalenzumformungen, Auswertungen und W..."