Caveat: I fear that people will criticize me for asking this potentially inappropriate question here, but I guess that the community here is quite unique in the ability of potentially answering my question (if you don't have an answer, then probably there is no), and that there is some (little) chance of getting some good answers to the question - and not asking this question here or banning it right away would reduce the chance of getting a good answer to 0.
The question is: If one tries to prove something, are there some tricks for getting a creative idea? Ok, I now what you think, yes, there is no algorithm to finding a creative idea, otherwise the idea wouldn't be creative. However, there are some general "tricks": if for minutes one stares at ones sheet of papers with no new ideas, just moving in the same thought cycles, it certainly helps to go and talk to a colleague, because somehow talking awakes the creative ability of the brain (and, additionally, together with a colleague one can mutually pick up an idea of the other and think it a bit further). Also, forgetting the problem for a moment and go and attend talks (even if they are about another topic) or even just rest helps. Do you have any other general "tricks" for getting creative ideas for solving mathematical problems?
To make the question a bit more concrete, do you know of any tricks for finding or looking for a good lemma (or several lemmas)? I have the feeling that often the most creativity in proving a theorem lies in finding the right lemma (not even the proof of it, but just the statement). I noticed that whenever I see a proof about which I afterwards say "wow, that's genius, I don't even rudimentally see how one could have come up with it", the crucial point was a lemma (or several lemmas). This also seems to me to be one difference between doing research and doing like homework problems: in homework assignments the proofs usually require only one or two main ideas, and if it requires a lemma, this lemma often is stated in the task as a subtask - while in research, one doesn't even know how much one has to "go down", how many levels of lemmas one has to show.