Ta có:
UCLN(a,b)
=>a chia hết cho 3, b chia hết cho 3
Đặt:: a=3m;b=3n
=> m.n=36:32=4
Mà a,b có UCLN=1
Ta có các cặp sau: m=1 và n=4; m=2 và n=2
n=4 và m=1; n=2 và m=2
Thử lần lượt: ta thấy có 2 cặp thỏa mãn điều kiện:
m,n E {(1;4);(4;1)}
=> a,b E {(3;12);(12;3)}
vì ƯCLN(a,b)=3 => a=3.a1, b=3.b1 (a1,b1 nguyên tố cùng nhau, giả sử a1>b1)
Ta có ab=36 <=> 3a1.3b1=36 <=>a1b1=4
Vì (a1,b1)=1 và a1>b1 nên ta có TH sau
a1=4, b1=1 =>a=12, b=3
Vậy các cặp a,b thỏa mãn là 12 và 3; 3 và 12
ta có : a chia hết cho 3 ; b chia hết cho 3
=>a=12 ; b=3
Vì 12 chia hết cho 3 và 3 chia hết cho 3
Vậy a=12 ; b=3