Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-53/4/3/solution

Choose with . Then and . The matrix found in part 2 is a rotation by in the ordered good-bad plane, with the bad coordinate listed first. The initial coordinate vector is .
After rotations its angle from the bad axis is . Equivalently, multiplication of the displayed matrix and the addition formulas for sine and cosine prove the assertion by induction from . Hence
The Born rule therefore gives good-output probability . This is the geometric mechanism of amplitude amplification: each coherent iteration rotates the already existing good amplitude toward the good axis.

New to topics? Read the docs here!