已知两个正整数a和b互素,且a