jeder glatten Geldbetrag, der größer als 7 Euro ist : n∈ℕ, n>=8
kann man mit Münzen im Wert von 3 Euro und 5 Euro bezahlen , ohne dass man Wechselgeld zurückbekommt: es existieren p,l ∈ ℕ, sodass n=p*3+l*5
Mathematisch formuliert:
∀n∈N, n>=8 ∃p,l ∈ ℕ :n=p*3+l*5
Induktion:
Induktionsanfang:
n=8: 8=p*3+l*5 --> p=1;l=1
Induktionsvoraussetzung: n=p*3+l*5
Induktionsschritt:
n-->n+1:
n+1=p*3+l*5+1=p*3+l*5+6-5=(p+2)*3+(l-1)*5=p'*3+l'*5