{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Proof\n\nWe show that the exponential series is a power series with infinite radius of convergence.\n\n1. By definition, $\\exp z = \\sum_{n \\ge 0} a_n z^n$ with $a_n = 1/n!$. This is a [[power series|0VARVQ9ZW1]] with center $0$.\n2. Its [[radius of convergence|045EWAXY9P]] is $R = \\sup \\set{r \\ge 0 : (r^n / n!)_{n \\ge 0} \\text{ is bounded}}$.\n3. The real series $\\sum x^n / n!$ has the same coefficients, and its [[radius of convergence|0660QX1VPR]] is given by the same formula. It is $\\infty$, by [[the exponential series has infinite radius of convergence|0PVJRACB9H]].\n4. So $R = \\infty$, and the disc of convergence is all of $\\C$.\n5. The sum of the series on this disc is $\\exp$, by step 1. By [[power series are holomorphic in the disc of convergence|0YMP521ZR5]], $\\exp$ is holomorphic on $\\C$.\n6. So $\\exp$ is complex differentiable at each $z \\in \\C$. That is, $\\exp$ is an [[entire function|0419794R0T]].\n\n## Idea\n\nAn entire function is one with a complex derivative everywhere. The exponential is a power series that converges on the whole plane, and power series can be differentiated inside their disc of convergence. So all the work is in the general theorem on power series.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "kind": "proof",
    "msc": [
      "33B10"
    ],
    "name": "Proof that the complex exponential is entire",
    "proves": "0G2YJN0H5S",
    "sources": [
      {
        "locator": "Complex exponential",
        "url": "https://en.wikipedia.org/wiki/Exponential_function"
      }
    ],
    "tag": "3JCE5MMMYA",
    "uses": [
      "054VXHMCA3",
      "0VARVQ9ZW1",
      "045EWAXY9P",
      "0660QX1VPR",
      "0PVJRACB9H",
      "0YMP521ZR5",
      "0419794R0T"
    ]
  },
  "kind": "proof",
  "link": "https://math2.tamnd.com/node/3JCE5MMMYA/",
  "links": [
    {
      "field": "proves",
      "target": "0G2YJN0H5S"
    },
    {
      "field": "uses",
      "target": "054VXHMCA3"
    },
    {
      "field": "uses",
      "target": "0VARVQ9ZW1"
    },
    {
      "field": "uses",
      "target": "045EWAXY9P"
    },
    {
      "field": "uses",
      "target": "0660QX1VPR"
    },
    {
      "field": "uses",
      "target": "0PVJRACB9H"
    },
    {
      "field": "uses",
      "target": "0YMP521ZR5"
    },
    {
      "field": "uses",
      "target": "0419794R0T"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/3JCE5MMMYA.md",
  "msc": [
    "33B10"
  ],
  "name": "Proof that the complex exponential is entire",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3JC/3JCE5MMMYA.md",
  "status": null,
  "tag": "3JCE5MMMYA",
  "uri": "m2://3JCE5MMMYA",
  "url": "https://math2.tamnd.com/wiki/proof-that-the-complex-exponential-is-entire/",
  "writing": {
    "tag": "3JCE5MMMYA",
    "kind": "proof",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}