Meine Lösungsidee wäre die Folgende:
Für ein festes \(c \ge 2\) definieren wir \( A_c = \{ (a,b,c) \vert a,b<c \} \). Die Abbildung \( f: A_c \rightarrow \{1, \dots, c-1\}^2, (a,b,c) \rightarrow (a,b) \) ist offensichtlich eine Bijektion. Also ist \( \vert A_c \vert = \vert \{1, \dots, c-1 \}^2 \vert = (c-1)^2 \). Außerdem ist \( \{ (a,b,c) \vert a,b < c \} = \cup_{c=2}^{n+1} A_c \) eine Partition. Und somit folgt \( \vert \{ (a,b,c) \vert a,b<c \} \vert = \sum_{c=2}^{n+1} \vert A_c \vert = \sum_{c=2}^{n+1} (c-1)^2 = \sum_{c=1}^n c^2 = \frac{(n^2+n)(2n+1)}{6} \).
Student, Punkte: 7.02K