定理的具体内容:
若 a , b a,b a,b 是整数,且 gcd ( a , b ) = d
那么对于任意的整数 x,y,ax+by 都一定是
d 的倍数,特别地,一定存在整数 x,y,
使 a x + b y = d ax+by=d ax+by=d 成立。
k(a,b)+q(b,a)+w(a,−b)+c(b,−a)=(x,y) --------->
(k+w)a+(q+c)b=x,(k−w)b+(q−c)a=y
所以如果想要 (k+w),(q+c)(k-w),(q-c)有整数解 需要x,y都为gcd(a,b)的倍数
而且k,w,q,c,也需要为整数
所以 (k+w)和(k-w)同奇同偶(加法和减法同)
(q+c),(q-c)同奇同偶
① 都为偶数,(k+w)a+(q+c)b=x 提一个2的因子 ->x%(2gcd(a,b)=0;y同理
②k+w为偶数,q+c为奇数
(k+w)a+(q+c)b +b =x +b
(k−w)b+(q−c)a +a =y +a
(x+b)%(2gcd(a,b)=0;
(y+a)%(2gcd(a,b)=0;
③k+w为奇数,q+c为偶数
同理
(x+a)%(2gcd(a,b)=0;
(y+b)%(2gcd(a,b)=0;
④都为奇数 就需要+(a+b)
(x+b+a)%(2gcd(a,b)=0;
(y+a+b)%(2*gcd(a,b)=0;
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define bug(x) cout<<#x<<" == "<<x<<endl;
const int maxn = 2e2+5;
ll mod = 1e9+7;
ll k = 1;
ll gcd(ll a,ll b)
{
if(b==0)return a;
return gcd(b,a%b);
}
bool check(ll a,ll b)
{
return a%k==0&&b%k==0;
}
int main()
{
int T;
scanf("%d",&T);
while(T--)
{
ll a,b,x,y;
scanf("%lld %lld %lld %lld",&a,&b,&x,&y);
k = gcd(a,b)*2;
if( check(x,y) || check(x+a,y+b) || check(x+b,y+a) || check(x+a+b,y+a+b) )
{
printf("Y\n");
}
else
{
printf("N\n");
}
}
}