Use mathematical induction on the iteration. Initially . If , then , , and . ThereforeA gradient descent step with any scalar step length consequently has the formThus every iterate remains on the same eigenline, withThis proves that gradient descent preserves an eigenline for a cubic product. The statement is invariance, not convergence to a minimum: along the negative direction of this line the cubic polynomial objective is unbounded below.