>>459
名前はどうでもいいが、求めるのは
正の実数、a,b,c,dについて連立方程式
a+b+c+d=1
a+3c=x
b+2c=y
が解を持つ条件。