Grover's algorithm does indeed look rather like magic, but even better is the geometrical proof - WP's description looks good at a quick skim. In my (fairly limited) experience, this sort of geometrical thinking is the best way to understand quantum algorithms intuitively.