Ich weiß, die Frage wurde hier jetzt schon ein paar mal gestellt. Aber ich kann das leider immer noch nicht nachvollziehen.
In der Musterlösung steht:
\( (1) |xy| \leq n \),
\( (2) |y| \leq 1 \).
Daraus folgt:
\( x = a^{i_x}\) mit \(1 \leq i_x \leq n \),
\( y = a^{i_y} \) mit \( 1 \leq i_y \leq n \),
\( z = a^{i_z} \) mit \( (i_x + i_y + i_z) = n^2 \)
Wenn jedoch im Extremfall \( i_x=n \) sowie \( i_y=n \), was ja laut den Folgerungen möglich wäre, dann hab ich doch \( xy = a^{2n} \), also \( |xy| = 2n \) und somit wäre doch die Bedingung (1) verletzt. Oder habe ich da einen Denkfehler drin?