Question

已知a_n=4n+5，b_n=3ⁿ，求證：對任意正整數n，都存在正整數p，使得a_p=b_n²成立．

Answer 1

a_n=4n+5=4（n+1）+1，表示的是被4除余1的數，
而b_n²=9ⁿ=（8+1）ⁿ=C_n⁰8ⁿ+C_n¹8^n-1+…+C_n^n-1•8+1，展開式除最后一項之外均為8也為4的倍數，
因此b_n²表示被4除余1的數，
因此，對任意正整數n，都存在正整數p，使得a_p=b_n²成立．