Gegeben sei das Dreieck \color{orange}D
. Welche Angabe gibt eine korrekte Beschreibung
für{\orange{D}} \subset \mathbb R^2
?
{\orange{D}} = \left\{ (x,y) \, | \, -Y \leq y \leq Y, \;
0 \leq x \leq -fractionReduce(X,Y) |y| +
X\right\}
{\orange{D}} = \left\{ (x,y) \, | \, -Y \leq y \leq Y, \;
0 \leq x \leq -fractionReduce(Y,X) |y| + X\right\}
{\orange{D}} = \left\{ (x,y) \, | \, -Y \leq y \leq Y, \;
0 \leq x \leq -fractionReduce(X,Y) |y| + Y\right\}
{\orange{D}} = \left\{ (x,y) \, | \, -Y \leq y \leq Y, \;
0 \leq x \leq fractionReduce(X,Y) |y| + X\right\}
{\orange{D}} = \left\{ (x,y) \, | \, -Y \leq y \leq Y, \;
0 \leq x \leq fractionReduce(Y,X) |y| + X\right\}
Wir sehen (durch Drehen des Kopfes nach rechts):
0 \leq x \leq \begin{cases} fractionReduce(X,Y) y + X & y < 0 \\
-fractionReduce(X,Y) y + X & y \geq 0
\end{cases}
.
Mit fractionReduce(X,Y) y + X = -fractionReduce(X,Y) (-y) + X
lässt sich die Fallunterscheidung oben zusammenfassen zu m-fractionReduce(X,Y) |y| +
X
.