Differentiate the product in the definition of . Using the identity in (b),
The last expression is , so
Also separately. This is the Hermite polynomial derivative recurrence in the physicists' normalization.