$a^n-b^n=(a-b)\sum_{i=0}^{n-1} a^{n-1-i}b^{i}$
Kanıt: n üzerine tümevarımla. İlk n'ler için Ökkeş yazmış.
Şimdi n için kabul edip n+1 için kanıtlayalım.
$a^{n+1}-b^{n+1}=aa^n-bb^n=aa^n-ab^n+ab^n-bb^n=a(a^n-b^n)+b^n(a-b)=^{TV}a(a-b)\sum_{i=0}^{n-1} a^{n-1-i}b^{i}+b^n(a-b)=(a-b)(\sum_{i=0}^{n-1} a^{n-i}b^{i} + b^n)=(a-b)\sum_{i=0}^{n} a^{n-i}b^{i}$
İstediğimiz kanıtlandı.