chapter 9 Co-ordinate Geometry
CO-ORDINATE GEOMETRY
THE METHODS and ideas of co-ordinate geometry have already been employed in the previous chapters. It is now time for us to consider them more closely for their own sake; and in doing so we shall strengthen our hold on other ideas to which we have attained. In the present and succeeding chapters we will go back to the idea of the positive and negative real numbers and will ignore the imaginaries which were introduced in the last two chapters.
坐标几何的方法和思想已经在前几章中得到应用。现在是时候为了其本身的意义更仔细地考虑它们了;这样做时,我们将加深对我们已经掌握的其他思想的理解。在本章和接下来的章节中,我们将回到正负实数的概念,忽略在过去两章中引入的虚数。
We have been perpetually using the idea that, by taking two axes, XOX' and YOY', in a plane, any point P in that plane can be determined in position by a pair of positive or negative numbers, x and y, where (cf.Fig.13) x is the length OM and y is the length PM. This conception, simple as it looks, is the main idea of the great subject of co-ordinate geometry. Its discovery makes a momentous epoch in the history of mathematical thought. It is due (as has been already said) to the philosopher Descartes, and occurred to him as an important mathematical method one morning as he lay in bed. Philosophers, when they have possessed a thorough knowledge of mathematics, have been among those who have enriched the science with some of its best ideas. On the other hand, it must be said that, with hardly an exception, all the remarks on mathematics made by those philosophers who have possessed but a slight or hasty and late-acquired knowledge of it are entirely worthless, being either trivial or wrong. The fact is a curious one; since the ultimate ideas of mathematics seen, after all, to be very simple, almost childishly so, and to lie well within the province of philosophical thought. Probably their very simplicity is the cause of error; we are not used to think about such simple abstract things, and a long training is necessary to secure even a parital immunity from error as soon as we diverge from the beaten track of thought.
我们一直在持续使用这样一个概念:通过在平面上取两个坐标轴 XOX' 和 YOY',平面上的任何一点 P 都可以通过一对正数或负数(x 和 y)来确定其位置,其中(参见图13)x 是 OM 的长度,y 是 PM 的长度。这个看似简单的概念是坐标几何这个伟大学科的核心思想。它的发现标志着数学思想史上的一个重要转折点。正如之前所说,这一发现归功于哲学家笛卡尔,并且是在某个早晨,他躺在床上时偶然想到的一个重要的数学方法。当哲学家们掌握了深厚的数学知识时,他们便成了那些为数学科学贡献了其中一些最佳思想的人之一。另一方面,不得不说,几乎没有例外,所有那些仅有少量、匆忙和后天获得的数学知识的哲学家所做的关于数学的评论都是完全没有价值的,要么是琐碎的,要么是错误的。这个事实本身很有趣;因为数学的最终思想实际上是非常简单的,几乎可以说是孩子气的,而且它完全属于哲学思维的范畴。或许正是它们的简洁性导致了错误的产生;我们不习惯思考如此简单的抽象事物,并且需要经过长时间的训练才能在偏离传统思维轨道时,至少部分免于犯错。

The discovery of co-ordinate geometry, and also that of projective geometry about the same time, illustrate another fact which is being continually verified in the history of knowledge, namely, that some off the greatest discoveries are to be made among the most well-know topics. By the time that the seventeenth century had arrived, geometry had already been studied for over two thousand years, even if we date its rise with the Greeks. Euclid taught in the University of Alexandria, being born about 330 B.C.; and he only systematized and extended the work of a long series of predecessors, some of them men of genius. After him generation after generation mathematicians laboured at the improvement of the subject. Nor did the subject suffer from that fatal bar to progress, namely, that its study was confined to a narrow group of men of similar origin and outlook—quite the contrary was the case ; by the seventeenth century it had passed through the minds of Egyptians and Greeks, of Arabs and of Germans. And yet, after all this labour devoted to it through so many ages by such diverse minds its most important secrets were yet to be discovered.
坐标几何的发现,以及大约在同一时期投影几何的发现,说明了一个在知识史中不断得到验证的事实,即一些最伟大的发现往往是在最为人熟知的领域中产生的。到了十七世纪时,几何学已经被研究了两千多年,即使我们将它的兴起追溯到古希腊。欧几里得大约在公元前330年出生,他在亚历山大里亚大学讲学;他只是将一系列前人的工作进行了系统化和扩展,其中一些前人是天才人物。此后,一代又一代的数学家们致力于这门学科的改进。学科并没有遭遇那种致命的进步障碍——即研究仅限于一个背景和观点相似的狭小群体,恰恰相反,情况并非如此;到了十七世纪,几何学已经穿越了埃及人、希腊人、阿拉伯人和德国人的思想。而尽管经过如此多代不同思想者的辛勤耕耘,几何学最重要的秘密仍然没有被发现。
No one can have studied even the elements of elementary geometry without feeling the lack of some guiding method. Every proposition has to be proved by a fresh display of ingenuity; and a science for which this is true lacks the great requisite of scientific thought, namely, method. Now the especial point of co-ordinate geometry is that for the first time it introduced method. The remote deductions of a mathematical science are not of primary theoretical importance. The science has not been perfected, until it consists in essence of the exhibition of great allied methods by which information, on any desired topic which falls within its scope, can easily be obtained. The growth of a science is not primarily in bulk, but in ideas; and the more the ideas grow, the fewer are the deductions which it is worth while to write down. Unfortunately, mathematics is always encumbered by the repetition in text-books of numberless subsidiary prepositions, whose importance has been lost by their absorption into the role of particular cases of more general truths—and, as we have already insisted, generality is the soul of mathematics.
没有人能够仅仅学习几何学的基本要素而不感受到缺乏某种指导方法的困惑。每一个命题都需要通过全新的创造性表现来加以证明;而对于一门科学,如果这种情况属实,那么它就缺乏科学思想的最重要条件——也就是方法。而坐标几何的特殊意义在于,它首次引入了方法。数学科学中那些抽象而深远的推论并非理论上的首要重要事项。一门科学还未臻于完善,除非它的本质在于展示一系列伟大的相关方法,通过这些方法,可以轻松获得任何属于其研究范围内主题的信息。科学的发展主要体现在思想上,而不是体现在规模上;而且,思想越深入发展,值得记录下来的推导就越少。遗憾的是,数学总是被教科书中无数次重复的次要命题所拖累。这些命题的重要性因其被归入更一般真理的特殊情况而丧失——正如我们已经强调过的那样,一般性是数学的灵魂。
Again, co-ordinate geometry illustrates another feature of mathematics which has already been pointed out, namely, that mathematical sciences as they develop dovetail into each other, and share the same ideas in common. It is not too much to say that the various branches of mathematics undergo a perpetual process of generalization, and that as they become generalized, they coalesce. Here again the reason springs from the very nature of the science, its generality, that is to say, from the fact that the science deals with the general truths which apply to all things in virtue of their very existence as things. In this connexion the interest of co-ordinate geometry lies in the fact that it relates together geometry, which started as the science of space, and algebra, which has its origin in the science of number.
再次,解析几何展现了数学的另一个特性,这一特性此前已经被提到过:数学科学在其发展过程中彼此衔接,并共享相同的思想内容。可以毫不夸张地说,数学的各个分支经历着一个永恒的普遍化过程,而随着它们的普遍化,它们逐渐融合在一起。这里再次强调,这种现象的原因源于科学本身的本质——它的普遍性。换句话说,这种原因源于科学研究的是适用于一切事物的普遍真理,而这些真理是基于事物本身作为存在之物的特性。在这一背景下,解析几何的意义在于它将几何学和代数学联系在了一起:几何学最初是空间的科学,而代数学起源于数的科学
Let us now recall the main ideas of the two sciences, and then see
how they are related by Descartes's method of co-ordinates. Take algebra
in the first place. We will not trouble ourselves about the imaginaries
and will think merely of the real numbers with positive or negative
signs. The fundamental idea id that of any number, the variable number,
which is denoted by a letter and not by any definite numberal. We then
proceed to the consideration of correlations between variables. For
example, fi x and y are two variables, we may conceive them as
correlated by the equations
现在让我们回顾一下这两门科学的主要思想,然后看看它们是如何通过笛卡尔的坐标法则相关联的。首先考虑代数。我们不去关注虚数,而仅仅考虑带有正负符号的实数。基本的思想是任何数的概念,即变量数,这个数用字母表示,而不是任何具体的数字。接下来,我们开始考虑变量之间的相关性。例如,如果
Again we generalize
我们再次将
Now let us turn to geometry. The name of the science at once recalls to our minds the thought of figures and diagrams exhibiting triangles and rectangles and squares and circles, all in special relations to each other. The study of the simple properties of these figures is the subject matter of elementary, as it is rightly presented to the beginner. Yet a moment's thought will show that this is not the true conception of the subject. It may be right for a child to commence his geometrical reasoning on shapes, like triangles and squares, which he has cut out with scissors. What, however, is a triangles? It is a figure marked out and bounded by three bits of three straight lines.
现在让我们转向几何学。这个学科的名字立刻使我们联想到图形和图表,展示了三角形、矩形、正方形和圆形,它们彼此之间有着特殊的关系。这些图形的简单性质研究是初学者学习几何时所接触的内容。然而,稍作思考就会发现,这并不是该学科的真正概念。对一个孩子来说,开始几何推理时,研究他用剪刀剪出的三角形和正方形是合适的。然而,三角形到底是什么呢?它是由三条直线段所标出并界定的图形。
Now the boundary of spaces by bits of lines is a very complicated idea, and not at all one which gives any hope of exhibiting the simple general conceptions which should form the bones of the subject. We want something more simple and more general. It is this obsession with the wrong initial ideas—very natural and good ideas for the creation of first thoughts on the subject—which was the cause of the comparative sterility[ stəˈrɪləti ] of the study of the science during so many centuries. Co-ordinate geometry, and Descartes its inventor, must have the credit of disclosing the true simple objects for geometrical thought.
现在,使用直线段界定空间的边界是一个非常复杂的概念,根本不能为展示应构成该学科基本框架的简单一般性概念提供任何希望。我们需要更简单、更一般的东西。正是对错误初步概念的执着——这些概念对该学科初步思考的形成来说是非常自然和有效的——导致了该学科在许多个世纪里的相对贫瘠。坐标几何,以及其发明者笛卡尔,必须因揭示几何思维的真正简单对象而获得应有的功勋。
In the place of a bit of a straight line, let us think of the whole of a straight line throughout its unending length in both directions. This is the sort of general idea from which to start our geometrical investigation. The Greeks never seem to have found any use for this conception which is now fundamental in all modern geometrical thought. Euclid always contemplates a straight line as drawn between two definite points, and is very careful to mention when it is to be produced beyond this segment. He never thinks of the line as an entity given once for all as a whole. This careful definition and limitation, so as to exclude an infinity not immediately apparent to the senses, was very characteristic of the Greeks in all their many activities. It is enshrined in the difference between Greek architecture and Gothic architecture, and between the Greek religion and the modern religion. The spire on a Gothic cathedral and the importance of the unbounded straight line in modern geometry are both emblematic of the transformation of the modern world.
在一条直线的一小段位置上,让我们考虑一条直线的整个长度,向两端延伸且没有尽头。这就是我们开始几何学研究的那种一般性概念。古希腊人似乎从未发现过这种如今在所有现代几何思想中都至关重要的概念。欧几里得总是将直线看作是从两个确定的点之间画出的,并且非常小心地提到何时需要将其延伸超出这个段落。他从不把直线看作是一次性确定的整体实体。这种精确的定义和限制,旨在排除一个感官上无法立即察觉到的无限,正是古希腊人在其所有许多活动中的典型特征。它被珍藏在希腊建筑与哥特建筑之间的差异中,以及希腊宗教与现代宗教之间的区别中。哥特大教堂的尖塔和现代几何学中无界直线的重要性,都是现代世界转型的象征。
The straight line, considered as a whole, is accordingly the root idea from which modern geometry starts. But then other sorts of lines occur to us, and we arrive at the conception of the complete curve, which at every point of it exhibits some uniform characteristic, just as the straight line exhibits at all points the characteristic of straightness. For example, there is the circle which at all point exhibits the characteristic of being at a given distance form its centre, and again there is the ellipse, which is an oval curve, such that the sum of the two distances of any point on it from two fixed points, called its foci, is constant for all points on the curve. It is evident that a circle is merely a particular case of an ellipse when the two foci are superposed in the same point; for then the sum of the two distances is merely twice the radius of the circle. The ancients knew the properties of the ellipse and the circle and, of course, considered them as wholes. For example, Euclid never starts with mere segments (i.e. bits) of circles, which are then prolonged. He always considers the whole circle as described. It is unfortunate that the circle is not the true fundamental line in geometry, so that his defective consideration of the straight line might have been of less consequence.
因此,直线作为一个整体,可以说是现代几何学的根本概念。然后,其他种类的线条也出现在我们的思维中,我们于是得出了完整曲线的概念,它在每个点上都展示某种统一的特征,就像直线在所有点上展示直线性的特征一样。例如,圆形在每个点上都表现出与其中心保持固定距离的特征,再如椭圆,它是一种椭圆曲线,任何一点到两个固定点(称为焦点)的距离之和,对于曲线上的所有点都是恒定的。显然,圆形仅仅是椭圆的一种特例,当两个焦点重合于同一点时;因为在这种情况下,两个距离的和恰好是圆的直径。古人知道椭圆和圆形的性质,当然也将它们视为整体。例如,欧几里得从不从圆的单独弧段(即部分)开始,然后将其延长。他总是将整个圆作为已描绘的图形来考虑。遗憾的是,圆形并不是几何学中的真正基础线,因此他对直线的缺陷性考虑可能影响较小。
This general idea of a curve which at any point of it exhibits some
uniform property is expressed in geometry by the term 'locus'. A locus
is the curve (or surface, if we do not confine ourselves to a plane)
formed by points, all of which possess some given property. To every
property in relation to each other which points can have, there
corresponds some locus, which consists of all the points possessing the
property. In investigating the properties of a locus considered as a
whole, we consider
在几何学中,任何一点上都表现出某种统一性质的曲线的这一一般概念,用术语“轨迹”来表示。轨迹是由所有具有某一给定性质的点所形成的曲线(或曲面,如果我们不局限于平面的话)。对于点之间可以具有的每一种性质,都对应着某个轨迹,这个轨迹由所有具有该性质的点组成。在研究作为整体的轨迹的性质时,我们考虑轨迹上的任何一点或多个点。因此,在几何学中,我们再次遇到了变量这一基本概念。此外,在将轨迹分类为直线、圆、椭圆等类别时,我们再次发现了形式的概念。
Accordingly, as in algebra we are concerned with variable numbers, correlations between variable numbers, and the classification of correlations into types by the idea of algebraic form; so in geometry we are concerned with variable points, variable points satisfying some conditions so as to form a locus, and the classification of loci into types by the idea of conditions of the same form.
因此,正如在代数中我们关注变量数字、变量数字之间的关联以及根据代数形式的理念将这些关联分类成不同类型;在几何中,我们关注变量点,满足某些条件以形成轨迹的变量点,以及根据相同形式的条件将轨迹分类成不同类型。
Now, the essence of co-ordinate geometry is the identification of the
algebraic correlation with the geometrical locus. The point on a plane
is represented in algebra by its two co-ordinates,
现在,坐标几何的本质在于将代数相关性与几何轨迹进行识别。平面上的点通过其两个坐标
When one has once grasped the idea of co-ordinate geometry, the
immediate question which starts to the mind is , What sort of loci
correspond to the well know algebraic form? For example, the simplest
among the general types of algebraic forms is
当一个人一旦掌握了坐标几何的概念,紧接着产生的第一个问题是:什么样的轨迹与著名的代数形式相对应?例如,代数形式中的最简单类型是
Consider
考虑方程
Consider
考虑方程
The group of loci which we next come upon are sufficiently important to deserve a chapter to themselves. But before going on to them we will dwell a little longer on the main ideas of the subject.
我们接下来要讨论的轨迹组足够重要,值得单独成章。但在继续讨论它们之前,我们将稍微再深入一下这个主题的主要思想。
The position of any point
任何点
Again the relation of the co-ordinates
再者,坐标