a: Ta có: \(25-y^2=8\left(x-2009\right)^2\)

=>\(\begin{cases}25-y^2\ge0\\ 25-y^2\in B\left(8\right)\end{cases}\Rightarrow\begin{cases}y^2\le25\\ 25-y^2\in B\left(8\right)\end{cases}\)

mà y là số tự nhiên

nên \(y^2\in\left\lbrace1;9;25\right\rbrace\)

TH1: \(y^2=1\)

Ta có: \(25-y^2=8\left(x-2009\right)^2\)

=>\(8\left(x-2009\right)^2=25-1=24\)

=>\(\left(x-2009\right)^2=3\)

mà x là số tự nhiên

nên x∈∅

=>Loại

TH2: \(y^2=9\)

Ta có: \(25-y^2=8\left(x-2009\right)^2\)

=>\(8\left(x-2009\right)^2=25-9=16\)

=>\(\left(x-2009\right)^2=2\)

mà x là số tự nhiên

nên x∈∅

TH3: \(y^2=25\)

Ta có: \(25-y^2=8\left(x-2009\right)^2\)

=>\(8\left(x-2009\right)^2=25-25=0\)

=>\(\left(x-2009\right)^2=0\)

=>x-2009=0

=>x=2009(nhận)

\(y^2=25\)

=>y=5(nhận)

b: \(x^3y=xy^3+1997\)

=>\(x^3y-xy^3=1997\)

=>\(xy\left(x^2-y^2\right)=1997\)

=>xy(x-y)(x+y)=1997

Đặt A=xy(x-y)(x+y)

TH1: x lẻ; y lẻ

=>x-y chẵn

=>xy(x-y)(x+y)⋮2

=>A⋮2(1)

TH2: x lẻ; y chẵn

=>xy⋮2

=>xy(x-y)(x+y)⋮2

=>A⋮2(2)

TH3: x chẵn; y lẻ

=>xy⋮2

=>xy(x-y)(x+y)⋮2

=>A⋮2(3)

TH4: x chẵn, y chẵn

=>xy(x-y)(x+y)⋮2

=>A⋮2(4)

Từ (1),(2),(3),(4) suy ra A⋮2

mà 1997 là số lẻ

nên (x;y)∈∅

c: x+y+9=xy-7

=>xy-7-x-y-9=0

=>xy-x-y-16=0

=>x(y-1)-y+1-17=0

=>(x-1)(y-1)=17

=>(x-1;y-1)∈{(1;17);(17;1);(-1;-17);(-17;-1)}

=>(x;y)∈{(2;18);(18;2);(0;-16);(-16;0)}