×

刘维尔数

swMATH ID: 28567
软件作者: 曼纽尔·埃贝尔
描述: Liouville数是一类超越数,可以用有理数很好地逼近。历史上,他们是第一批超越性被证明的数字。在这篇文章中,我们定义了刘维尔数的概念以及获得刘维尔数(包括刘维尔常数)的标准结构,并证明了其最重要的性质:非理性和超越性。这个证明非常简单,只需要标准的算术、多项式的中值定理以及多项式在紧区间上的有界性。
主页: https://www.isa-afp.org/entries/Liouville_Numbers.html
依赖项: 伊莎贝尔
相关软件: 存档正式证据;米扎尔
引用于: 2文件

连载1篇

2 形式化数学

按年份列出的引文