Với p = 2 => 8p²  +1 = 33 (loại)

Với p = 3 => 8p² + 1 = 73 (tm)

Với p > 3 => Đặt p = 3k + 1 ; p = 3k + 2 (k \(\in Z^+\)) 

Với p = 3k + 1 => 8p² + 1 = 8(3k + 1)² + 1 

= 72k² + 48k + 9 = 3(24k² + 16k + 3) \(⋮3\)(loại)

Với p = 3k + 2 => 8p² + 1 = 8(3k + 2)² + 1 

= 72k² + 96k + 33 = 3(24k² + 32k + 11) \(⋮3\)(loại)

Vậy p = 3 thì 8p² + 1 \(\in P\)

- Với \(p=2\) ko thỏa mãn

- Với \(p=3\Rightarrow8p^2+1=73\) là số nguyên tố (thỏa mãn)

- Với \(p>3\Rightarrow p^2\equiv1\left(mod3\right)\)

\(\Rightarrow p^2=3k+1\)

\(\Rightarrow8p^2+1=8\left(3k+1\right)+1=24k+9=3\left(8k+3\right)\) là số lớn hơn 3 và chia hết cho 3

\(\Rightarrow8p^2+1\) là hợp số (ktm)

Vậy \(p=3\) là SNT duy nhất thỏa mãn yêu cầu

Đặt \(a=p^q+7q^p\)

Nếu p; q đều bằng 2 \(\Rightarrow a=2^2+7.2^2\) là hợp số (ktm)

Nếu p; q cùng lớn hơn 2 \(\Rightarrow p^q\) và \(q^p\) đều lẻ

\(\Rightarrow a=p^q+7q^p\) là số chẵn lớn hơn 2 \(\Rightarrow\) là hợp số (ktm)

\(\Rightarrow\) Có đúng 1 số trong p; q phải bằng 2, số còn lại là SNT lẻ

TH1: \(p=2\Rightarrow a=2^q+7.q^2\)

- Nếu \(q=3\Rightarrow a=2^3+7.3^2=71\) là SNT (thỏa mãn)

- Nếu \(q>3\Rightarrow q^2\equiv1\left(mod3\right)\Rightarrow7q^2\equiv1\left(mod3\right)\)

\(2^q=2^{2k+1}=2.4^k\equiv2\left(mod3\right)\)

\(\Rightarrow a=2^q+7.q^2\equiv2+1\left(mod3\right)\Rightarrow a⋮3\) là hợp số (ktm)

TH2: \(q=2\Rightarrow a=p^2+7.2^p\)

- Nếu \(p=3\Rightarrow a=3^2+7.2^3=65\) ko phải SNT (ktm)

- Nếu \(p>3\Rightarrow p^2\equiv1\left(mod3\right)\)

\(7.2^p=7.2^{2k+1}=14.4^k\equiv2\left(mod3\right)\)

\(\Rightarrow p^2+7.2^p⋮3\) là hợp số (ktm)

Vậy \(\left(p;q\right)=\left(2;3\right)\) là cặp SNT duy nhất thỏa mãn yêu cầu

Với p = 2 => 2^p + p² = 8 (loại)

Với p = 3 => 2³ + 3² = 17 (loại) 

Nhận thấy với p > 3 => p lẻ 

Đặt p = 3k + 1 ; p = 3k + 2 (k \(\in Z^+\))

Khi đó P = 2^p + p² 

= (2^p + 1) + (p² - 1)

Vì p lẻ => 2^p + 1 = (2 + 1).(2^{p - 1} - 2^{p - 2} + ... + 1) \(⋮3\)(1) 

Với p = 3k + 1 => p² - 1 = (p - 1)(p + 1) = (3k + 1 - 1)(3k + 1 + 1)

= 3k(3k + 2) \(⋮3\) (2) 

Từ (1) ; (2) => P \(⋮3\)(loại)

Với p = 3k + 2 => p² - 1 = (p - 1)(p + 1) = (3k + 2 - 1)(3k + 2 + 1)

= 3(k + 1)(3k + 1) \(⋮\)3 (3) 

Từ (1) ; (3) => P \(⋮3\)

=> p = 3 là giá trị cần tìm 

Xét p=2\(\Rightarrow p^4+29=45=3^2.5\), có 6 ước số là SND, loại

Xét p=3\(\Rightarrow p^4+29=110=2.5.11\), có 8 ước số là SND, tm

Xét p=5\(\Rightarrow p^4+29=654=2.3.109\) , có 8 ước số là SND, tm

Xét p\(\ge6\). Do p là SNT nên p có dạng \(6k+1\) hoặc \(6k-1\) (k\(\in N\)*)

TH1: p=6k+1

Khi đó ta có \(p^4+29=\left(6k+1\right)^4+29\equiv1+29\equiv0\left(mod6\right)\)

Ta cũng có: \(p^4+29=\left(6k+1\right)^4+29\equiv0\left(mod5\right)\)

vì \(\left(6k+1\right)⋮5̸\)

\(\Rightarrow p^4+29=6.5.a=2.3.5.a\)(a là STN)\(\Rightarrow p^4+29\) có nhiều hơn 8 ước số  nguyên dương, loại.

TH2: p=6k-1. Chứng minh tương tự ta thấy không có p thoả mãn

\(\Rightarrow p\ge6\) không thoả mãn

Vậy....