Hallo,
es gibt schon eine 'parate Formel'. Die lautet: es existiert für jedes n∈N mit n≥12 ein x und y mitn=3x+7y,x,y∈N0Induktionsanfang mit n=12 12=3⋅4+7⋅0für den Induktionsschritt muss man zwei Fälle unterscheiden.
1. Fall y≤1, dann ist x≥2 n+1=3x+7y+1=3x+7y−6+7=3(x−2)+7(y+1)=3x2+7y2,x2,y2∈N02. Fall y>1n+1=3x+7y+1=3x+7y+15−14=3(x+5)+7(y−2)=3x2+7y2,x2,y2∈N0siehe auch diese Frage.