Điều kiện: n > 3
Xét 3 số tự nhiên liên tiếp: n^2 - 1; n^2; n^2 + 1, trong 3 số này có 1 số chia hết cho 3
Do n nguyên tố > 3 => n không chia hết cho 3 => n^2 không chia hết cho 3
Mà n^2 - 1 nguyên tố > 3 vì n > 3 => n^2 + 1 chia hết cho 3
Mà n^2 + 1 > 3 => n^2 + 1 là hợp số ( đpcm)