What is an instance of a mousetrap proof? A part of the first chapter of the book The spirit and the uses of the mathematical sciences  talks about the beauty of mathematics. The author quotes from a lecture of Hasse and introduces the notion of a mousetrap proof. I feel that the author gives a lucid exposition on what talked about, but regretfully without an example of a proof of such type. 
Seeking after is at least one example of a proof of such type. 
If answering this question necessitates more information, please feel free to state that.
The original paragraph is in the following formulation, the chapter having which is entitled The characteristic features of mathematical thought and written by PROF. DR. RER. NAT. J. WEISSINGER:
Criteria of beauty at the second level, according to Hasse, are purposefulness and elegance. Purposefulness means that at every point of a proof we should know where we stand and should have the goal in view. The opposite of this is the so-called mousetrap proof, in which we are nudged forward conclusion by conclusion until suddenly the door snaps shut. We feel ambushed, extraordinarily stupid, and irritated by the esoteric ingenuity of the author, yet when we try to gnaw at the bars of the logical conclusions, we are compelled to admit that the proof is solid and without flaws.
Beauteous, is not it? Here the boldfaced words are those quotation-marked in the original text.
 A: I find that notion (or rather its German translation Mausefallenbeweis) only in the context of the German philosopher Schopenhauer, who coins that in the context of Euclid's proof of the Pythagorean theorem: It logically forces the reader to believe the result without much insight (as opposed to some other proof that uses just a picture and one immediately understands).
A: The following is an excerpts from here (an inaugural lecture of some sort at Heidelberg university):
"Auf der zweiten Stufe der Schönheitskriterien stehen nach Hasse die Forderungen nach Eleganz und nach Zielstrebigkeit. Die letzte bedeutet, daß man an jeder Stelle eines Beweises weiß, wo man steht, und das Ziel vor Augen sieht. Das Gegenteil eines solchen Beweises ist der sogenannte ,,Mausefallenbeweis''. Man tastet sich Schluß für Schluß vorwärts und mit einem Mal fällt die Klappe zu: Man kommt sich überrumpelt und außerordentlich dumm vor; aber so viel man auch an den Gitterstäben der logischen Schlüsse zu nagen sucht, man ist gefangen, der Beweis ist lückenlos richtig."
Euclid's proof of the Pythagorean theorem is not a "mousetrap proof" in this philosophical sense. When it is called by that name then because the movements of the quadrangles in Euclid's proof look like what's happening when a mousetrap fires.
