\(\large\textbf{请jzkyllcjl检验}\;\sqrt{2}+\sqrt{3}+\sqrt{5}\;是否为无理数\).

elim

主贴的目的是要揭示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

实数域是有理数域的连续扩张，利用割圆法知道，存在单位直径圆的内接，
外切正\(n\)边形周长列\(\{a_n\},\{b_n\}\) 使\(\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n =L\) 为实数，
这个实数就是 \(\pi\). 换句话说，由于数轴的连续性，\(\pi\) 作为其上点列的极限
也对应于其上一点\(L\)。

所以\(\pi\)就是数轴上从原点到\(L\)的线段长。

elim

楼上的论述也可以翻译成 Dedekind 分割的说法。

任何把 \(\pi\) 剔除出实数的"实数理论"从理论数学的观点看都是残缺不全的，必然导致进一步的扩充。

谢芝灵

实数的"实数理论"包含了π，
实数包括 直线实数和曲线实数（曲线实数又包 含规画曲线实数和不用规画曲线实数），
这样扩张实数。

数轴上仅仅包 含了直线实数。
有理数仅仅包含在直线上，π属曲线，不包含在直线上。
所以 有理数不包含π，证明了 π是无理数。

elim

曲线当然不是直线，但曲线段长可以等于直线段长。

谢芝灵

群论证明 π是无理数。

一、直线上的数A群：{所有的有理数+只含二次根元素的所有数}。
二、证明 π 不属于 A群。
三、所以 π不属于有理数。

谢芝灵

谢芝灵 发表于 2022-6-10 03:25
群论证明 π是无理数。

一、直线上的数A群：{所有的有理数+只含二次根元素的所有数}。

怎样 证明π 不属于 A群。
证明：
先定义
线段定义：＞0
直线曲率：Ω=0
曲线曲率：Ω≠0
∵ （Ω=0）≠（Ω≠0）
∵{线段定义：＞0}→{任意 曲线段＞0；任意 直线段＞0}
∴（任意短的 曲线段）与（任意短的 直线段）不能重合。
∴（任意短的 曲线段）不≌（任意短的 直线段）。
∴任意短的 曲线段≠任意短的 直线段。

elim

曲线段不是直线段推不出 \(\pi\) 不属于 A.

谢芝灵

elim 发表于 2022-6-10 05:10
曲线段不是直线段推不出 \(\pi\) 不属于 A.

直线包含了所有有理数和直线无理数。
{曲线段不包含直线段，直线段不包含曲线段}→（所有有理数和直线无理数）不包含 π。
证明了 π不属于任何有理数。