题意:给定nmk要求在横坐标小于n纵坐标小于m的整点中找到一个三角形使得三角形面积为 n*m/k.一开始一直纠结于存在性.首先可以证明如果2*n*m%k!=0那么一定是NO.当满足这一条件的时候,可以把n*m/k上下拆分,把k拆成gcd(nk)*(k/gcd(nk)),然后上下约分就可得到一组ab,这时候如果后者和m不能完全约分说明分母里会剩下一个2(因为分子上*2是可以完全约分的),这时候ab就是答案的两条边因为不需要除2了.如果能完全约分则还需要在分子的a或者b上乘一个2,哪个小乘哪个就好了.为什么乘2不会超过原来的n或者m?因为我们这时候一定是n*m%k==0,而且题中k>=2,所以n和m至少有一个可以除一个2.