数学常识 公理·定义·定理·引理·推论的区别

2023-12-13 05:10:53

数学常识 公理·定义·定理·引理·推论的区别

事先规定出来的

公理（Axiom）

事先决定好的条理，不需证明

  • 无法证明

定义（Definition）

用文字和符号来决定
文字案例：到一个点的距离相等的点的集合是圆
符号案例：周长与直径之比称为圆周率,写作π；自然数e

  • 无法证明

推论出来的

定理（Theorem）

而是从公理推导出来较为重要的东西才能叫定理

引理（Lemma）

为了证明某个定理，而使用的已被证明的命题，就是为了证明定理的小定理

推论（Corollary）

由定理直接推导出来的东西中使用价值最高的一部分

逻辑图

请添加图片描述
请添加图片描述

地址

  • 【【中字】数学常识 公理·定义·定理·引理·推论有什么区别？】 https://www.bilibili.com/video/BV1zu411v7Hh/?share_source=copy_web&vd_source=fecf81c861d6306eec696170bcade574
  • https://www.youtube.com/watch?v=K0HxDK5lZxc

文章来源:https://blog.csdn.net/Mintary/article/details/134951529
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。