Das Quadrat \( Q_{i,j} \) liegt im Dreieck \( D \) wenn die Oberkante des Quadarats unterhalb oder auf der Winkelhalbierenden liegt. D.h. es muss gelten \( \frac{j}{n} \le \frac{i-1}{n} \) oder anders geschrieben \( j \le i-1 \) oder auch \( j < i \)
In diesem Fall ist \( \mathbb{1}_D\left(Q_{i,j}\right) = 1 \)
Das Quadrat \( Q_{i,j} \) liegt nicht im Dreieck \( D \) wenn die Unterkante des Quadarats oberhalb der Winkelhalbierenden liegt. D.h. es muss gelten \( \frac{j-1}{n} > \frac{i}{n} \) oder anders geschrieben \( j > i+1 \)
In diesem Fall ist \( \mathbb{1}_D\left(Q_{i,j}\right) = 0 \)
Damit bleiben noch zwei Möglichkeiten offen, nämlich \( j = i+1 \) und \( j=i \)
Bei \( j = i \) teilt die Winkelhalbierende gerade das Quadrat \( Q_{i,j} = Q_{i,i} \) Deshalb ist das
\( \inf \mathbb{1}_D\left(Q_{i,j}\right) = 0 \) und das \( \sup \mathbb{1}_D\left(Q_{i,j}\right) = 1 \) weil Werte des Quadrats innerhalb und außerhalb des Dreiecks \( D \) liegen.
Im Fall \( j = i+1 \) liegt die untere rechte Kante des Quadrats gerade auf der Winkelhalbierenden. Deshalb gibt es auch hier Werte des Quadrats, die im und nicht im Dreieck \( D \) liegen und es gilt wieder
\( \inf \mathbb{1}_D\left(Q_{i,j}\right) = 0 \) und das \( \sup \mathbb{1}_D\left(Q_{i,j}\right) = 1 \)
Jetzt zur Berechnung der Untersumme
$$ U(\mathbb{1}_D,Z_n ) = \sum_{i=1}^n \sum_{j=1}^n \inf \mathbb{1}_D\left(Q_{i,j}\right) \cdot \left| Q_{i,j} \right| $$
Wegen \( \left| Q_{i,j} \right| = \frac{1}{n^2} \) gilt also
$$ U(\mathbb{1}_D,Z_n ) = \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^n \inf \mathbb{1}_D\left(Q_{i,j}\right) $$
Wie aber oben beschrieben ist das Infimum für \( j > i \) aber Null und für \( j \le i-1 \) Eins. Deshalb hat die Summierung nur bis \( j = i-1 \) zu erfolgen.
Es gilt also
$$ U(\mathbb{1}_D,Z_n ) = \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^{i-1} 1 $$ da \( i-1 < 1 \) für \( i = 1 \) gilt, beginnt die Summierung bzgl. des Indexes \( i \) erst bei \( 2 \), also
$$ U(\mathbb{1}_D,Z_n ) = \frac{1}{n^2} \sum_{i=2}^n \sum_{j=1}^{i-1} 1 $$
Bei der Obersumme geht es in etwa ebenso.
Ich habe es so berechnet
$$ O(\mathbb{1}_D,Z_n ) = \frac{1}{n^2} \sum_{i=1}^n \sum_{j=1}^{i+1} 1 = \frac{1}{n^2} \left( \frac{n(n+1)}{2} + n \right) $$
mein Ergebnis unterscheidet sich etwas von Deiner Lösung. Entweder ist die Musterlösung falsch oder ich hab mich verrechnet. Am Endergebnis ändert sich allerdings nichts.