Zorich中译本勘误：
http://tieba.baidu.com/p/3192875190

话说log(A000001(n))的图像很奇特……不知是什么规律在其中

鉴于有人吐槽了那简直zz的二人对话，我们今天再来一次
A：这次讲点什么好呢
B：无所谓啦……
A：嘛这次也没什么好讲的，主要是假期没发生什么事情，有事情也多是积极向上的但没啥记录价值的
B：要不我们来吹爆石头门
A：但是我拒绝
B：最近这个楼里面都在讲数学，都很浅显，没什么深秘到东西
A：你说浅显会让读者哭的
B：我是说它的意思直白展现出来，而非像以前那样要绕弯
A：这样嘛……真是不一样的理解角度
B：既然说到数学我们要不还是来谈数学吧
A：来点不正常的吧
B：正好我今天又看到一道日经题，由导数恒正证函数单增
A：确实日经，不是用拉格朗日中值定理即证吗
B：有没有别的方法的，尽可能少用导数相关的知识的
A：这……？
B：嘛，要不就极限以及之前的知识来证吧
A：你这是刁难人啊
B：这道题目可是有背景的
A：嘶（倒吸凉气）……
A：但你也没看过什么书啊
B：啊哈哈
A：给个提示呗
B：嘛，所谓背景，其实是最近有用过相似的思路
A：敢情是引用自己啊
B：话就说这么多，你证吧
A：对于一个固定的点，和它旁边一个点，导数也就是个极限嘛，那么由极限的保号性，这两个点只要充分近，单调增是可以满足的
B：还行
A：也就是说，每个点的邻域内，单单是关于这个点，看起来的单调增的，这些点不妨叫做这个邻域的核心
B：这和背景有啥关系呢（装傻）
A：对于两个点，就让它们成为一个闭区间的端点好了，那么这个闭区间中的每个点作为核心撑开一个开邻域，这当然是个覆盖，当然就有个有限子覆盖
A：然后就可以仿照上次的链条了，每个开邻域总归和另外某个邻域有交，于是它们的核心，就可以通过这个交集中的某个点，关联起来
B：严格说来，用作桥梁的这个点，得在两个核心之间
A：嗯，交集中的那个点就叫桥梁好了
B：为啥核心不叫桥墩呢
A：当时哪想得到现在会脑子一抽命名个桥梁
B：好吧
A：那么呢，整个闭区间的两个端点，也就是我们要证到对象，可以通过有限的[左端点-桥梁-核心-桥梁-…-核心-桥梁-右端点]联结，也就证毕
B：跨海大桥建成了
A：大桥还行
B：大桥的后一代还行么……不知道呢
A：我没说这个桥啊（笑）
B：话说用废话证明，意外的长
A：是啊，意外的，严格证明写起来反而很省事
B：打发完等待时间了
A：跑了

换电脑果然麻烦……
即使之前把所有东西基本都放在了同一个文件夹
部分软件还是需要重新安装……
(；′⌒`)

高清的石头门零游戏，幸福~

好的，按照计划，今天写了篇真由理视角的文
说是写，其实是把各个片段拼凑重组了一下
主体是悠远不变的北极星以及无穷远点的弧光灯/牵牛星
本来星之奏曲想揉进去的，没找到合适的地方……
顺带一提，第一个变动率好像是两个变动率加起来的样子
百度压图，明天发链接吧
七夕就这么过去了啊
真好，大概

依旧百度云……，一四b三ckIZG-六mrVgx五九UjJUw

预览

明儿又进京了^_^
希望不要忘带东西（
今天再看个有意思的玩意吧……所谓的Herglotz技巧

开学前推石头门0

发觉比起dalao至少不是什么都不如
但是呢，dalao的精神着实让人惭愧
虽然自己私下觉得有好高骛远之嫌，但是说不定这就是dalao吧
暂时呢，想慢慢打基础
还不知道到底想做啥方向，这是当然的，这个选择也还算合理吧
只是，或许应该更用功一些了
如果能够尽力地尽快地打着基础，慢慢可以垒成高塔的吧，那时果实会好摘一些吧
不过还是敬佩这样的充满着兴趣并为之行动的dalao
Lozen
2018.08.23.夜

说不定这楼会变成萌新日记×

紫操
好久没有完全躺在草地上了
简直有种天圆地方的感觉

今天闲的没事翻了一遍陈纪修版的数分
忽然想到一个问题，为何Dedekind Cut受到的历史评价会比Cauchy列定义高呢？
知乎上有个说法是它更简洁，又更加深刻地反应了实数系的连续性
“你拿一把细的刀切实数轴时一定会有一个数挡住简直爽”
当然了我们还知道Dedekind Cut公理是比Cauchy收敛准则强的，那就是Archimedes原理
这个可能也是重要的一个原因
不知道到后面的学习中能不能得到其他的解释
不过我个人没啥感觉，反正能定义出实数系就好……