某个偏锥面跟平面的交线

问题

圆锥曲线在射影几何里最原始的定义是:

圆锥曲线(英语:conic section),又称圆锥截痕、圆锥截面、二次平面曲线,是数学、几何学中通过平切圆锥(严格为一个正圆锥面和一个平面完整相切)得到的曲线,包括圆,椭圆,抛物线,双曲线及一些退化类型。

圆锥曲线在约公元前200年时就已被命名和研究了,其发现者为古希腊的数学家阿波罗尼奥斯,那时阿波罗尼阿斯对它们的性质已做了系统性的研究。

圆锥曲线应用最广泛的定义为(椭圆,抛物线,双曲线的统一定义):动点到一定点(焦点)的距离与其到一定直线(准线)的距离之比为常数(离心率e)的点的集合是圆锥曲线。对于0 < e < 1得到椭圆,对于e = 1得到抛物线,对于e > 1得到双曲线。

在笛卡尔坐标系内,二元二次方程的图像可以表示圆锥曲线,并且所有圆锥曲线都以这种方式引出。方程有如下形式

Ax2+Bxy+Cy2+Dx+Ey+F=0; 有着参数A,,B,和C,不得皆等于0,。

如果B2?4AC<0,,方程表示椭圆(除非圆锥曲线退化了,例如x2+y2+10=0);

如果A=C且B=0,且D2+E2?4F>0,,方程表示圆;

如果B2?4AC=0,,方程表示抛物线;

如果B2?4AC>0,,方程表示双曲线;

如果还有A=?C,,方程表示直角双曲线。

Wolfram mathworld里面是:

The conic sections are the nondegenerate curves generated by the intersections of a plane with one or two nappes of a cone. For a plane perpendicular to the axis of the cone, a circle is produced. For a plane that is not perpendicular to the axis and that intersects only a single nappe, the curve produced is either an ellipse or a parabola (Hilbert and Cohn-Vossen 1999, p. 8). The curve produced by a plane intersecting both nappes is a hyperbola (Hilbert and Cohn-Vossen 1999, pp. 8-9).

The ellipse and hyperbola are known as central conics.

Because of this simple geometric interpretation, the conic sections were studied by the Greeks long before their application to inverse square law orbits was known. Apollonius wrote the classic ancient work on the subject entitled On Conics. Kepler was the first to notice that planetary orbits were ellipses, and Newton was then able to derive the shape of orbits mathematically using calculus, under the assumption that gravitational force goes as the inverse square of distance. Depending on the energy of the orbiting body, orbit shapes that are any of the four types of conic sections are possible.

A conic section may more formally be defined as the locus of a point P that moves in the plane of a fixed point F called the focus and a fixed line d called the conic section directrix (with F not on d) such that the ratio of the distance of P from F to its distance from d is a constant e called the eccentricity. If e=0, the conic is a circle, if 0<e<1, the conic is an ellipse, if e=1, the conic is a parabola, and if e>1, it is a hyperbola.

上面的维基里和mathworld的描述主要基于正圆锥,我是指,锥面的奇点(顶多)向底面正投影正好在底面圆心的类型. 如果底面是圆,但锥面顶点向底面正投影偏离底面圆心的偏圆锥(如下图),则用平面截锥面得到的非退化交线是不是还是二次曲线?

结论

这样的说法也适用于偏圆锥或扁圆锥(顶点正投影到椭圆底面中心的情形)。

举例说明

证明是繁琐的【除非用中心投影法】。

证明的思路大致是这样的,前面提到的圆锥面,不论偏(或扁)还是正房,都有一个平面截它是二次曲线(记为c);任意其它平面截该锥面得到的交线c′都相当于对c作一个中心投影。如果用平面曲线的实对称二次型C3×3来表示,记作c≈C,那么中心投影的变换总可以用一个平面的满秩的单应H表示,从而c′≈HTCH也是一个实对称二次型,必然对应于一条二次曲线。

估计射影几何或投影几何的优越性就这么来的:很复杂的解析的问题能够被简化。

不知道原始的文献如何定义了圆锥曲线并得到二次曲线形式的方程。

举一个特定的例子看看其繁琐性的同时,也验证下前面的结论。

时间: 2024-11-06 11:13:12

某个偏锥面跟平面的交线的相关文章

HDU2050(分平面问题)

分平面问题: 一.n条直线最多分平面问题. n条直线最多可以把平面分成多少个区域? 此类问题主要采用递归的思想.当有n-1条直线时,平面最多被分成了f(n-1)块区域.如果要使第n条直线分的区域最多,就要让第n条直线与每条直线相交且交点不能重合.这样就会的到n-1个交点,将第n条直线分成了n-2条线段和两条射线.通过观察发现每一条线段或者直线都将其通过的区域一分为2,于是平面就多出了n块区域. 即: f(n) = f(n-1) + n = f(n-2) + (n – 1) + n … = f(1

折线分割平面(杭电2050)(递归的几种类型,数学推导)

折线分割平面 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others) Total Submission(s): 17706    Accepted Submission(s): 12192 Problem Description 我们看到过很多直线分割平面的题目,今天的这个题目稍微有些变化,我们要求的是n条折线分割平面的最大数目.比如,一条折线可以将平面分成两部分,两条折线最多可以将平

递推算法之平面分割问题总结

这是一类问题,首先由直线划分区域到折线划分区域,再延伸到封闭图形划分区域,最后在推广为平面划分空间的问题. 一.n条直线最多分平面问题 题目大致如:n条直线,最多可以把平面分为多少个区域. 析:可能你以前就见过这题目,这充其量是一道初中的思考题.当有n-1条直线时,平面最多被分成了f(n-1)个区域.则第n条直线要是切成的区域数最多,就必须与每条直线相交且不能有同一交点. 这样就会得到n-1个交点.这些交点将第n条直线分为2条射线和n-2条线断.而每条射线和线断将以有的区域一分为二.这样就多出了

hdoj 2050 折线分割平面

折线分割平面 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)Total Submission(s): 19216    Accepted Submission(s): 13205 Problem Description 我们看到过很多直线分割平面的题目,今天的这个题目稍微有些变化,我们要求的是n条折线分割平面的最大数目.比如,一条折线可以将平面分成两部分,两条折线最多可以将平面

平面分割问题

(1) n条直线最多分平面问题 题目:n条直线,最多可以把平面分为多少个区域. 解析:       当有n-1条直线时,平面最多被分成了f(n-1)个区域.      则第n条直线要是切成的区域数最多,就必须与每条直线相交且不能有同一交点.      这样就会得到n-1个交点.这些交点将第n条直线分为2条射线和n-2条线断.      而每条射线和线断将以有的区域一分为二.这样就多出了2+(n-2)个区域. 故:f(n)=f(n-1)+n f(n-1)=f(n-2)+n-1 --        

OpenCASCADE圆与平面求交

OpenCASCADE圆与平面求交 [email protected] 在 解析几何求交之圆与二次曲面中分析了OpenCASCADE提供的类IntAna_IntConicQuad可以用来计算圆与二次曲面之间的交点,这个算法是将平面Plane作为二次曲面的一个特例来处理,最后主要是对三角函数方程进行求解. 当直接使用圆和平面作为参数时,IntAna_IntConicQuad重载了函数Perform来对圆和平面进行求交计算,这时的算法与前面解三角函数不同,代码如下: void IntAna_IntC

分割问题

[a]n条直线最多分平面问题 n条直线,最多可以把平面分为多少个区域? 见K 切糕 递推关系:都将原来所有的区域分成两半,因此第n条直线会在原来的基础上再添加n个平面 f[0]=1,f[1]=2...f[n]=f[n-1]+n 推导公式f[n]=n*(n+1)/2+1 [b]a的改进 每次使用两条直线分割? 即是n相当于2n f[0] = 1f[1] = 4f[2] = 11...f[n]= f(n - 1) + 2 * n - 1 + 2 * n = f(n - 1) + 4 * n - 1

3D打印技术之切片引擎(3)

[此系列文章基于熔融沉积( fused depostion modeling, FDM )成形工艺] 从这一篇文章开始,我讲一下实体切片方面的一些技术. 切片引擎,实体部分大致包括: 提取边界矢量-->添加多边-->生成填充矢量集合. 其中最难的是生成填充矢量集合,也是整个切片引擎技术的核心,因为衡量一款引擎的好坏的四个核心要素--稳固性:与原始模型的相似度:用了多少材料:打印快慢,都是主要取决于填充矢量的生成技术.目前生成填充矢量的算法还有很多未知的问题有待攻克,对于这一块技术我将在最后与大

(转)三维旋转:旋转矩阵,欧拉角,四元数

如何描述三维空间中刚体的旋转,是个有趣的问题.具体地说,就是刚体上的任意一个点P(x, y, z)围绕过原点的轴(i, j, k)旋转θ,求旋转后的点P\'(x\', y\', z\'). 旋转矩阵 旋转矩阵乘以点P的齐次坐标,得到旋转后的点P',因此旋转矩阵可以描述旋转, ?????x′y′z′1?????=R??????xyz1?????[x′y′z′1]=R?[xyz1] 绕x,y,或z轴旋转θ的矩阵为: Rx(θ)=???1000cosθsinθ0?sinθcosθ???Rx(θ)=[1