Giả sử (5n+6,8n+7)=k, k<>2 do 8n+7 lẻ
=> (5n+6,[(8n+7)-(5n+6)])=k
=> (5n+6, 3n+1)=k
=> (2n+5,3n+1)=k
=> (n-4, 2n+5)=k
=> (2n-8,2n+5)=k
> (13,2n+5)=k
*
=>k=13 => 2n+5=13m
n=(13m-5)/2 (*) Vậy với m lẻ,
Thay vào (*), được ước chung là 13 và 1
{ thử với m=1,3 ,5 thì n=4,17,60... đúng}
* =>k=1
Với m <>(13m-5)/2 và m=(13m-5)/2 với m chẵn thì 2 số 5n+6 và 8n+7 có ước chung là 1
Gọi ƯC(5n+6; 8n+7) là d. Ta có:
5n+6 chia hết cho d => 40n+48 chia hết cho d
8n+7 chia hết cho d => 49n+35 chia hết cho d
=> 40n+48-(40n+35) chia hết cho d
=> 13 chia hết cho d
=> d \(\in\)Ư(13)
=> d \(\in\){1; -1; 13; -13}