笛卡尔坐标系

title: 历史.
content: 笛卡尔坐标系是由法国数学家勒内·笛卡尔创建的。1637年,笛卡尔发表了巨作《方法论》。这本专门研究与讨论西方治学方法的书,提供了许多正确的见解与良好的建议,对于后来的西方学术发展,有很大的贡献。为了显示新方法的优点与果效,以及对他个人在科学研究方面的帮助,在《方法论》的附录中,他增添了另外一本书《几何》("La Géométrie")。有关笛卡尔坐标系的研究,就是出现于《几何》这本书内。笛卡尔在坐标系这方面的研究结合了代数与欧几里得几何,对于后来解析几何、微积分、与地图学的建树,具有关键的开导力。
title: 描述.
title: 二维坐标系统.
content: 二维的直角坐标系通常由两个互相垂直的坐标轴设定,通常分别称为x-轴和 y-轴;两个坐标轴的相交点,称为原点,通常标记为O,既有「零」的意思,又是英语「Origin」的首字母。每一个轴都指向一个特定的方向。这两个不同线的坐标轴,决定了一个平面,称为xy-平面,又称为笛卡尔平面。通常两个坐标轴只要互相垂直,其指向何方对于分析问题是没有影响的,但习惯性地,x-轴被水平摆放,称为横轴,通常指向右方;y-轴被竖直摆放而称为纵轴,通常指向上方。两个坐标轴这样的位置关系,称为二维的右手坐标系,或右手系。如果把这个右手系画在一张透明纸片上,则在平面内无论怎样旋转它,所得到的都叫做右手系;但如果把纸片翻转,其背面看到的坐标系则称为「左手系」。这和照镜子时左右对调的性质有关。  为了要知道坐标轴的任何一点,离原点的距离。假设,我们可以刻画数值于坐标轴。那么,从原点开始,往坐标轴所指的方向,每隔一个单位长度,就刻画数值于坐标轴。这数值是刻画的次数,也是离原点的正值整数距离;同样地,背着坐标轴所指的方向,我们也可以刻画出离原点的负值整数距离。称x-轴刻画的数值为x-坐标,又称横坐标,称y-轴刻画的数值为y-坐标,又称纵坐标。虽然,在这里,这两个坐标都是整数,对应于坐标轴特定的点。按照比例,我们可以推广至实数坐标和其所对应的坐标轴的每一个点。这两个坐标就是直角坐标系的直角坐标,标记为formula_6。  任何一个点P在平面的位置,可以用直角坐标来独特表达。只要从点P画一条垂直于x-轴的直线。从这条直线与x-轴的相交点,可以找到点P的x-坐标。同样地,可以找到点P的y-坐标。这样,我们可以得到点P的直角坐标。
title: 三维坐标系统.
content: 直角坐标系也可以推广至三维空间与高维空间 (higher dimension)。在原本的二维直角坐标系,再添加一个垂直于x-轴,y-轴的坐标轴,称为z-轴。假若,这三个坐标轴满足右手定则,则可得到三维的直角坐标系。这z-轴与x-轴,y-轴相互正交于原点。在三维空间的任何一点P,可以用直角坐标formula_7来表达其位置。
title: 象限与卦限.
content: 平面直角坐标系的两个坐标轴将平面分成了四个部分,称为象限,分别用罗马数字编号为formula_8,formula_9,formula_10,formula_11。依照惯例,象限formula_12的两个坐标都是正值;象限formula_13的x-坐标是负值,y-坐标是正值;象限formula_14的两个坐标都是负值的;象限formula_15的x-坐标是正值,y-坐标是负值。所以,象限的编号是按照逆时针方向,从象限formula_12编到象限formula_15。  三维直角坐标系的三个平面,xy-平面,yz-平面,xz-平面,将三维空间分成了八个部分,称为卦限 (octant)。与二维空间的四个象限不同,只有一个卦限有编号。第一号卦限的每一个点的三个坐标都是正值的。
title: 平面笛卡尔坐标的公式.
title: 在两点间的距离.
content: 在平面上笛卡尔坐标为formula_18和formula_19的两个点之间的欧几里得距离是:  这是毕达哥拉斯定理的笛卡尔坐标版本。在三维空间中,在点formula_21和formula_22之间的距离是:  它可用毕达哥拉斯定理的两次连贯应用而得到。
title: 欧几里得变换.
content: 欧几里得变换或欧几里得移动是欧几里得平面的点集到同一平面上点集的(双射)映射,它保持诸点之间的距离。这种映射(也叫等距映射)有四种类型:平移、旋转、反射和滑移反射。
title: 平移.
content: 平移平面上的一个点集,保持在它们之间的距离,等价于在点集中所有的笛卡尔坐标上增加固定的一对数值。就是说,如果所有点的初始坐标是,在平移之后它们的坐标将是:
title: 旋转.
content: 要绕原点逆时针旋转一个图形formula_25度,等价于将所有点的坐标为("x","y")替代为坐标("x<nowiki>'</nowiki>","y<nowiki>'</nowiki>"),这里有:  因此:  formula_28
title: 反射.
content: 设一个点的笛卡尔坐标是,则是它跨第二坐标轴(y轴)的反射的坐标,如同这个线是个镜子。类似的,是它的跨第一个坐标轴(x轴)的反射的坐标。一般的说,跨过原点与x轴夹角为formula_25的直线的反射,等价于将所有点的坐标替代为坐标,这里有:  因此:  formula_32
title: 滑移反射.
content: 滑移反射是跨一个直线的反射和随后在这个直线方向上的平移的复合。可以看出这些运算的次序是无关紧要的(也可以先平移后反射)。
title: 变换的一般矩阵形式.
content: 这些平面的欧几里得变换可以使用矩阵以一致的方式来描述。对一个点formula_33应用欧几里得变换的结果formula_34给出为公式:  这里的"A"是一个2×2正交矩阵,而是任意的数值有序对;也就是:  这里的  将是正交的,矩阵"A"必须有正交的有欧几里得长度1的行,就是:  并且:  这等价于说"A"乘以它的转置矩阵必须是单位矩阵。如果这些条件不成立,则公式描述的是这个平面的更一般的仿射变换,假如"A"的行列式不是零的话。  公式定义了平移,当且仅当"A"是单位矩阵。变换是绕某个点的旋转,当且仅当"A"是旋转矩阵,这意味着:  要得到反射或滑移反射需要:  假定不使用平移,变换可以通过简单将有关的变换矩阵相乘来组合起来。
title: 仿射变换.
content: 表示笛卡尔坐标的坐标变换的另一种方式是通过仿射变换。在仿射变换中,增加了一个额外维度而所有点对这个额外维度给出数值1。这么做的好处是点平移可以在矩阵"A"的最后列中指定。在这种方式下,所有欧几里得变换都可处理成矩阵点乘法。仿射变换给出为:  使用仿射变换,多个包括平移的不同欧几里得变换,可以简单的通过把它们对应的矩阵相乘而组合起来。
title: 缩放.
content: 仿射变换的不是欧几里得移动的一个例子是缩放。要使一个图形变大或变小,等价于对所有点的笛卡尔坐标乘以同一个正数"m"。如果最初图形的点的笛卡尔坐标是,缩放后的图形的对应点有坐标:  如果"m"大于1,图形变大;如果"m"在0与1之间,图形变小。
title: 错切.
content: 错切变换将平压矩形的对边从而形成平行四边形。水平错切定义为:  垂直错切定义为:
title: 取向.
title: 二维空间.
content: 直角坐标系的x-轴与y-轴必须相互垂直。称包含y-轴的直线为y-线。在二维空间里,当我们设定了x-轴的位置与方向的同时,我们也设定了y-线的方向。可是,我们仍旧必须选择,在y-线的以原点为共同点的两条半线中,哪一条半线的点的坐标是正值的,哪一条是负值的?任何一种选择决定了xy-平面的取向。  通常,我们选择的取向是,正值的x-轴横地指向右方,正值的y-轴纵地指向上方。这种取向称为正值取向、标准取向或右手取向。  右手定则是一种常用的记忆方法,专门用来辨认正值取向:将一只半握拳的右手放在平面上,大拇指往上指,那么,其它的手指都从x-轴指向y-轴。  另外一种取向,采用左手定则,专门用来辨认负值取向或左手取向:将一只半握拳的左手放在xy-平面上,大拇指往上指,那么,其它的手指都从y-轴指向x-轴。  不论坐标轴是何种取向,将坐标系统做任何角度的旋转,取向仍旧会保持不变。
title: 三维空间.
content: 直角坐标系的x-轴、y-轴与z-轴必须相互垂直。称包含z-轴的直线为z-线。在三维空间里,当我们设定了x-轴、y-轴的位置与方向的同时,我们也设定了z-线的方向。可是,我们仍旧必须选择,在z-线以原点为共同点的两条半线中,哪一条半线的点的坐标是正值的,哪一条是负值的?这两种不同的坐标系统,称为右手坐标系与左手坐标系。右手坐标系又称为标准坐标系或正值坐标系。  右手坐标系这名词是由右手定则而来的。先将右手的手掌与手指伸直,然后将中指指向往手掌的掌面半空间,与食指呈直角关系。再将大拇指往上指去,与中指、食指都呈直角关系。则大拇指、食指与中指分别表示了右手坐标系的x-轴、y-轴与z-轴。同样地,用左手也可以表示出左手坐标系。  左侧示意图展示出一个左手坐标系与一个右手坐标系。因为我们用二维画面来展示三维物体,会造成扭曲或模棱两可的图形。指向下方与右方的轴,也有指向读者的意思;而位置居于中间的轴,也有指向读者正在看的方向的意思。平行于xy-平面的红色圆形曲箭,其红色箭头从z-轴前面经过,表示从x-轴往y-轴的旋转方向。
title: 向量.
content: 采用直角坐标系,在三维空间里,任何一点P都可以用向量来表示。我们可以想像向量为一支羽箭,其箭尾在原点,箭锋在点P。假若点P的向量是formula_47,直角坐标是formula_48。那么,  其中,单位向量formula_50,formula_51与formula_52分别指向x-轴,y-轴,与z-轴指向的正无穷值方向。

Summary: 笛卡尔坐标系(,也称直角坐标系)在数学中是一种正交坐标系,由法国数学家勒内·笛卡尔引入而有此名。二维的直角坐标系是由两条相互垂直、相交于原点的数线构成的。在平面内,任何一点的坐标是根据数轴上对应的点的座标设定的。在平面内,任何一点与坐标的对应关系,类似于数轴上点与坐标的对应关系。