Lv.1
菜
签名:成功之前，我不会回来。
在 [谁要是再说0.999...≠1我整到他明白为止] 下评论
对啊
2020-04-16T14:27:56
是小数后面位数无限
2020-04-16T14:28:30
然后有些人按照位数n来算
2020-04-16T14:28:48
整得我有被气到
2020-04-16T14:28:55
...
2020-04-16T14:29:10
我简直原地爆炸
2020-04-16T14:29:24
待会看看新的评论吧
2020-04-16T14:29:43
不是那样解法的都！不！严！谨！
2020-04-16T14:33:19
我觉得可以加上yds追求的套路？doge
2020-04-16T14:39:28
...我以前的置顶就是慕斯的
2020-04-16T14:42:02
书名号开英文，就当他是小于号吧2333
2020-04-16T14:46:03
...我疑心你看懂了吗
2020-04-16T14:47:00
那个n是我们设的 q=10^n我们让那个值为10^（n+1）
2020-04-16T14:47:34
在 水水水水水 下评论
我上次跟你说啥来着
2020-04-16T14:49:15
我要自♂由
2020-04-16T14:49:22
doge
2020-04-16T14:49:27
不，加了不自由♂（doge）
2020-04-16T14:53:03
在 如何创建玩家私有云变量 下评论
emm
2020-04-16T14:53:56
草 nb
2020-04-16T15:00:29
不是我说，q至少是个有限值吧
2020-04-16T15:08:52
然后我们设t是B部分里面的一个数，不管他是多少，反正他是B部分的，那么他也总会满足B部分的定义：t是有理数且t小于1 既然t是有理数，那么q肯定是有限的吧
2020-04-16T15:09:24
既然q是有限的那肯定存在一个n使得10^n＞q吧
2020-04-16T15:12:57
等等
2020-04-16T15:27:39
噗...
2020-04-16T15:29:49
你这东西就是“若A，则B”然后“假设A，......，B推出A，所以A”
2020-04-16T15:30:40
循环论证biss
2020-04-16T15:30:50
顺带一提洛谷里面一个严谨的证明都没有这令我很吃惊
2020-04-16T15:31:57
没有
2020-04-16T15:54:19
1-p/q=1-10^-n 那么构造一个t使得p/q不是1/10^-n形式不就完了
2020-04-16T15:58:08
大型捂脸现场
2020-04-16T15:58:19
