问一下联赛第三题的思路可以如下吗:反证法假设A中两数之差不为

问一下联赛第三题的思路可以如下吗:反证法假设A中两数之差不为b，从集合{1，2……m}中从头往后先取b个元素∈A，往后b个不能取，再往后又可以取b个元素∈A，以此类推，至到取出来的元素个数为n时，此时所取出来的元素所构成的A满足假设，此时所需要{1，2……m}中的元素至少为x个，才能满足以上的构造，并证明此种构造能使得x最小，并证明x>[(2k-1)/k]n，所以与原题矛盾，假设不成立，原题成立。