证明的艺术：介绍5种数学证明中所用利器

这段视频讲述了数学证明的含义和几种常用的证明工具，比如谨的逻辑与演绎、重要定理引用、直观可视化、双射、归纳法等。 具体请加油管频道「PBS Infinite Series」视频《5 Unusual Proofs》，具体请看下面由[遇见数学翻译小组]核心成员 公理 所译视频。