g****t
发帖数: 31659 | 1 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
于一点。搞到半截，差点没证明出来，出了一头汗。
写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
而不是观察和思考。 |
x***4
发帖数: 1815 | 2 重心到三个顶点的距离相等。
【在 g****t 的大作中提到】
: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。
|
g****t
发帖数: 31659 | 3 We need a mathematic proof.
: 重心到三个顶点的距离相等。
【在 x***4 的大作中提到】
: 重心到三个顶点的距离相等。
|
r****t
发帖数: 10904 | 4 你这个断言能被证出来是错的。
三个中线交于一点的证明应该是超过教纲的要求，我不记得初中有证过。当然我读的学
校不是很好。
搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。
【在 x***4 的大作中提到】
: 重心到三个顶点的距离相等。
|
g****t
发帖数: 31659 | 5 我也搜过Wikipedia 。看了一眼觉得短时间看不懂。于是决定自己写一个。然而差点卡
在了半路。
我给小孩讲这个是想告诉他什么叫数学证明。为什么古希腊有一小撮人认为数学是寻找
真理的道路。等于是和他闲聊历史知识。
但是把命题的真假，通过演绎，建立起来和公理真假的联系，这个approach讲清楚是很
复杂
的。
: 你这个断言能被证出来是错的。
: 三个顶点交于一点的证明应该是超过教纲的要求，我不记得初中有证过。
当然我
读的学
: 校不是很好。
: 搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。
【在 r****t 的大作中提到】
: 你这个断言能被证出来是错的。
: 三个中线交于一点的证明应该是超过教纲的要求，我不记得初中有证过。当然我读的学
: 校不是很好。
: 搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。
|
n******t
发帖数: 4406 | 6 嗯，這是因為大部分人寫程序用太多庫了。。
此外，幾何這個東西本來就是鍛煉腦子用的，美國這邊從使用主義出發，重代數輕幾何
很嚴重.(當然這個所謂重視代數其實就是一般學生就學學代公式就行了)
【在 g****t 的大作中提到】
: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。
|
n******t
发帖数: 4406 | 7 我認為大部分人並不適合學數學。。
比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人也是有好處的
，就是不適合學數學。
【在 r****t 的大作中提到】
: 你这个断言能被证出来是错的。
: 三个中线交于一点的证明应该是超过教纲的要求，我不记得初中有证过。当然我读的学
: 校不是很好。
: 搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。
|
l*********s
发帖数: 5409 | 8 太简单了，两个面积等式而已。
【在 g****t 的大作中提到】
: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。
|
l*********s
发帖数: 5409 | 9 这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。 |
g****t
发帖数: 31659 | 10 现在的数学知识体系是按照希腊人的想法组织的。
对希腊人来说，math is a way to find truth。
对有的希腊人来说，这就是the way。万物皆数。
不理解这点的。恐怕真正学习数学只能是加深痛苦。
但你说的很对。世上学问多的是。不懂数学也没啥。几百上万的乱
七八糟的各种庙，拜一个就可以了。做个星宿派，不进庙里和人抱团取暖，也可以。
: 我認為大部分人並不適合學數學。。
: 比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人
也是有
好處的
: ，就是不適合學數學。
【在 n******t 的大作中提到】
: 我認為大部分人並不適合學數學。。
: 比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人也是有好處的
: ，就是不適合學數學。
|
|
|
g****t
发帖数: 31659 | 11 写程序本身也是数学证明的不同技术。
例如你写一个程序add(a,b),运行了add(1,1),看到输出2。
那你就证明了你写的这段程序add(1,1)的结果是2。
运行一下看结果。和用演绎的办法从代码出发证明
add(1,1)结果为2都是可以的。你查查python说明书里面，formal provbility 那一节
看能看懂不。
程序写多了就类似于天天用一种证明问题的技术。
很可能别的方法就不熟练了。
: 这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。
【在 l*********s 的大作中提到】
: 这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。
|
P**H
发帖数: 1897 | 12 为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。
【在 g****t 的大作中提到】
: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。
|
a*****g
发帖数: 19398 | 13 编程偏重于逻辑实现
【在 g****t 的大作中提到】
: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。
|
r****t
发帖数: 10904 | 14 两个面积等式应该是不行的。
【在 l*********s 的大作中提到】
: 太简单了，两个面积等式而已。
|
r****t
发帖数: 10904 | 15 你把结论重新 state 一遍，不能称其为证明吧。
【在 P**H 的大作中提到】
: 为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。
|
n******t
发帖数: 4406 | 16 ..............
【在 P**H 的大作中提到】
: 为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。
|
n******t
发帖数: 4406 | 17 這個帖子越來越搞笑了。。
【在 r****t 的大作中提到】
: 你把结论重新 state 一遍，不能称其为证明吧。
|
v********r
发帖数: 1 | 18 我试了一下，用面积，然后还用了一个反证法（证明交点到第三个顶点和第三个中点成
一直线）
标准证明是这么做的么？
【在 r****t 的大作中提到】
: 两个面积等式应该是不行的。
|
l*********s
发帖数: 5409 | 19 我觉得应该是。
【在 v********r 的大作中提到】
: 我试了一下，用面积，然后还用了一个反证法（证明交点到第三个顶点和第三个中点成
: 一直线）
: 标准证明是这么做的么？
|
