für n=1 gilt n2=1≥1=a1a1=∑i,j=1najai. Dies ist der Induktionsanfang.
Sei ∑i,j=1n−1ajai≥(n−1)2. Dies ist die Induktionsvoraussetzung.
Es ist
∑i,j=1najai=∑i.j=1n−1ajai+anan+∑i=1n−1(anai+aian)
≥(n−1)2+1+2(n−1)
=n2.
Dies war der Induktionsschritt. In diesem wird vorausgesetzt, dass a+a1≥2 ist, was sich an der Minimalstelle amin von g(a)=a2+1−2a erkennen lässt, die bei amin=1 liegt und für die g(amin)=0 gilt.
Bei allen Umformungen wird verwendet, dass ai>0 ist.
Die Gleichheit n2=∑i,j=1najai gilt immer für n=1 und für alle n, falls ai=aj für alle i,j ist.
Beachte, dass an die ai keine bestimmte Voraussetzung außer die der Positivität gestellt wird, sodass der Induktionsschritt für beliebige an immer gültig ist.
Mister