投稿：早上好，来推一下你k大文学家白五的《一把青》，以及台湾同名改编电视剧。
好甜好甜的剧，不甜不要钱。
“朱青：队友皆殉职，我难逃一死。误你青春，悔不当初。不愿委身小顾，请将我抛脑后，快意余生。勿祭。九泉下见你孤单，我必痛入骨髓，魂飞魄散。”
南京的男人是魔鬼，千万不要靠近。
这些臭男人生了好皮囊，有英豪性情就吸引小姑娘。
最后阵亡沙场，沦为阶下囚，离乡万里。
md大周末不能光杀我一个就是说。
好甜好甜的剧，不甜不要钱。
“朱青：队友皆殉职，我难逃一死。误你青春，悔不当初。不愿委身小顾，请将我抛脑后，快意余生。勿祭。九泉下见你孤单，我必痛入骨髓，魂飞魄散。”
南京的男人是魔鬼，千万不要靠近。
这些臭男人生了好皮囊，有英豪性情就吸引小姑娘。
最后阵亡沙场，沦为阶下囚，离乡万里。
md大周末不能光杀我一个就是说。
#小k推送#
电视动画片《池袋西口公园》改编自石田衣良著作的同名小说作品，于2019年9月宣布动画化，由动画工房负责制作，原定2020年7月播出，2020年6月19日宣布因COVID-19疫情影响，延期至同年10月播出。
动画制作
原作：石田衣良（「池袋ウエストゲートパーク」シリーズ文春文库/文艺春秋刊 ）
监督：越田知明
系列构成：志茂文彦
角色设计：谷口淳一郎
动画制作：动画工房
制作：IWGP制作委员会
角色配音
诚：熊谷健太郎
崇：内山昂辉
京一：土田玲央
裕人：木村昴
矶贝：花江夏树
谷口胜：小林千晃
藤本光树：村濑步
实·保：新垣樽助
久朗：小野贤章
猴子：木村良平
Zero One：诹访部顺一
Shadow：津田健次郎
横山礼一郎：樱井孝宏
吉冈：桧山修之
诚的母亲：甲斐田裕子
电视动画片《池袋西口公园》改编自石田衣良著作的同名小说作品，于2019年9月宣布动画化，由动画工房负责制作，原定2020年7月播出，2020年6月19日宣布因COVID-19疫情影响，延期至同年10月播出。
动画制作
原作：石田衣良（「池袋ウエストゲートパーク」シリーズ文春文库/文艺春秋刊 ）
监督：越田知明
系列构成：志茂文彦
角色设计：谷口淳一郎
动画制作：动画工房
制作：IWGP制作委员会
角色配音
诚：熊谷健太郎
崇：内山昂辉
京一：土田玲央
裕人：木村昴
矶贝：花江夏树
谷口胜：小林千晃
藤本光树：村濑步
实·保：新垣樽助
久朗：小野贤章
猴子：木村良平
Zero One：诹访部顺一
Shadow：津田健次郎
横山礼一郎：樱井孝宏
吉冈：桧山修之
诚的母亲：甲斐田裕子
看到推特上@AndresECaicedo1 写的一串帖子，相当有意思，题目叫“√17是无理数吗？”。
柏拉图的《泰阿泰德》篇中有这样一段：
=============================
泰阿泰德：经你这么一说，苏格拉底，事情现在显得容易了。你提出的这个问题的意义似乎与此地一位与你同名的苏格拉底发现的问题属于同一类，前不久我与他交谈过。
苏格拉底：那是什么问题，泰阿泰德？
泰阿泰德：当时塞奥多洛在这里给我们讲平方根，面积为三平方尺或五平方尺的正方形的每一边（或根）都无法用代表一尺的线段来度量，以这种方式，他逐一举例，一直讲到十七平方尺。然后由于某些原因而停了下来。这个时候我们想到，这些平方根显然是无穷的，我们应该尝试着找一个集合名词，用它来表示所有这样的平方根。
苏格拉底：你们找到了吗？
泰阿泰德：我想是的，但我想听听你的看法。
苏格拉底：你先说完。
泰阿泰德：我们把所有的数分成两类。我们把任何作为某数自身相乘而得到的数比作正方形，称之为正方形数或等边形数。
苏格拉底：太好了！
泰阿泰德：任何介于此类数之间的数，例如三、五，或者任何不能靠某数自身相乘获得，但有一个因子大于或小于其他因子，因而其相应图形的对边也总是不相等的数，我们把它们比作长方形，称作长方形数。
苏格拉底：好极了！请说下去。
泰阿泰德：我们把所有用来代表等边形数、构成这个平面图形的所有相等的边的线段定义为边长，而由正方形的边长构成的平面图形的面积与某个长方形的面积相等，我们把作为正方形的边长的线段称之为平方根（不尽根），因为这些线段不能用其他长度的线段来度量，而只有用面积与以它们为边长构成的平面图形相等的正方形的边长才能加以度量。关于立方体的同类问题还有另一个区别。
苏格拉底：无法再好了，我的年轻朋友们，我敢肯定没有人会指控塞奥多洛作伪证。
=============================
雅典的泰阿泰德是公元前四世纪的古希腊数学家，以研究无理数（成就大多数记载在欧几里得《几何原本》的第十卷里）和证明了正多面体只有五种而著名。他是对话中提到的昔兰尼的塞奥多洛的学生，塞奥多洛也以对无理数的研究闻名。对话中说塞奥多洛证√3是无理数，然后√5是无理数等等，一直到√17时，“由于某些原因而停了下来”。这个原因是什么呢？
我们先来看著名的√2是无理数的证明，据说毕达哥拉斯学派的希帕索斯因为发现了这个证明而被丢入海中溺死。
=============================
假如√2是有理数，也就是能被写作两个整数之比，记
√2 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
2q^2 = p^2
等式左边是个偶数，于是右边p^2也是偶数。但只有偶数的平方才会是偶数，所以p必须是偶数，设p=2t。于是
2q^2 = (2t)^2 = 4t^2
q^2 = 2t^2
类似上面的推理，这下q也得是偶数了，和假设矛盾。得证。
=============================
对于任何一个素数s，上面这个证法可以推广成证√s是无理数：只要把“是偶数”换成“能被t整除”就行了，特别的关键就是只有能被素数t整除的数的平方才能被t整除。√17当然就能这样被证明是无理数。
√5当然也能按照上面这个方法来证明它是无理数，但是看下面这个证明：
=============================
假如√5是有理数，也就是能被写作两个整数之比，记
√5 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
5q^2 = p^2
如果p和q中有一个是偶数，那么另一个就得是奇数，但这是不可能的，因为这种情况下上面的等式一边是偶数一边是奇数。所以它们两个都得是奇数，设p=2t+1，q=2s+1。于是
5(2s+1)^2 = (2t+1)^2
20s^2+20s+5 = 4t^2+4t+1
20s^2+20s+4 = 4t^2+4t
5s^2+5s+1 = t^2+t
5s(s+1)+1 = t(t+1)
连着的两个整数的乘积一定是偶数，因为里面必有一个偶数。于是上式左边是奇数，右边是偶数，得到矛盾。得证。
=============================
上面这个证明仍旧只基于奇偶性作推理而得出矛盾。有趣的是这样的方式也对比如√8这样不是素数的平方根有效：
=============================
假如√8是有理数，也就是能被写作两个整数之比，记
√8 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
8q^2 = p^2
显然p必须是偶数。设p=2t。于是
8q^2 = (2t)^2
8q^2 = 4t^2
2q^2 = t^2
我们已经见过这种情况下q必须是偶数，得到矛盾。得证。
=============================
事实上，对2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15（也即小于17的所有非平方正整数）都能只用奇偶法来证明它们的平方根，但是这种方法在证明√17是无理数时失效了。这很可能就是《泰阿泰德》篇中塞奥多洛“由于某些原因而停了下来”的原因。
古希腊人大概把数的奇偶性看得很重要，《泰阿泰德》篇中有这样的话：
=============================
苏格拉底：现在再次设想一下这个人捕捉他想要得到的知识，追捕、捉住、再放飞。我们该用什么样的术语来描述这个过程，用一些与我们用来描述最初的获得过程相同的术语，还是用其他不同的术语？举个例子也许可以帮助你明白我的意思。有一门被你们称为“算术”的科学。
泰阿泰德：对。
苏格拉底：那么把这门科学想象为追逐所有数，偶数和奇数。
泰阿泰德：我会这样做的。
=============================
那么塞奥多洛坚持用这种用奇偶性来作推理证明平方根无理性的做法也就容易理解了。
但是严格地什么叫做“只用奇偶性作推理”呢？√17是无理数是否真是“只用奇偶性作推理”无法推出的？美国亚利桑那州立大学的两位数学家Victor Pambuccian和Celia Schacht提出了一套（或几套）比皮亚诺公理系统弱的算术公理系统（他们称之为“关于奇偶的算术系统”），在其中可以证明任何非平方数的无理性，除了那些形如8k+1的数的平方根外——17正是最小的这样的非平方数。（附图是这个系统的前15条公理，定义了一个被记作PA-的弱算术公理系统）
柏拉图的《泰阿泰德》篇中有这样一段：
=============================
泰阿泰德：经你这么一说，苏格拉底，事情现在显得容易了。你提出的这个问题的意义似乎与此地一位与你同名的苏格拉底发现的问题属于同一类，前不久我与他交谈过。
苏格拉底：那是什么问题，泰阿泰德？
泰阿泰德：当时塞奥多洛在这里给我们讲平方根，面积为三平方尺或五平方尺的正方形的每一边（或根）都无法用代表一尺的线段来度量，以这种方式，他逐一举例，一直讲到十七平方尺。然后由于某些原因而停了下来。这个时候我们想到，这些平方根显然是无穷的，我们应该尝试着找一个集合名词，用它来表示所有这样的平方根。
苏格拉底：你们找到了吗？
泰阿泰德：我想是的，但我想听听你的看法。
苏格拉底：你先说完。
泰阿泰德：我们把所有的数分成两类。我们把任何作为某数自身相乘而得到的数比作正方形，称之为正方形数或等边形数。
苏格拉底：太好了！
泰阿泰德：任何介于此类数之间的数，例如三、五，或者任何不能靠某数自身相乘获得，但有一个因子大于或小于其他因子，因而其相应图形的对边也总是不相等的数，我们把它们比作长方形，称作长方形数。
苏格拉底：好极了！请说下去。
泰阿泰德：我们把所有用来代表等边形数、构成这个平面图形的所有相等的边的线段定义为边长，而由正方形的边长构成的平面图形的面积与某个长方形的面积相等，我们把作为正方形的边长的线段称之为平方根（不尽根），因为这些线段不能用其他长度的线段来度量，而只有用面积与以它们为边长构成的平面图形相等的正方形的边长才能加以度量。关于立方体的同类问题还有另一个区别。
苏格拉底：无法再好了，我的年轻朋友们，我敢肯定没有人会指控塞奥多洛作伪证。
=============================
雅典的泰阿泰德是公元前四世纪的古希腊数学家，以研究无理数（成就大多数记载在欧几里得《几何原本》的第十卷里）和证明了正多面体只有五种而著名。他是对话中提到的昔兰尼的塞奥多洛的学生，塞奥多洛也以对无理数的研究闻名。对话中说塞奥多洛证√3是无理数，然后√5是无理数等等，一直到√17时，“由于某些原因而停了下来”。这个原因是什么呢？
我们先来看著名的√2是无理数的证明，据说毕达哥拉斯学派的希帕索斯因为发现了这个证明而被丢入海中溺死。
=============================
假如√2是有理数，也就是能被写作两个整数之比，记
√2 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
2q^2 = p^2
等式左边是个偶数，于是右边p^2也是偶数。但只有偶数的平方才会是偶数，所以p必须是偶数，设p=2t。于是
2q^2 = (2t)^2 = 4t^2
q^2 = 2t^2
类似上面的推理，这下q也得是偶数了，和假设矛盾。得证。
=============================
对于任何一个素数s，上面这个证法可以推广成证√s是无理数：只要把“是偶数”换成“能被t整除”就行了，特别的关键就是只有能被素数t整除的数的平方才能被t整除。√17当然就能这样被证明是无理数。
√5当然也能按照上面这个方法来证明它是无理数，但是看下面这个证明：
=============================
假如√5是有理数，也就是能被写作两个整数之比，记
√5 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
5q^2 = p^2
如果p和q中有一个是偶数，那么另一个就得是奇数，但这是不可能的，因为这种情况下上面的等式一边是偶数一边是奇数。所以它们两个都得是奇数，设p=2t+1，q=2s+1。于是
5(2s+1)^2 = (2t+1)^2
20s^2+20s+5 = 4t^2+4t+1
20s^2+20s+4 = 4t^2+4t
5s^2+5s+1 = t^2+t
5s(s+1)+1 = t(t+1)
连着的两个整数的乘积一定是偶数，因为里面必有一个偶数。于是上式左边是奇数，右边是偶数，得到矛盾。得证。
=============================
上面这个证明仍旧只基于奇偶性作推理而得出矛盾。有趣的是这样的方式也对比如√8这样不是素数的平方根有效：
=============================
假如√8是有理数，也就是能被写作两个整数之比，记
√8 = p/q
我们可以假设这里p/q已被约分，也即p和q不能同时是偶数。于是
8q^2 = p^2
显然p必须是偶数。设p=2t。于是
8q^2 = (2t)^2
8q^2 = 4t^2
2q^2 = t^2
我们已经见过这种情况下q必须是偶数，得到矛盾。得证。
=============================
事实上，对2, 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15（也即小于17的所有非平方正整数）都能只用奇偶法来证明它们的平方根，但是这种方法在证明√17是无理数时失效了。这很可能就是《泰阿泰德》篇中塞奥多洛“由于某些原因而停了下来”的原因。
古希腊人大概把数的奇偶性看得很重要，《泰阿泰德》篇中有这样的话：
=============================
苏格拉底：现在再次设想一下这个人捕捉他想要得到的知识，追捕、捉住、再放飞。我们该用什么样的术语来描述这个过程，用一些与我们用来描述最初的获得过程相同的术语，还是用其他不同的术语？举个例子也许可以帮助你明白我的意思。有一门被你们称为“算术”的科学。
泰阿泰德：对。
苏格拉底：那么把这门科学想象为追逐所有数，偶数和奇数。
泰阿泰德：我会这样做的。
=============================
那么塞奥多洛坚持用这种用奇偶性来作推理证明平方根无理性的做法也就容易理解了。
但是严格地什么叫做“只用奇偶性作推理”呢？√17是无理数是否真是“只用奇偶性作推理”无法推出的？美国亚利桑那州立大学的两位数学家Victor Pambuccian和Celia Schacht提出了一套（或几套）比皮亚诺公理系统弱的算术公理系统（他们称之为“关于奇偶的算术系统”），在其中可以证明任何非平方数的无理性，除了那些形如8k+1的数的平方根外——17正是最小的这样的非平方数。（附图是这个系统的前15条公理，定义了一个被记作PA-的弱算术公理系统）
✋热门推荐