Define
where are arbitrary complex numbers. Then by direct calculation, we have
Completing the square, we obtain
Note that this result holds for Gaussian-windowed chirps ( and complex).