Racionalizacijom slijedi
20+233=23−20.
Primjenom binomnog poučka imamo
(20+23)2024=n=0∑2024(n2024)20,n⋅23,2024−n,
te
(20+23)202432024=(23−20)2024=n=0∑2024(n2024)(−1)n⋅20,n⋅23,2024−n.
Zbrajanjem tih dvaju izraza izrazi uz parne indekse n se poklapaju, dok se oni s neparnim indeksom n krate.
Korištenjem n=2k traženi izraz možemo zapisati u sljedećem obliku:
(20+23)2024+(20+23)202432024=2k=0∑1012(2k2024)202k⋅232(1012−k)=2k=0∑1012(2k2024)20k⋅231012−k.
Zadnji izraz očito je prirodan broj kao suma takvih, čime je tvrdnja zadatka dokazana.