m*n
2 楼
Triangle?
12345
12345
h*2
3 楼
can't rule out smooth curves
【在 m********n 的大作中提到】
: Triangle?
: 12345
【在 m********n 的大作中提到】
: Triangle?
: 12345
F*u
4 楼
我记得初中几何两点间线段最短是公理1
三角形两边之和大于第三边是公理1的推论
【在 m********n 的大作中提到】
: Triangle?
: 12345
三角形两边之和大于第三边是公理1的推论
【在 m********n 的大作中提到】
: Triangle?
: 12345
h*2
5 楼
术版没人了？去外面溜了一圈回来居然还没人接
提示下，f1作为连接(x1,y1)和(x2,y2)两点之间的最短C1曲线，那么任意一条其他连接
(x1,y1)和(x2,y2)的曲线可以是f1叠加一个什么东西。证明f1的二阶导数为0
提示下，f1作为连接(x1,y1)和(x2,y2)两点之间的最短C1曲线，那么任意一条其他连接
(x1,y1)和(x2,y2)的曲线可以是f1叠加一个什么东西。证明f1的二阶导数为0
b*d
6 楼
变分原理？
l*s
7 楼
最近来少了。
先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
然后任意曲线的长度为对下式从0到X 积分
sqrt[1+(dy/dx)^2]dx
dy/dx处处为0时达到最小值
：术版没人了？去外面溜了一圈回来居然还没人接
：
先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
然后任意曲线的长度为对下式从0到X 积分
sqrt[1+(dy/dx)^2]dx
dy/dx处处为0时达到最小值
：术版没人了？去外面溜了一圈回来居然还没人接
：
a*e
8 楼
你的长度公式就暗含了这个概念了
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
o*y
9 楼
公理不需要证明
a*e
10 楼
你得先定义长度
欧几里得里面长度的定义就是两点间直线段的大小。这样的定义下
直线必然最短
你所玩的一切花招，都是循环论证而已
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: 术版没人了？去外面溜了一圈回来居然还没人接
: 提示下，f1作为连接(x1,y1)和(x2,y2)两点之间的最短C1曲线，那么任意一条其他连接
: (x1,y1)和(x2,y2)的曲线可以是f1叠加一个什么东西。证明f1的二阶导数为0
欧几里得里面长度的定义就是两点间直线段的大小。这样的定义下
直线必然最短
你所玩的一切花招，都是循环论证而已
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: 术版没人了？去外面溜了一圈回来居然还没人接
: 提示下，f1作为连接(x1,y1)和(x2,y2)两点之间的最短C1曲线，那么任意一条其他连接
: (x1,y1)和(x2,y2)的曲线可以是f1叠加一个什么东西。证明f1的二阶导数为0
a*e
11 楼
坐标一定义已经默认直线最短了
否则凭啥直线X单位外那个点为（X，0）？
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
否则凭啥直线X单位外那个点为（X，0）？
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
l*s
12 楼
本来就是。
这种距离的定义就是欧几几何构造基础。
：坐标一定义已经默认直线最短了
：否则凭啥直线X单位外那个点为（X，0）？
这种距离的定义就是欧几几何构造基础。
：坐标一定义已经默认直线最短了
：否则凭啥直线X单位外那个点为（X，0）？
h*2
13 楼
dy/dx处处为0的话是一条平的线了
另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
https://www.guokr.com/question/512475/
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
https://www.guokr.com/question/512475/
【在 l*******s 的大作中提到】
: 最近来少了。
: 先做个旋转加平移，把两点变到X 轴上。坐标为(0,0), (X,0)
: 然后任意曲线的长度为对下式从0到X 积分
: sqrt[1+(dy/dx)^2]dx
: dy/dx处处为0时达到最小值
:
: ：术版没人了？去外面溜了一圈回来居然还没人接
: ：
a*e
14 楼
曲线长度用小直线段的和，本身就是假设直线段最短。如果你假定直线段不是最短，那
么那个积分项本身就不会是导数平方加一开根号，
所以整个过程就是自洽最多和证明最短一点都不相干
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: dy/dx处处为0的话是一条平的线了
: 另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
: https://www.guokr.com/question/512475/
么那个积分项本身就不会是导数平方加一开根号，
所以整个过程就是自洽最多和证明最短一点都不相干
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: dy/dx处处为0的话是一条平的线了
: 另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
: https://www.guokr.com/question/512475/
h*2
15 楼
"曲线长度用小直线段的和，本身就是假设直线段最短"
This is not true, they are just infinitesimal triangles
【在 a***e 的大作中提到】
: 曲线长度用小直线段的和，本身就是假设直线段最短。如果你假定直线段不是最短，那
: 么那个积分项本身就不会是导数平方加一开根号，
: 所以整个过程就是自洽最多和证明最短一点都不相干
:
: ★ 发自iPhone App: ChinaWeb 1.1.3
This is not true, they are just infinitesimal triangles
【在 a***e 的大作中提到】
: 曲线长度用小直线段的和，本身就是假设直线段最短。如果你假定直线段不是最短，那
: 么那个积分项本身就不会是导数平方加一开根号，
: 所以整个过程就是自洽最多和证明最短一点都不相干
:
: ★ 发自iPhone App: ChinaWeb 1.1.3
l*s
16 楼
是的，没看见我前面用坐标变换把它换平了？
发个包子吧，我按你的要求证明了。
【在 h*********2 的大作中提到】
: dy/dx处处为0的话是一条平的线了
: 另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
: https://www.guokr.com/question/512475/
发个包子吧，我按你的要求证明了。
【在 h*********2 的大作中提到】
: dy/dx处处为0的话是一条平的线了
: 另外解释下有人说欧几里得公理的定义，可以参考下下面这个解释(unverified)
: https://www.guokr.com/question/512475/
h*2
17 楼
你跟biokold都发了
【在 l*******s 的大作中提到】
: 是的，没看见我前面用坐标变换把它换平了？
: 发个包子吧，我按你的要求证明了。
【在 l*******s 的大作中提到】
: 是的，没看见我前面用坐标变换把它换平了？
: 发个包子吧，我按你的要求证明了。
p*h
18 楼
直线距离最短等价于三角形两边和大于第三边
欧式几何里距离的定义就是两点间直线的长度
采用三角形公理的话只要用反证法就能得到存在一个满足两边和小于第三边的点，违反
三角形公理
反过来用这个作为公理就能推出三角形两边和大于第三边
微分化以后这俩命题等价于euclidean metric，或者说euclidean metric下的测地线就
是直线
欧式几何里距离的定义就是两点间直线的长度
采用三角形公理的话只要用反证法就能得到存在一个满足两边和小于第三边的点，违反
三角形公理
反过来用这个作为公理就能推出三角形两边和大于第三边
微分化以后这俩命题等价于euclidean metric，或者说euclidean metric下的测地线就
是直线
l*s
19 楼
多谢包子。
【在 h*********2 的大作中提到】
: 你跟biokold都发了
【在 h*********2 的大作中提到】
: 你跟biokold都发了
a*e
20 楼
如果C更短，俩无穷小间的俩个点，也会有个小于直线的C，这个C积分起来才是最短。
你勾股定理一用，就是说用小直线接起来的所有线长，扯直了最短。你确定你证明了啥
了？
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: 你跟biokold都发了
你勾股定理一用，就是说用小直线接起来的所有线长，扯直了最短。你确定你证明了啥
了？
★ 发自iPhone App: ChinaWeb 1.1.3
【在 h*********2 的大作中提到】
: 你跟biokold都发了
l*s
21 楼
欧几里德几何可以由欧几里德提出的5个公理以及5个概念建立，
也可以用解析几何中距离的定义来建立。有了距离的定义，可以证明几里德提出的5个
公理。
【在 a***e 的大作中提到】
: 如果C更短，俩无穷小间的俩个点，也会有个小于直线的C，这个C积分起来才是最短。
: 你勾股定理一用，就是说用小直线接起来的所有线长，扯直了最短。你确定你证明了啥
: 了？
:
: ★ 发自iPhone App: ChinaWeb 1.1.3
也可以用解析几何中距离的定义来建立。有了距离的定义，可以证明几里德提出的5个
公理。
【在 a***e 的大作中提到】
: 如果C更短，俩无穷小间的俩个点，也会有个小于直线的C，这个C积分起来才是最短。
: 你勾股定理一用，就是说用小直线接起来的所有线长，扯直了最短。你确定你证明了啥
: 了？
:
: ★ 发自iPhone App: ChinaWeb 1.1.3
a*e
22 楼
距离定义就是整个东西的构造出发点
严格说距离这么定义的原因就是因为最短。现在再反过来用距离来证明最短
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 欧几里德几何可以由欧几里德提出的5个公理以及5个概念建立，
: 也可以用解析几何中距离的定义来建立。有了距离的定义，可以证明几里德提出的5个
: 公理。
严格说距离这么定义的原因就是因为最短。现在再反过来用距离来证明最短
★ 发自iPhone App: ChinaWeb 1.1.3
【在 l*******s 的大作中提到】
: 欧几里德几何可以由欧几里德提出的5个公理以及5个概念建立，
: 也可以用解析几何中距离的定义来建立。有了距离的定义，可以证明几里德提出的5个
: 公理。
相关阅读
周小平今天在云南被抓住了！！中国妇女大闹美国使馆高喊“共产党万岁”当场获得绿卡Re: 人生又完整了一把，今天警察大叔来敲门了 (转载)柴女士强暴事件的处理提议 (转载)黑车司机牧师揭露远志明强奸纪实 (转载)Re: 【女征男】45岁女士，征没娃男士，照片16楼 (转载)尼玛，美国黄豆太可怕了 (转载)小时候，乡愁是一枚小小的邮票太阳系到底有多大？又学会一新词考研苦读。咖啡配什么最好吃？记者：有公知说，解放后人的素质不如解放前。您怎么看？王大爷：这完全是胡扯！我举个例子就可以驳倒他。比如解放前闹革命，你要跟群众谈共产主义理想，没人搭理你。你得说抢地、分钱、睡女学生，大伙儿就跟你走了；Re: 年终奖买个小玩意，展示下华为mate 7的相机, 毋庸置疑全年 (转载)成龙大哥NB啊，房祖名有期徒刑6个月，罚金2000元宇宙的尺度中国妇女大闹美国使馆高喊“共产党万岁”当场获得绿卡 (转载)男人活着，上为嘴巴，下为JB法国警察真应该去也门受一下训了