最速下降法收敛性证明