Xét q = 3
Ta có. p^2-3p-27 =27
=> p^2 - 3p - 54 = 0
=> p = - 6 hoặc p = 9 (đều không TM)
Xét q # 3. Ta có
p^2 - pq - q^3 = 27
=> p^2 - pq = q^3 + 27
=> p(p-q) = (q+3)[q^2 - 3q + 9] (*)
Nhận xét.
*) p > p - q (1)
*) q^2 -3q+ 9 -(q+3)
= q^2 -4q +6 = (q-2)^2 +2>0
=> q^2 - 3q + 9 > q + 3
*) ƯCLN( q^2 - 3q + 9; q+3)
= ( q(q+3)-6(q+3) +27;q+3)
= (27; q+3) = (3^3; q+3)
= 1 (3) ( vì q#3 nên q + 3 không chia hết cho 3...)
Từ (1); (2); (3) => (*) <=>
{ p = q^2 - 3q + 9
{ p-q = q + 3
=> 2q + 3 = q^2 - 3q + 9
=> q^2 - 5q + 6 = 0.=> q = 2 hoặc q = 3 (đã xét )
Với q = 2 ta có p = 2q + 3
=> p = 7 (TM)
ĐS: p = 7; q = 2