2
$\begingroup$

Let $h:G\rightarrow \mathbb{C}$ be a holomorph function and $z_{0}$ a point in $G$ with $h(z_{0}) \ne 0$ . Let m be a natural number. Show that the function : $f:G\rightarrow \mathbb{C}$ defined by $f(z)=(z-z_{0})^{m}h(z)$ at $z_{0}$ ist a zero point of order m and that it holds that : $f^{(m)}(z_{0}) = m!h(z_{0})$

This is my proof:

Induction hypothesis : $f^{(m)}(z_{0}) = m!h(z_{0})$

Induction beginning : $m=0 \rightarrow f^{(0)}(z_{0}) = h(z_{0})$

Induction step : $m \rightarrow m+1 $: $f^{(m+1)}(z_{0})= ((z-z_{0})^{m+1}h(z_{0}))^{(m+1)} = h(z_{0})^{(m+1)}(z_{0}-z_{0})^{m+1} + (m+1)!h(z_{0}) = (m+1)!h(z_{0})$

Is this proof correct. Tell me please.

  • 0
    What do you mean by "doesn[']t look right"?2011-11-06
  • 0
    the solution has another way of doing it…. So i think this is not correct but I don't see why !2011-11-06
  • 0
    What makes you think there cannot be two ways of doing it that are both correct? Solution keys are just for showing _one_ way of doing it. If your proof works, then it's good.2011-11-06
  • 0
    In the past I often thougth I had proved something by induction where in fact I just restated the hypothesis. Is this the case here too?2011-11-06
  • 0
    How do you justify writing $f^{(m+1)}(z_{0})= ((z-z_{0})^{m+1}h(z_{0}))^{(m+1)}$ instead of $f^{(m+1)}(z_{0})= ((z-z_{0})^{m+1}h(z))^{(m+1)}$ at the beginning of the penultimate line ?2011-11-06
  • 0
    it is a composition of functions which both depend on z??2011-11-06
  • 1
    I don't understand your last comment. I would write $f(z)=(z-z_o)^{m+1}.h(z)$, take the derivative of both sides: $f'(z)=I+II$, and apply the induction hypothesis at level $m$ to $I$ and $II$. The point to keep in mind is that $f^{(m+1)}(z)=(f')^{(m)}(z) $.2011-11-06

2 Answers 2