|
|
|
|
proof of Gauss' mean value theorem
|
(Proof)
|
|
|
We can parameterize the circle by letting $z=z_0 + r e^{i\phi}$ Then $dz=ir e^{i\phi}d\phi$ Using the Cauchy integral formula we can express $f(z_0)$ in the following way: \begin{eqnarray*} f(z_0)&=&\frac{1}{2\pi i} \oint_{C} \frac{f(z)}{z-z_0}dz\\ &=&\frac{1}{2\pi i} \int_{0}^{2\pi} \frac{f(z_0 + r e^{i\phi})}{r e^{i\phi}} ir e^{i\phi} d\phi\\ &=&\frac{1}{2\pi} \int_{0}^{2\pi} f(z_0 + r e^{i\phi}) d\phi . \end{eqnarray*}
|
"proof of Gauss' mean value theorem" is owned by yark. [ full author list (2) | owner history (1) ]
|
|
(view preamble | get metadata)
Cross-references: Cauchy integral formula, circle
This is version 15 of proof of Gauss' mean value theorem, born on 2003-04-28, modified 2006-10-01.
Object id is 4217, canonical name is ProofOfGaussMeanValueTheorem.
Accessed 3910 times total.
Classification:
| AMS MSC: | 30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|