Senin verdiğin örnek üzerinden iki tane farklı formül yazalım;
|x|+|y|<10 aslında |x|+|y|≤9 anlamına geliyor, çünkü x,y∈Z, özdeş nesnelerin dağıtımıyla a1+a2+⋯+ar=n denkleminin negatif olmayan (n+r−1r−1) tane çözümü olduğunu biliyoruz, bunu |x|=a ve |y|=b diyerek uygulayalım, a+b=9⇒10a+b=8⇒9a+b=7⇒8a+b=6⇒7...a+b=0⇒1 tane çözümü mevcut, dikkat edersek |x|=a iken x={a,−a} çözümleri mevcut ve |y|=b iken y={b,−b} olup iki tane çözüm mevcut, a=0 veya b=0 olan durumlar da 2 tane var, bunlar farklı şekilde sayılacağı için bunları ayıralım, ikişer çözüm çıkardığımız ifadeleri 4 ile çarpalım, ve sonra a=0 ve b=0 olduğunda gelecek 2⋅2 kadar çözümü terim sayısı kadar ekleyelim, a+b=0'ın da bir çözümü var ayrıca, bu yüzden onu dışarı alacağız:
4⋅8+4+4⋅7+4+⋯+4⋅0+4+1=4(8+7+6+⋯+1)+4⋅9+1=181 oluyor, Bu ifadede n=9 dersek 4⋅n(n−1)2+4n+1=4⋅n(n+1)2+1=2n(n+1)+1=n2+(n+1)2 geliyor. Bu ikisini zamanım olunca tümevarımla ispatlayabilirim,hatta sen de uğraşabilirsin.