A Simple Math Problem HDU - 5974 (数学题)

传送门

题意：已知x+y=a,lcm(x,y)=b，现在给出a,b，问是否存在x,y并且输出

题解：设g=gcd(x,y)

可推导出g*k1=x,g*k2=y(k1,k2为整数，并且k1,k2互质，这点很容易想到的啦，不互质g就不是最小公约数了)

那么g*(k1+k2)=a,g*k1*k2=b，接下来推导的可是很厉害的

因为k1,k2互质，那么k1+k2与k1*k2也就互质，（这也是这个题的一个新知识点）可能有点懵，目前我也不知道怎么证，多举几个栗子看看，确实是这样，然后就好办了

x+y=a,x*y=b*g，然后可以把第二个式子进行化为x=b*g/y

带入第一个式子中，之后整理成一个一元二次不等式，y^2-a*y+b*g=0，之后可以利用韦达定理发现x1+x2=a,那么也就是这两个解正好一个就是x，一个就是y了，如果b^2-4*a*c>0的话，那么再把解出来的x*y==b*g带入验证一下即可。

附上代码：

#include<bits/stdc++.h>

using namespace std;

int gcd(int a,int b)
{
    return b==0?a:gcd(b,a%b);
}

int main()
{
    int a,b;
    while(scanf("%d%d",&a,&b)!=EOF){
        int k=gcd(a,b);
        int t=sqrt(a*a-4*k*b);
        int x=(a-t)/2;
        int y=(a+t)/2;
        if(x*y!=k*b){
            printf("No Solution\n");
        }else{
            printf("%d %d\n",x,y);
        }
    }
    return 0;
}