C题的证明

对于C题的证明本人的拙见，如有错误还请网友指正。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define all(x) (x).begin(),(x).end()

int T;
ll a,b,l,r;

/*
最大次数y满足 r*y>=t，并且次数l*y<=t，否则无法组成t，因为操作y-1次以下和y+1次以上均不会满足。
满足上述条件下，最小次数x=t/l，下证x*r>=t，也就是说t位于[x*l,x*r]，操作次数最小是x次

现有条件 => r*y>=t,l*y<=t,x*l<=t,x*(l+1)>t,r>=l。 
反证法：假设 x*r<t,如果r>l，显然不成立，因为x*(l+1)>t，x*r当然也>t;
		如果r=l，由于r*y>=t,l*y<=t，那么l*y=r*y=t，那么t/l=y，那么y=x，那么y*r=x*r>=t，矛盾。
		因此，当最小次数为x时，满足x*l<=t,x*r>=t，最小操作次数是x。
		
所以代码如下。 
*/
void solve(){
	ll t=b-a;
	if(t==0){
		cout<<0<<' '<<0<<'\n';
		return;
	}
	ll y=(t-1)/r+1;
	if(y*l>t){
		cout<<-1<<'\n';
		return;
	}
	ll x=t/l;
	cout<<y<<' '<<x<<'\n';
}
int main(){
	ios::sync_with_stdio(false),cin.tie(0);
	
	cin>>T;
	while(T--){
		cin>>a>>b>>l>>r;
		solve();
	}
	return 0;
}