引理
跳转到导航
跳转到搜索
页面Module:Message box/mbox.css没有内容。页面Template:Ambox/style.css没有内容。
此条目没有列出任何参考或来源。 (2010年2月10日) |
引理，又称辅助定理，简称辅理 [1]（ 古希腊语: λῆμμα, Template:Langx）是数学中为了取得某个更好的结论而作为步骤的已证明命题，其意义并不在于自身已完成证明，而在于其为了达成最终目的而作出贡献。
一个引理可用于证明多个结论。数学中存在很多著名的引理，这些引理可能对很多问题的解决有帮助。例如欧几里得引理、乌雷松引理、德恩引理、法图引理、高斯引理、中山引理、阿贝尔引理、庞加莱引理、里斯引理和佐恩引理等。
引理和定理没有严格的区分。
参见[编辑]
页面Module:Side box/styles.css没有内容。页面Template:Sister project/styles.css没有内容。
参考文献[编辑]
- ↑ package.lua第80行Lua错误：module 'Module:Citation/CS1/Identifiers' not found
package.lua第80行Lua错误：module 'Module:Navbar/configuration' not found