Xét \(f(t)=-\log _{5}t,g(t)=\log _{17}t\) xác định, liên tục trên \((0;+\infty)\) và có \(f'(t)<0,g'(t)>0,\forall t>0.\)
Do đó, phương trình (1) tương đương với \(3^{x}-2^{y}=1.\) Kết hợp với phương trình thứ nhất của hệ ban đầu ta tìm được \(3^{x}=9,2^{y}=8\) hay (x; y) = (2; 3) là nghiệm của hệ đã cho.
Nhận xét: Để ý rằng \(9^{x}-4^{y}=(3^{x}+2^{y})(3^{x}-2^{y}).\)