主贴的目的是要揭示jzkyllcjl 的数学主张的荒谬．他的’全能近似’理论的破产．
elim 发表于 2022-6-3 14:23
\(\pi\) 若不能用所论线段表示，楼上的东西就是邪氏实数理论。
谢芝灵 发表于 2022-6-3 06:46
用符号定义点：（a=0，b=0，c=0，）↓。
用符号定义线：（a＞0，b=0，c=0，）→。
π若不能用所论线段表示，楼上的东西就是邪氏实数理论。
================
π若不能用所论线段表示，但是：π若不能用所论线表示。
线分为：直线，曲线。
直线来自欧氏尺：两点决定一直线（这个公理是可证明的）。
曲线分为：规曲线（用欧氏圆规画出的），非规曲线（不用欧氏尺、规 画出的线）。
用符号定义线：（a＞0，b=0，c=0，）→。
定义直线与曲线：只有长度，没宽没高。可延长。
别把线定义强召为直线。
本帖最后由 elim 于 2022-6-9 18:10 编辑
实数域是有理数域的连续扩张，利用割圆法知道，存在单位直径圆的内接，
外切正\(n\)边形周长列\(\{a_n\},\{b_n\}\) 使\(\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n =L\) 为实数，
这个实数就是 \(\pi\). 换句话说，由于数轴的连续性，\(\pi\) 作为其上点列的极限
也对应于其上一点\(L\)。
所以\(\pi\)就是数轴上从原点到\(L\)的线段长。
楼上的论述也可以翻译成 Dedekind 分割的说法。
任何把 \(\pi\) 剔除出实数的"实数理论"从理论数学的观点看都是残缺不全的，必然导致进一步的扩充。
实数的"实数理论"包含了π，
实数包括 直线实数和曲线实数（曲线实数又包 含规画曲线实数和不用规画曲线实数），
这样扩张实数。
数轴上仅仅包 含了直线实数。
有理数仅仅包含在直线上，π属曲线，不包含在直线上。
所以 有理数不包含π，证明了 π是无理数。
曲线当然不是直线，但曲线段长可以等于直线段长。
群论证明 π是无理数。
一、直线上的数A群：{所有的有理数+只含二次根元素的所有数}。
二、证明 π 不属于 A群。
三、所以 π不属于有理数。
谢芝灵 发表于 2022-6-10 03:25
群论证明 π是无理数。
一、直线上的数A群：{所有的有理数+只含二次根元素的所有数}。
怎样 证明π 不属于 A群。
证明：
先定义
线段定义：＞0
直线曲率：Ω=0
曲线曲率：Ω≠0
∵ （Ω=0）≠（Ω≠0）
∵{线段定义：＞0}→{任意 曲线段＞0；任意 直线段＞0}
∴（任意短的 曲线段）与（任意短的 直线段）不能重合。
∴（任意短的 曲线段）不≌（任意短的 直线段）。
∴任意短的 曲线段≠任意短的 直线段。
曲线段不是直线段推不出 \(\pi\) 不属于 A.
elim 发表于 2022-6-10 05:10
曲线段不是直线段推不出 \(\pi\) 不属于 A.
直线包含了所有有理数和直线无理数。
{曲线段不包含直线段，直线段不包含曲线段}→（所有有理数和直线无理数）不包含 π。
证明了 π不属于任何有理数。