Ta có : p8n+3p4n- 4 = (p4n)2+3p4n- 4
Vì p là số nguyên tố lớn hơn 5 nên p có tận cùng là chữ số 1;3;7 hoặc 9
+) Với p = (...1), ta có: p4n=(...1)4n=(...1)
=> (p4n)2=(...1)2=(...1); 3p4n= 3.(...1)=(...3)
=>(p4n)2+3p4n- 4=(...1)+(...3)-4=(...0) chia hết cho 5
+) Với p = (...3), ta có: p4n=(...3)4n=(...1)
=> (p4n)2=(...1)2=(...1); 3p4n= 3.(...1)=(...3)
=>(p4n)2+3p4n- 4=(...1)+(...3)-4=(...0) chia hết cho 5
+) Với p = (...7), ta có: p4n=(...7)4n=(...1)
=> (p4n)2=(...1)2=(...1); 3p4n= 3.(...1)=(...3)
=>(p4n)2+3p4n- 4=(...1)+(...3)-4=(...0) chia hết cho 5
+) Với p = (...9), ta có: p4n=[(...9)2n]2=(...1)2=(...1)
=> (p4n)2=(...1)2=(...1); 3p4n= 3.(...1)=(...3)
=>(p4n)2+3p4n- 4=(...1)+(...3)-4=(...0) chia hết cho 5
Vậy p8n+3p4n- 4 chia hết cho 5 khi p là số nguyên tố lớn hơn 5