A类 P（P）屋顶从T型H（H）E类 B类O（运行）O（运行）K（K）:T型他P（P）艺术的F类牵引E类扩展C类奥坦根

曼纽尔·埃贝尔 🌐

2022年3月15日

这是此条目的开发版本。它可能会随着时间而变化，并且不稳定。请参阅发布版本以获取引文。

摘要

在本文中，我形式化了这个书; 也就是一个被称为“涉及初等函数的漂亮公式：

\[\pi\cot（\piz）=\frac{1}{z}+\sum{n=1}^\infty\left（\frac{1'{z+n}+\压裂{1}{z-n}\右）\]

证明使用了赫兹的技巧展示复合体的实际情况和解析延拓案例。

许可证

许可协议

话题

会话余切_PFD_Formula

引用

× 
@文章{Cotangent_PFD_Formula-AFP，作者={曼纽尔·埃伯尔}，title={书中的证明：余切的分式展开}，journal={正式证据存档}，月={三月}，年份={2022}，注意={\url{https://isa-afp.org/entries/Cotangent_PFD_Formula.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：