summaryrefslogtreecommitdiff
path: root/source/know/concept/residue-theorem/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'source/know/concept/residue-theorem/index.md')
-rw-r--r--source/know/concept/residue-theorem/index.md10
1 files changed, 3 insertions, 7 deletions
diff --git a/source/know/concept/residue-theorem/index.md b/source/know/concept/residue-theorem/index.md
index b58e3c2..a0f515e 100644
--- a/source/know/concept/residue-theorem/index.md
+++ b/source/know/concept/residue-theorem/index.md
@@ -41,11 +41,8 @@ $$\begin{aligned}
}
\end{aligned}$$
-<div class="accordion">
-<input type="checkbox" id="proof-res-theorem"/>
-<label for="proof-res-theorem">Proof</label>
-<div class="hidden" markdown="1">
-<label for="proof-res-theorem">Proof.</label>
+
+{% include proof/start.html id="proof-theorem" -%}
From the definition of a meromorphic function,
we know that we can decompose $$f(z)$$ like so,
where $$h(z)$$ is holomorphic and $$z_p$$ are all its poles:
@@ -62,9 +59,8 @@ $$\begin{aligned}
&= \oint_C h(z) \dd{z} + \sum_{p} R_p \oint_C \frac{1}{z - z_p} \dd{z}
= \sum_{p} R_p \: 2 \pi i
\end{aligned}$$
+{% include proof/end.html id="proof-theorem" %}
-</div>
-</div>
This theorem might not seem very useful,
but in fact, by cleverly choosing the contour $$C$$,