I am looking to build a repertoire of olympiad type problems which have non-intuitive elegant solutions, If possible instead of a resource, I think problems would be the best. (i.e. select the best problem to post here).
The problem I like best that falls into this category is to prove that if a bigger rectangle has some smaller rectangles completely space filling inside it, and the small rectangles have at least one side of integer length, then we need to show that the big rectangle has at least one integer length.
The non-intuitive(to me) solution is to place each smaller rectangle on a checkerboard with side length of the pattern = 1/2. Then to note that each smaller rectangle must have an equal area of black and white. Then to prove that for any checkerboard to have an equal area of black and white, it must have one of the lengths of integer length.
The checkerboard and domino puzzle ( http://www.jimloy.com/puzz/dominos.htm) has an interesting, simple and elegant solution.
However, consider the generalization of this problem, where instead of removing squares at diagonal corners you remove one white square and one black square from anywhere on the board. When is it possible to tile such a reduced checkerboard?
The answer is that it is always possible to tile such a checkerboard, but the proof relies on a very elegant but non-obvious construction. I remember seeing the solution in Ross Honsberger's Mathematical Gems and it blew me away.