a,b,c∈N olsun.
c=3⋅a+4⋅b
Olarak tanımlanan her c≥6 için a ve b sayıları vardır.
Teoremi bu hale getirelim.
~
Önkabüller:
0∈N
Kanıt.İlk iş olarak 3'ün katlarını inşa edelim.
3N={0,3,6,9,12,15,18,21,…}Başlangıç değerimize
n diyelim ve
n=6 olsun.
n∈3N olduğu açıktır.
c=n için teoremimizi şöyle uygulayabiliriz.
n=3⋅2+4⋅0n+1 ve
n+2 sayılarının var olduğunu göstermeyi başarırsak (
n+3∈3N) tüm
≥6 doğal sayıları için teoremimiz kanıtlanmış olur.
4−3=1 ve
4⋅2−3⋅2=2 olduğu açıktır. Uygulayalım.
n+1=3⋅(2−1)+4⋅(0+1)n+2=3⋅(2−2)+4⋅(0+2)Kanıtımız burada bitmiştir.
Özet olarak,
3N inşa ederek başladık.
3N kümesinin ardışık elemanlarının arasında kalan aralığı, teoremimiz ile "doldurabileceğimizi" gösterdik.
Sonuç olarak;
{3⋅a+4⋅b:a,b∈N}=N≥6