``The Generalized U2-Flashlight Microsoft 5-Minute Puzzle''
By S. B. Ekhad and D. Zeilberger
Written: Sept. 29 1998.
When my wife, Jane Legrange, told me about this puzzle,
I was humiliated by not being able to do it in
five minutes. Then I consoled myself that my failure
to do it is due to the fact
that I am too wise (old?) to think
locally. This paper presents the global solution,
achieved with the aid of Shalosh.
(Plain ) .tex version (2 pages)
.dvi version (for previewing)
.ps version
.pdf version
Most importantly, download the Maple package
GetMicrosoftJob, by which Shalosh found the theorem,
that once found, is routine to prove.
Personal Journal of Shalosh B. Ekhad and Doron Zeilberger
Doron Zeilberger's List of Papers
Doron Zeilberger's Home Page