考场上rols告诉了我一个结论，就是2*n*m%k!=0就false，否则一定有解，于是我脑补了一个神奇的做法过了pretest，然后快乐FST，悲伤掉分，后来思考了一蛤发现那个神奇做法是sqrt(2*n*m/k)的复杂度,我当时还以为是log,我虽然有个二分让x,y先都小于n,m，不过可能还是不够优秀，于是T掉了。
一看题解，他说三角形是整点的面积一定是整数，我用初中的垂线法算了一蛤，发现area=2*n*m/k=y1x2+y2x3+y3x1-y1x3-y2x1-y3x2。全是整数乘法和加减，确实2*n*m/k一定是整数，哇，我以前怎么没留意过这个结论，别人怎么都知道，可能因为我没做过计算几何?菜哭.jpg
然后关于x*y=2*n*m/k，先直接让x=2*n/gcd(2*n,k),y=m/(k/gcd(2*n,k))，也就是y=2*n*m/k/x,然后因为这里有个2的影响，所以要判断一蛤是否越界，越界就把越界那个/2，没越界那个乘2
#include<cstdio> #include<cstring> long long n,m,k,st,ans,x,y; long long gcd(long long a,long long b) { if(!b) return a; else return gcd(b,a%b); } int main() { bool flag=true; scanf("%lld%lld%lld",&n,&m,&k); if((2*n*m)%k!=0) flag=false; long long area=2*n*m/k; x=2*n/gcd(2*n,k); y=area/x; if(x>n) x>>=1,y<<=1; if(flag) { puts("YES"); printf("%lld 0\n",x); printf("0 0\n"); printf("0 %lld\n",y); } else puts("NO"); }
