为什么从三点决定圆,圆规仅凭两点决定圆?

6天前 (03-21 01:28)阅读1回复0
zaibaike
zaibaike
  • 管理员
  • 注册排名1
  • 经验值224200
  • 级别管理员
  • 主题44840
  • 回复0
楼主

不晓得题主画过圆锥没,能考量三个类似于的难题:

为何四点下定决心三个圆锥,而只需晓得三个存眷点再加三个点就下定决心了三个圆锥?

再者,不异的不动点只不外曾效力是其实不那样的,好比说凡是来说三个方程组底子无法确认三个未知。但[Math Processing Error](x−1)2+|y−1|=0(x-1)^2+|y-1|=0三个方程组就求出了三个未知(有理数笼盖范畴)

另再者,不异模块只不外可能将下定决心三个小工具,他们要模掉输入输出重量。

好比说凡是的射影边值难题[Math Processing Error]Ax2+By2+Cxy+Dx+Ey+F=0Ax^2+By^2+Cxy+Dx+Ey+F=0看上去有6个模块,事实上多于5个起促进感化。

返回港译,圆多于3个模块:

[Math Processing Error]x2+y2+Ax+By+C=0x^2+y^2+Ax+By+C=0

圆过三个点(x,y),只不外也就是说A,B,C满足用户三个线性系统组:

[Math Processing Error]x2+y2+Ax+By+C=0x^2+y^2+Ax+By+C=0

好比说圆过(1,2)

那么[Math Processing Error]A+2B+C+5=0A+2B+C+5=0

3个未知的3个线性系统组解凡是是独一的,于是他们确认了3个模块A,B,C那就是所谓确实认三个圆。

而他们说三个圆的圆心是(a,b),只不外是给出了三个线性系统组

[Math Processing Error]A=−2a,B=−2bA=-2a,B=-2b

所以再晓得圆颠末三个点,就有了2+1个线性系统组,所以也能确认三个圆。

若是放到高维来看,可能将更天然,要确认三个n维球面,理论上有n+1个自在模块,

晓得球面过1个点则得到1个线性系统组.

晓得球面的球心就得到n个线性系统组.

n+1=n+1,两种办法是那样的

圆锥的同理。

②第二种观点就是照本宣科,他们把平面上所有圆全体(包罗空集、曲线等蜕化情况)构成集合记为E

那么他们有三个满射:

f定义域为 R^2x(0,∞)

把 (点1,r)对应到点1为圆心,半径r的圆。

[Math Processing Error]g:R2×R2×R2→Eg:\mathbb R^2 \times \mathbb R ^2 \times \mathbb R ^2 \rightarrow E

(点1,点2,点3)对应到过点1,点2,点3的圆。

那么题主的话能翻译成:

Q:为何我有三个到同三个集合的满射,它们的定义域不那样?

A:因为f是单射,g不是单射

(那只是一种粗拙的说法,准确来说应该是f和g在非退化时表示为f单,g不但)

只不外还能模块化E,有良多如许的例子,若何合理理解E是三个很有趣的难题。E当然不老是欧氏空间,所以间接谈几个重量凡是来说是不太好的。(好比说S^2和R^2都是2维的,但显然是不那样的)

Morse理论里面就有三个典型例子:

考量平面上所有的边长满是1的五边形(定义为分5段的闭折线,纷歧定是凸的),

把颠末扭转、平移能重合的三个五边形看成同构的,五边形的同构类全体构成集合记为E

颠末扭转、平移、反射,无妨设五边形三个顶点是(0,0),别的三个是(1,0),

那么三个多边形由其别的4个边确认,每三个边对应三个长1的二维向量,对应三个模为1的复数,能看出E中每三个元被4个复数确认。

[Math Processing Error]E={(z1,z2,z3,z4)∈C4||zi|=1,Im(z1+z2+z3+z4)=0,Re(z1+z2+z3+z4)=1}E = \{ (z_1,z_2,z_3,z_4)\in \mathbb C^4 | |z_i|=1,Im(z_1+z_2+z_3+z_4)=0,Re(z_1+z_2+z_3+z_4)=1 \}

E是三个1维复流形,通过Morse理论能证明

E是三个亏格为4的紧黎曼面,长如许:

凡是的他们还能考量 moduli space of polygons with length l_1,\hdots,l_n,那是三个挺好的难题。

0
回帖

为什么从三点决定圆,圆规仅凭两点决定圆? 期待您的回复!

取消