名称： 阿基米德性
各 华东师范大学，数学分析，上册，第三版，附录2 ，290页
F中元素满足阿基米德性，对任意两个正元素a, b , 必存在自然数n, 使得 na > b
定理内容： 对于任何实数x，存在自然数n有n>x
百度
分析
对任何a,b 两个正数，存在自然数n， 使得 na > b
推论1.1：设 a = 1，即变为：存在自然数 N，对任何正数 b 有N > b , 即，不存在最大实数；
推论1.2: 对任何正有理数，都有一个正有理数小于该数；
推论2 ：对任何a，b，k大于0, 存在N，有a + Nk > b
推论3：对于任何有理数r，总存在比它大的正整数n，即 n> r
推论4：对于任何有理数r，总存在比它小的数q，即 q < r
阿基米德性在实数范围内的证明
说明： 1 利用确界定理，前提是确界定理在实数中成立。 注：确界定理在有理数范围内不成立，例如，集合 A：{x 属于 Q有理数 | x supA - a
可推得 Na > supA -a
-> Na + a > supA
-> (N + 1) a > supA
而（N + 1)属于A，（N+1）a 应该小于 supA
故，矛盾
推论1.1 的证明：将阿基米德性定理中的 a 取1，则得到 存在 n, 有 na > b, 而a = 1，于是有 n > b
推论1.2的证明： 设 r 为任意有理数，则根据有理数的定义 r可以表示为 m/n， 于是r 的倒数 1/r 为 n/m
也是有理数，于是根据阿基米德性， 存在n，有 n > 1/r, 取倒数, 有1/n < r
这个1/n是有理数，所以1/n 就是小于r的有理数。
分析，推论1.1和推论1.2 相当于没有最大正有理数，也没有最小正有理数
另，阿基米德性在实数域内成立，可知 实数没有最大正实数和最新正实数
推论 2 的证明 ：对任何a，b，k大于0, 存在N，有a + Nk > b
若 a > b, 则 b - a < 0
而 k > 0
故有 k > b-a
上式两边+a，有 a + k > b, 此时结论成立，N=1
若b-a >0, 则由阿基米德性，存在 N，有
Nk > b-a
上式两侧 + a, 可得
a + Nk > b
结论成立
证毕
欧几里得性的解释：任意给定两个正实数a、b，必存在正整数n，使na>b。几何描述：在长短不同的两条线段中，无论较长的线段怎样长，较短的线段怎样短，总可以在较长的线段上连续截取较短的线段，并且截到某一次以后，必出现下面两种情况：1：没有剩余；2：得到一条短于较短线段的剩余线段。
这就是“阿基米德公理”有时也叫阿基米德-欧多克斯公理，因为阿基米德把这个命题归功于欧多克斯。其实，比欧多克斯更早些，我国古代《墨经》上已记载着“穷，或有前不容尺也”，指的正是这个意思。
我自己的理解，给定长度，就可以用固定长度的尺子度量其全部长度。