I just want to add a couple of problems from INMO 2014 that I solved this morning. The first problem was slightly less tricky, and just involved pairing divisors with each other in the most obvious way. However, the second problem is quite devious, and is more of an existence proof than writing down an explicit winning strategy.

- Let be a natural number. Prove that is even.

We will prove this by induction. Let . Note that is even. Also, note that the number of divisors of . It is precisely at those divisors that is added to . If is not a square, then the number of divisors can be paired up as . Hence, the number of divisors should be even. Moreover, . However, if is indeed a square, then is a divisor that cannot be paired up with a different divisor as itself. However, . Hence, we get two extra 1’s, which still keeps even. Hence, and have the same parity. Now as is even, is even for all . Hence proved. QED

- Written on a blackboard is the polynomial . Calvin and Hobbes take turns alternately (starting with Calvin) in the following game. During his turn, Calvin should either increase or decrease the coefficient of by . And during his turn, Hobbes should either increase or decrease the constant coefficient by . Calvin wins if at any point of time the polynomial on the blackboard has integer roots. Prove that Calvin has a winning strategy.

Calvin’s first move should be to increase the coefficient of by . We will prove that Calvin has a winning strategy by induction.

Observe that for , Calvin has the following winning strategy: After the first move, the polynomial becomes . Now if Hobbes keeps increasing the constant coefficient, Calvin should do the same. If Hobbes reduces the constant coefficient at any step, the polynomial will becomes , which has the integer roots . Hence, Calvin has a winning strategy for when .

Note that for the general polynomial , if both players keep increasing the coefficients without ever decreasing them, ultimately the polynomial becomes , which has the integer roots . Hence, in order to avoid losing, Hobbes should reduce the constant coefficient at least once.

We will use a form of strong induction here. If Calvin has a winning strategy for , then he has a winning strategy for any , where .

Let us assume that Calvin has a winning strategy for . From the last statement, we know that this implies that Calvin has a winning strategy for , where . Now let us consider . If Hobbes keeps increasing the constant coefficient, then we know that Calvin should do the same, and that is a winning strategy. If after moves, where , if Hobbes decreases the constant coefficient on the th move, then the polynomial becomes . By strong induction, we know that Calvin has a winning strategy for this. Hence proved. QED.