`3^n = n^2 + 1`

`Do  n in N => n >= 0`

Xét `n = 0` ( TM )

Xét `n >= 1` ta có:

`3^n  \vdots  3  AA  n`

`n^2 + 1  \vdots   3`

mà số chính phương chia `3` dư `0` hoặc chia `3` dư `1`

`=>` vô lý

`Vậy  n = 0`