Answer: The triples (k,m,n) must satisfy n≤m and at least one of the two conditions:
1∘ k∣m−n,
2∘ k∣m+n and r+n≤m, where r is the remainder of m modulo k.
We start from proving that if (k,m,n) are as above, then the cut is possible. We identify the large square with [0,m]×[0,m]. If k∣m−n, then we first cut the m×m square into the square [0,n]×[0,n] and rectangles [0,n]×[n,m] and [n,m]×[0,m]. These rectangles can trivially be cut into rectangles of dimension 1×k. If k∣m+n and r+n≤m, then we cut [0,m]×[0,m] into a square [r,r+n]×[r,r+n] and
rectangles [0,r]×[0,n+r], [r,m]×[0,r], [r+n,m]×[r,m] and [0,n+r]×[r+n,m] (they are well defined if r+n≤m), each of which can be trivially cut into rectangles 1×k. Note that we have used the assumption r+n≤m here.
Now we show that the conditions on (k,m,n) are necessary. Suppose the smaller square is equal to [p,p+n]×[q,q+n]; by symmetry we may assume that q≥1.
First we show that r+n≤m. Each unit square [i,i+1]×[0,1], where i∈{p,p+1,…,p+n−1}, is contained in some rectangle 1×k coming from the cut. If we had r+n>m, then we would have m−n<k and this would imply that each such rectangle would be "level", i.e., of the form [t,t+k]×[0,1]. Let S denote the union of these "level" rectangles and let P(S) denote the area of S. Note that we have n≤P(S)≤m and P(S) is divisible by k. This contradicts r+n>m.
Now we show that k∣m−n or k∣m+n. Suppose that this is not true. The idea is to write an integer aij in each unit square [i−1,i]×[j−1,j], 1≤i,j≤m, in such a way that
(a) for any rectangle 1×k of the cut the sum of numbers lying inside equals 0,
(b) the sum of all the numbers and the sum of the numbers lying inside the square n×n are different.
The existence of such a sequence clearly yields the claim.
A second idea is to work with the sequences (aij) of the form aij=aibj, where (ai)i=1m and (bj)j=1n are k-periodic and
i=1∑kai=j=1∑kbj=0.(1)
This implies (a); furthermore, (b) takes form
i=1∑mai⋅j=1∑mbj=i=p+1∑p+nai⋅j=q+1∑q+nbj,
or, by periodicity and (1),
i=1∑rai⋅j=1∑rbj=i=p+1∑p+sai⋅j=q+1∑q+sbj,(2)
where s denotes the remainder coming from the division of n by k.
If r=0, then the left-hand side is 0. Furthermore, as k∤m−n, we have s>0; it suffices to take ap+1=ap+2=⋯=ap+s=bq+1=bq+2=⋯=bq+s=1 and choose the remaining ai's and bj's so that the periodicity and (1) hold.
Suppose then, that r>0. The conditions k∤m−n, k∤m+n imply r=s, r+s=k. We set b1=b2=⋯=br=1 and pick the remaining bj's so that periodicity and (1) hold. Let A={1,2,…,r}, B={p+1,p+2,…,p+s}(modk) denote the sets of indices appearing in the sums involving (aj). Note that we take the set B modulo k. Consider two cases:
i) A∪B={0,1,…,k−1}. Then, as A=B (as r=s) and A=∅, we may choose ai′s with i∈A∪B in such a way that
i∈A∑ai=1,i∈B∑ai=0
(for example, if A∖B=∅, set ai=0 for all i∈A∪B except for one i∈A∖B, for which ai=1; if A⊂B, take ai=0 for i∈A∪B except for one i∈A, for which ai=1 and except for one j∈B∖A, for which aj=−1) and complete the sequence (ai) so that it satisfies periodicity and (1). This completion is possible as there exists i∈{0,1,…,k−1} not covered by A∪B. Then the right-hand side of (2) is 0, while the left one is not.
ii) A∪B={0,1,…,k−1}. Then A⊆B and B⊆A; furthermore, as r+s=k, we have A∩B=∅. Therefore, there exist i1∈A∖B, i2∈B∖A, i3∈A∩B and we set ai1=0, ai2=−1, ai3=1 and ai=0 for i∈{0,1,2,…,k−1}∖{i1,i2,i3}. Then we have
i=1∑rai=i∈A∑ai=1,i=p+1∑p+sai=i∈B∑ai=0
and hence the right-hand side of (2) is 0, while the left one is not.
The proof is complete.