Označimo
1+3+9+⋯+3m=k,12+32+92+⋯+(3m)2=p.
Odredimo brojeve k i p. Oba broja predstavljaju zbroj prvih m+1 članova geometrijskog niza, pa je
k=1⋅3−13m+1−1=23m+1−1,
p=12⋅32−1(32)m+1−1=832m+2−1.
Želimo dokazati da je zbroj prvih k prirodnih brojeva jednak p. Ako je Sk zbroj prvih k prirodnih brojeva, vrijedi
Sk=21k(k+1)=21⋅23m+1−1⋅(23m+1−1+1)=21⋅23m+1−1⋅23m+1+1=832m+2−1,
što je i trebalo dokazati.