Jump to content

Analytic geometry

This is a fully translated article. Click here for more information.
From DawoumWiki, the free Mathematics self-learning

고전 수학에서, 해석 기하학(analytic geometry)은, 역시 좌표 기하학(coordinate geometry) 또는 데카르트 기하학(Cartesian geometry)으로 알려져 있으며, 좌표 시스템(coordinate system)을 사용하는 기하학(geometry)의 연구입니다. 이것은 합성 기하학(synthetic geometry)과 대조됩니다.

해석 기하학은 물리학(physics)공학(engineering)에서, 그리고 역시 항공(aviation), 로켓(rocket), 우주 과학(space science)우주-비행(spaceflight)에서 사용됩니다. 그것은 대수적(algebraic), 미분(differential), 이산(discrete)계산 기하학(computational geometry)을 포함하여, 가장 현대적인 기하학의 분야에서 토대입니다.

보통 데카르트 좌표 시스템(Cartesian coordinate system)평면(plane), 직선(straight line), 및 정사각형(square)에 대해, 종종 이차원에서 및 때때로 삼차원에서 방정식(equation)을 조작하기 위해 적용됩니다. 기하학적으로, 우리는 유클리드 평면(Euclidean plane) (이 차원(two dimensions))과 유클리드 공간(Euclidean space) (삼 차원(three dimensions))을 연구합니다. 교과서에서 가르친 것처럼, 해석 기하학은 더 간단하게 설명될 수 있습니다: 그것은 기하학적 모양을 수치적 방법에서 정의하고 표현하고 모양의 수치적 정의와 표현으로부터 수치적 정보를 추출하는 것과 관련됩니다. 실수(real numbers)의 대수를 사용할 수 있다는 것은 기하학의 선형 연속체에 대한 결과를 산출하기 위해 칸토어–데데킨트 공리(Cantor–Dedekind axiom)에 의존합니다.

History

Ancient Greece

그리스(Greek) 수학자 메나이크모스(Menaechmus)는 좌표의 사용과 매우 유사점을 가졌었던 방법을 사용함으로써 문제를 해결하고 정리를 증명했었고 그것이 때때로 그가 해석 기하학을 도입한 것으로 주장되어 왔습니다.[1]

페르가의 아폴로니우스(Apollonius of Perga)는, On Determinate Section에서, 직선 위에 다른 점과 비율이 일치하는 점을 찾는 문제와 함께; 일차원의 해석적 기하학이라고 불릴 수 있는 방식으로 문제를 다루었습니다.[2] 아폴로니우스는 Conics에서 해석적 기하학과 매우 유사한 방법을 더 나아가서 개발하여 그의 연구는 때때로 약 1800년에서 데카르트(Descartes)의 연구를 예상한 것으로 생각될 지경입니다. 기준선, 지름 및 접선의 그의 응용은 좌표 프레임의 우리의 현대 사용과 본질적으로 다르지 않으며, 여기서 접하는 점에서 지름을 따라 측정된 거리는 앱시서이고, 접선에 평행하고 축과 직선 사이에서 가로챈 선분은 올디닛입니다. 그는 수사학적 곡선의 방정식과 동등한 앱시서와 해당하는 올디닛 사이의 관계를 더욱 발전시켰습니다. 어쨌든, 비록 아폴로니우스가 해석 기하학을 개발하는 것에 가까워을지라도, 그는 그렇게 다루지는 않았는데 왜냐하면 그는 음의 크기를 고려하지 않았고 모든 각 경우에서 좌표 시스템이 주어진 곡선 선험(a priori) 대신에 이후(a posteriori)에 겹쳐졌기 때문입니다. 즉, 방정식은 곡선에 의해 결정되었지만, 곡선은 방정식에 의해 결정되지 않았습니다. 좌표, 변수, 및 방정식은 특정 기하학적 상황에 적용되는 보조 개념이었습니다.[3]

Persia

11-세기 페르시아(Persian)의 수학자 오마르 카야얌(Omar Khayyám)은 기하학과 대수학 사이의 강한 관계를 보았고, 그의 일반적인 삼차 방정식(cubic equation)의 기하학적 해와 함께 수치적 대수와 기하학적 대수[4] 사이의 간격을 좁히는 데 도움을 주었을 때 올바른 방향으로 움직이고 있었지만,[5] 결정적인 단계는 나중에 데카르트와 함께 나왔습니다.[4] 오마르 카야얌은 대수적 기하학(algebraic geometry)의 토대를 확인한 공로를 인정받았고, 그의 책 Treatise on Demonstrations of Problems of Algebra (1070)은, 대수학의 원리를 세웠으며, 결국 유럽으로 전달된 페르시아 수학의 몸통의 일부입니다.[6] 대수 방정식에 대한 그의 철저한 기하학적 접근때문에, 카야얌은 해석적 기하학의 발명에서 데카르트의 선구자로 여길 수 있습니다.[7]: 248 

Western Europe

해석적 기하학은, 비록 데카르트가 때때로 단독으로 인정받을지라도,[8][9] 르네 데카르트(René Descartes)피에르 드 페르마(Pierre de Fermat)에 의해 독립적으로 발명되었습니다.[10][11] 데카르트 기하학(Cartesian geometry), 해석적 기하학에 대해 사용되는 대안적인 용어는 데카르트의 이름을 따서 지어졌습니다.

데카르트는 La Geometrie (Geometry)라는 제목의 수필, 1637년에 그의 Discourse on the Method for Rightly Directing One's Reason and Searching for Truth in the Sciences와 함께 출판된 세 개의 따르는 수필 (부록) 중 하나에서 그 방법으로 상당한 진전을 이루었으며, 공통적으로 Discourse on Method으로 참조됩니다. La Geometrie는, 그의 모국어 프랑스(French) 말과 그것의 철학적 원칙으로 쓰였으며, 유럽에서 미적분학(calculus)에 대해 토대를 제공했습니다. 초기에는 그 연구는, 부분적으로, 논쟁과 복잡한 방정식에서 많은 격차로 인해 잘 받아들여지지 않았습니다. 오직 라틴어로 번역되고 1649년에 반 스카우테(van Schooten)의 주석 (및 그에 따른 추가적인 연구)이 추가된 후 데카르트의 걸작은 정당한 인정을 받았습니다.[12]

피에르 드 페르마는 역시 해석적 기하학의 개발을 개척했습니다. 비록 그의 생애에 출판되지는 않았을지라도, Ad locos planos et solidos isagoge (평면 및 고체 위치에 대한 도입)의 원고 형식은 데카르트 Discourse의 출판되기 직전, 1637년에 파리에서 유통되었습니다.[13][14][15] 명확하게 쓰이고 호평을 받은, Introduction은 역시 해석적 기하학에 대해 토대를 마련했습니다. 페르마와 데카르트의 취급 사이의 핵심 차이점은 관점의 문제입니다: 페르마는 항상 대수적 방정식으로 시작했고 그런-다음 그것을 만족시키는 기하학적 곡선을 설명했지만, 데카르트는 기하학적 곡선으로 시작하고 그것들의 방정식을 곡선의 여러 속성 중 하나로 생성했습니다.[12] 이 접근법의 결과로, 데카르트는 더 복잡한 방정식을 다루어야 했었고 그는 더 높은 차수의 다항 방정식을 다루는 방법을 개발해야 했습니다. 공간 곡선과 표면의 시스템적인 연구에서 좌표 방법을 처음 적용한 사람은 레온하르트 오일러(Leonhard Euler)였습니다.

Coordinates

Illustration of a Cartesian coordinate plane. Four points are marked and labeled with their coordinates: (2,3) in green, (−3,1) in red, (−1.5,−2.5) in blue, and the origin (0,0) in purple.

해석 기하학에서, 평면(plane)은 좌표 시스템에 의해 제공되며, 그것에 의해 모든 각 점(point)은 한 쌍의 실수(real number) 좌표를 가집니다. 유사하게, 유클리드 공간(Euclidean space)은 모든 각 점이 세 좌표를 가지는 좌표를 제공합니다. 좌표 값은 초기 원점의 선택에 의존합니다. 사용되는 다양한 좌표 시스템이 있지만, 가장 공통적인 것은 다음과 같습니다:[16]

Cartesian coordinates (in a plane or space)

사용하기 위한 가장 공통적인 좌표 시스템은 데카르트 좌표 시스템(Cartesian coordinate system)이며, 여기서 각 점은 그것의 수평 위치를 나타내는 x-좌표와 그것의 수직 위치를 나타내는 y-좌표를 가집니다. 이것들은 전형적으로 순서화된 쌍(ordered pair) (xy)으로 쓰입니다. 이 시스템은 역시 삼-차원 기하학에서 사용될 수 있으며, 여기서 유클리드 공간(Euclidean space)에서 모든 각 점은 좌표 (xyz)의 순서화된 세-쌍(ordered triple)에 의해 표시됩니다.

Polar coordinates (in a plane)

극 좌표(polar coordinates)에서, 평면의 모든 각 점은 원점으로부터의 그것의 거리 r과 통상적으로 양의 x-축으로부터 반시계방향으로 측정된 각도(angle) θ에 의해 표시됩니다. 이 표기법을 사용하여, 점은 전형적으로 순서화된 쌍 (r, θ)으로 쓰입니다. 우리는 공식: 을 사용함으로써 이-차원 데카르트 좌표와 극 좌표 사이를 앞뒤로 변환할 수 있습니다. 이 시스템은 원통형(cylindrical) 또는 구형(spherical) 좌표의 사용을 통해 삼-차원 공간으로 일반화될 수 있습니다.

Cylindrical coordinates (in a space)

원통형 좌표(cylindrical coordinates)에서, 공간의 모든 각 점은 그것의 높이 z, z-축으로부터 그것의 반지름(radius) r과 수평 축에 관해 xy-평면에 대한 투영을 만드는 각도(angle) θ에 의해 표시됩니다.

Spherical coordinates (in a space)

구형 좌표(spherical coordinates)에서, 공간에서 모든 각 점은 원점으로부터 그것의 거리 ρ, 수평 축에 관한 그것의 xy-평면에 대한 투영으로 만드는 각도 θ, 및 그것이 z-축에 관해 만드는 각도 φ에 의해 표시됩니다. 각도의 이름은 물리학에서 종종 순서가 뒤바뀝니다.[16]

Equations and curves

해석적 기하학에서, 좌표를 포함하는 임의의 방정식(equation)은 평면의 부분집합(subset), 즉 방정식에 대해 해 집합(solution set), 또는 자취(locus)를 지정합니다. 예를 들어, 방정식 y = x는 그것의 x-좌표와 y-좌표가 같은 평면 위의 모든 점의 집합에 해당합니다. 이들 점은 직선을 형성하고, y = x는 이 직선에 대해 방정식이라고 말합니다. 일반적으로, xy를 포함하는 선형 방정식은 직선을 지정, 이차 방정식(quadratic equation)원뿔 단면(conic section)을 지정하고, 더 복잡한 방정식은 더 복잡한 그림을 설명합니다.[17]

보통, 단일 방정식은 평면 위에 곡선(curve)에 해당합니다. 이것은 항상 그런 경우는 아닙니다: 자명한 방정식 x = x는 전체 평면을 지정하고, 방정식 x2 + y2 = 0은 오직 단일 점 (0, 0)을 지정합니다. 삼-차원에서, 단일 방정식은 보통 표면(surface)을 제공하고, 곡선은 두 표면의 교차(intersection)로 (아래 참조), 또는 매개변수 방정식(parametric equation)의 시스템으로 지정되어야 합니다.[18] 방정식 x2 + y2 = r2은 반지름 r을 갖는 원점 (0, 0)에 중심을 둔 임의의 원에 대해 방정식입니다.

Lines and planes

데카르트 평면(Cartesian plane)에서, 또는 보다 일반적으로, 아핀 좌표(affine coordinates)에서 직선은 선형 방정식에 의해 대수적으로 설명될 수 있습니다. 이-차원에서, 비-수직 직선에 대해 방정식은 종종 기울기-절편 형식(slope-intercept form)으로 주어집니다:

여기서:

m은 직선의 기울기(slope) 또는 그래디언트(gradient)입니다.
b는 직선의 y-절편(y-intercept)입니다.
x는 함수 y = f(x)의 독립 변수(independent variable)입니다.

이-차원 공간에서 직선이 그것들의 방정식에 대해 점-경사 형식을 사용하여 설명되는 방법과 유사한 방식으로, 삼-차원 공간에서 평면은 평면에서 점과 그것의 "경사"를 나타내기 위해 그것에 직교하는 벡터 (법선 벡터(normal vector))를 사용하여 자연스러운 설명을 가집니다.

구체적으로 특별히, 를 어떤 점 의 위치 벡터로 놓고, 를 비-영 벡터로 놓습니다. 이 점과 벡터에 의해 결정된 평면은, 로부터 로 그려진 벡터가 에 수직임을 만족하는 위치 벡터 과 함께, 그들 점 로 구성됩니다. 두 벡터가 수직인 것과 그들의 점 곱이 영인 것은 필요충분 조검임을 상기하면, 원했던 평면은 다음을 만족하는 모든 점 의 집합으로 설명될 수 있습니다:

(점은 여기서 점 곱(dot product)을 의미하고, 스칼라 곱셈이 아닙니다.) 전개된 것은 다음이 됩니다:

이것은 평면의 방정식의 점-법선 형식입니다.[19] 이것은 단지 선형 방정식(linear equation)입니다:

반대로, 만약 a, b, cd가 상수이고 a, b, 및 c가 모든 영이 아니면, 다음 방정식의 그래프는

법선으로 벡터 을 가지는 평면임을 쉽게 표시됩니다.[20] 평면에 대해 이 친숙한 방정식은 평면의 방정식의 일반적인 형식이라고 불립니다.[21]

삼-차원에서, 직선은 단일 선형 방정식으로 설명될 수 없으므로, 그것들은 자주 매개변수의 방정식(parametric equation)에 의해 설명됩니다:

여기서:

x, y, 및 z는 모두 실수에 걸쳐 변화하는 독립 변수 t의 함수입니다.
(x0, y0, z0)는 직선 위의 임의의 점입니다.
a, b, 및 c벡터(vector) (a, b, c)가 직선에 평행한 것을 만족하는 직선의 기울기와 관련됩니다.

Conic sections

데카르트 좌표 시스템(Cartesian coordinate system)에서, 두 변수에서 이차 방정식(quadratic equation)그래프(graph)는 항상 원뿔 단면입니다 – 비록 그것이 퇴화될 수 있을지라도, 그리고 모든 원뿔 단면이 이 방법에서 발생합니다. 그 방정식은 다음 형식이 될 것입니다:

모든 여섯 상수를 모두 스케일링하면 같은 영의 자취를 산출하기 때문에, 우리는 원뿔 곡선을 오-차원 투영 공간(projective space) 에서 점으로 고려할 수 있습니다.

이 방정식에 의해 묘사된 원뿔 단면은 다음 판별식(discriminant)을 사용하여 분류될 수 있습니다:[22]

만약 원뿔형이 비-퇴화이면,

  • 만약 이면, 방정식은 타원(ellipse)을 나타냅니다;
    • 만약 이고 이면, 방정식은 원(circle)을 나타내며, 이것은 타원의 특별한 경우입니다;
  • 만약 이면, 방정식은 포물선(parabola)을 나타냅니다;
  • 만약 이면, 방정식은 쌍곡선(hyperbola)을 나타냅니다;

Quadric surfaces

이차-초곡면(quadric, 또는 quadric surface)은 삼-차원 공간에서 이차 다항식(quadratic polynomial)영들(zeros)자취(locus)로 정의된 -차원 표면(surface)입니다. 좌표 x1, x2,x3에서, 일반적인 이차-초곡면은 다음 대수적 방정식(algebraic equation)에 의해 정의됩니다:[23]

이차 초곡면은 (구(sphere)를 포함하는) 타원면체(ellipsoid), 포물면체(paraboloid), 쌍곡면체(hyperboloid), 원기둥(cylinder), 원뿔(cones), 및 평면(planes)을 포함합니다.

Distance and angle

The distance formula on the plane follows from the Pythagorean theorem.

해석 기하학에서, 거리(distance)각도(angle) 측정과 같은 기하학적 개념은 공식(formula)을 사용하여 정의됩니다. 이들 정의는 놓여있는 유클리드 기하학(Euclidean geometry)과 일치하도록 설계되었습니다. 예를 들어, 평면 위에 데카르트 좌표(Cartesian coordinates)를 사용하여, 두 점 (x1y1)과 (x2y2) 사이의 거리는 다음 공식에 의해 정의됩니다:

이것은 피타고라스 정리(Pythagorean theorem)의 버전으로 보일 수 있습니다. 비슷하게, 직선이 수평선과 이르는 각도는 다음 공식에 의해 정의될 수 있습니다:

여기서 m은 직선의 기울기(slope)입니다.

삼-차원에서, 거리는 피타고라스 정리의 일반화에 의해 주어집니다:

,

반면에 두 벡서 사이의 각도는 점 곱(dot product)에 의해 주어집니다. 두 유클리드 벡터 AB의 점 곱은 다음에 의해 정의됩니다:[24]

여기서 θ는 A and B 사이의 각도(angle)입니다.

Transformations

a) y = f(x) = |x|       b) y = f(x+3)       c) y = f(x)-3       d) y = 1/2 f(x)

변환은 부모 함수를 유사한 특성을 가진 새 함수로 전환하기 위해 그것에 적용됩니다.

의 그래프는 다음과 같이 표준 변환에 의해 변경됩니다:

  • 로 변경하는 것은 그래프를 오른쪽으로 단위만큼 이동합니다.
  • 로 변경하는 것은 그래프를 위로 단위만큼 이동합니다.
  • 로 변경하는 것은 그래프를 수평적으로 의 인수만큼 펼칩니다. (를 확장되는 것으로 생각)
  • 로 변경하는 것은 수직으로 그래프를 펼칩니다.
  • 로 변경하고 로 변경하는 것은 그래프를 각도 만큼 회전합니다.

초등 해석 기하학에서 전형적으로 연구되지 않는 다른 표준 변환이 있는데 왜냐하면 그 변환은 보통 고려되지 않는 방법으로 대상의 모양을 변경하기 때문입니다. 기울임(Skewing)은 보통 고려되지 않는 변형의 한 예제입니다. 자세한 정보에 대해, 아핀 변환(affine transformations)에 대한 기사를 참조하십시오.

예를 들어, 부모 함수 는 수평 및 수직 점근선을 가지고, 첫 번째 및 세 번째 사분면을 차지하고, 그것의 모든 변환된 형식은 하나의 수평과 수직 점근선을 가지고, 첫 번째와 세 번째 또는 두 번째와 네 번째 사분면을 차지합니다. 일반적으로, 만약 이면, 그것은 로 변환될 수 있습니다. 새로운 변환된 함수에서, 는 만약 그것이 1보다 크면 함수를 수직적으로 펼쳐거나 만약 그것이 1보다 작으면 함수를 수직적으로 압축하는 인수이고, 음의 값에 대해, 함수는 -축에서 반사됩니다. 값은 만약 1보다 크면 수평적으로 함수의 그래프를 압축하고 만약 1보다 작으면 수평적으로 함수를 펼치고, 와 마찬가지로, 그것이 음수일 때 -축에서 함수를 반사합니다. 값은 평행이동, , 수직, 및 수평을 도입합니다. 양의 값은 함수가 그것의 축의 양의 끝으로 평행이동됨을 의미하고 음수는 음의 끝을 향한 평행이동을 의미합니다.

변환은 방정식이 함수를 나타내는지 여부에 관계없이 임의의 기하학적 방정식에 적용될 수 있습니다. 변환은 개별적인 트랜잭션으로 또는 조합에서 처리될 수 있습니다.

평면에서 관계임을 가정합니다. 예를 들어, 다음은 단위 원을 묘사하는 관계입니다:

.

Finding intersections of geometric objects

관계 에 의해 표현된 두 기하학적 대상 P와 Q에 대해, 교차는 양쪽 변에 있는 모든 점 의 집합입니다.[25]

예를 들어, 는 반지름 1과 중심 을 갖는 원: 일 수 있고 는 반지름 1과 중심 을 갖는 원: 일 수 있습니다. 이들 두 원의 교차는 양쪽 방정식을 참으로 만드는 점의 집합입니다. 점 은 양쪽 방정식을 참으로 만듭니까? 에 대해 을 사용하면, 에 대해 방정식은 또는 이 되며 이것은 참이므로, 는 관계 안에 있습니다. 다른 한편으로, 여전히 에 대해 을 사용하면, 에 대해 방정식은 또는 이 되며 이것은 거짓입니다. 안에 있지 않으므로 그것은 교차점이 아닙니다.

의 교차점은 연립 방정식을 풂으로써 구할 수 있습니다:

교차를 찾는 전통적인 방법은 치환과 제거를 포함합니다.

치환: 첫 번째 방정식을 에 관한 에 대해 풀고 그런-다음 에 대한 표현을 두 번째 방정식에 치환하십시오:

.

우리는 그런-다음 에 대한 이 값을 나머지 다른 방정식에 치환하고 에 대해 풀기 위해 진행하십시오:

다음으로, 우리는 의 이 값을 원래 방정식의 하나에 대입하고 에 대해 푸십시오:

따라서 우리의 교차는 두 점을 가집니다:

제거: 변수 중 하나가 제거되도록 한 방정식의 배수를 다른 방정식에 더하거나 빼십시오. 우리의 현재 예제에서, 만약 우리가 두 번째 방정식에서 첫 번째 방정식을 빼면 우리는 를 얻습니다. 첫 번째 방정식에서 항을 남기지 않도록 두 번째 방정식에서 에서 빼집니다. 변수 가 제거되었습니다. 우리는 그런-다음 치환 방법에서 처럼 같은 방법으로 에 대해 남아있는 방정식을 풉니다:

우리는 그런-다음 이 의 값을 원래 방정식 중 하나에 대입하고 에 대해 풉니다:

따라서 우리의 교차는 두 점을 가집낟:

원뿔 단면에 대해, 교차점에 최대 4개의 점이 있을 수 있습니다.

Finding intercepts

널리 연구되고 있는 교차의 유형 중 하나는 기하학적 대상과 좌표 축의 교차입니다.

기하학적 대상과 -축의 교차는 대상의 -절편이라고 불립니다. 기하학적 대상과 -축의 교차는 대상의 -절편이라고 불립니다.

직선 에 대해, 매개변수 는 직선이 축을 교차하는 점을 지정합니다. 문맥에 따라, 또는 점 -절편이라고 불립니다.

Tangents and normals

Tangent lines and planes

기하학(geometry)에서, 주어진 점(point)에서 평면 곡선(curve)접하는 직선(tangent line) (또는 단순히 접선(tangent))은 해당 점에서 곡선에 "간신히 접촉하는" 직선(straight line)입니다. 비공식적으로, 곡선에서 무한히 가까운(infinitely close) 한 쌍의 점을 통과하는 직선입니다. 보다 정확하게, 직선이 만약 그것이 곡선 위의 점 (c, f(c))를 통과하고 기울기 f'(c)를 가지면 점 x = c에서 곡선 y = f(x)의 접선이라고 말해지며, 여기서 f'f도함수(derivative)입니다. 비슷한 정의는 n-차원 유클리드 공간(Euclidean space)에서 공간 곡선(space curve)과 곡선에 적용됩니다.

접하는 직선과 곡선이 만나는 점을 통과할 때, 접하는 점(point of tangency)이라고 불림, 접선은 곡선과 "같은 방향으로 진행"하고, 따라서 해당 점에서 곡선에 가장 가까운 직선 근사입니다.

비슷하게, 주어진 점에서 표면에 접하는 평면(tangent plane)은 해당 점에서 표면(surface)에 "간신히 접촉하는" 평면(plane)입니다. 접하는 것의 개념은 미분 기하학(differential geometry)에서 가장 기본 개념 중 하나이고 광범위하게 일반화되어 왔습니다; 접하는 공간(Tangent space)을 참조하십시오.

Normal line and vector

기하학(geometry)에서, 법선(normal)은 주어진 대상에 수직(perpendicular)인 직선 또는 벡터와 같은 대상입니다. 예를 들어, 이-차원 경우에서, 주어진 점에서 곡선에 대한 법선(normal line)은 그 점에서 곡선에 대한 접선(tangent line)에 수직인 직선입니다.

삼-차원 경우에서, 점 P에서 표면(surface)에 대한 표면 법선(surface normal), 또는 단순히 법선(normal)은 P에서 해당 표면에 대한 접하는 평면(tangent plane)수직(perpendicular)벡터(vector)입니다. 단어 "normal"은 역시 형용사로 사용됩니다: 평면(plane)에 수직(normal)인 직선(line), 힘(force)의 법선(normal) 성분, 법선 벡터(normal vector) 등. 정규성 개념은 직교성으로 일반화됩니다. 법선성(normality)의 개념은 직교성(orthogonality)으로 일반화됩니다.

See also

Notes

  1. ^ Boyer, Carl B. (1991). "The Age of Plato and Aristotle". A History of Mathematics (Second ed.). John Wiley & Sons, Inc. pp. 94–95. ISBN 0-471-54397-7. Menaechmus apparently derived these properties of the conic sections and others as well. Since this material has a strong resemblance to the use of coordinates, as illustrated above, it has sometimes been maintained that Menaechmus had analytic geometry. Such a judgment is warranted only in part, for certainly Menaechmus was unaware that any equation in two unknown quantities determines a curve. In fact, the general concept of an equation in unknown quantities was alien to Greek thought. It was shortcomings in algebraic notations that, more than anything else, operated against the Greek achievement of a full-fledged coordinate geometry.
  2. ^ Boyer, Carl B. (1991). "Apollonius of Perga". A History of Mathematics (Second ed.). John Wiley & Sons, Inc. pp. 142. ISBN 0-471-54397-7. The Apollonian treatise On Determinate Section dealt with what might be called an analytic geometry of one dimension. It considered the following general problem, using the typical Greek algebraic analysis in geometric form: Given four points A, B, C, D on a straight line, determine a fifth point P on it such that the rectangle on AP and CP is in a given ratio to the rectangle on BP and DP. Here, too, the problem reduces easily to the solution of a quadratic; and, as in other cases, Apollonius treated the question exhaustively, including the limits of possibility and the number of solutions.
  3. ^ Boyer, Carl B. (1991). "Apollonius of Perga". A History of Mathematics (Second ed.). John Wiley & Sons, Inc. pp. 156. ISBN 0-471-54397-7. The method of Apollonius in the Conics in many respects are so similar to the modern approach that his work sometimes is judged to be an analytic geometry anticipating that of Descartes by 1800 years. The application of references lines in general, and of a diameter and a tangent at its extremity in particular, is, of course, not essentially different from the use of a coordinate frame, whether rectangular or, more generally, oblique. Distances measured along the diameter from the point of tangency are the abscissas, and segments parallel to the tangent and intercepted between the axis and the curve are the ordinates. The Apollonian relationship between these abscissas and the corresponding ordinates are nothing more nor less than rhetorical forms of the equations of the curves. However, Greek geometric algebra did not provide for negative magnitudes; moreover, the coordinate system was in every case superimposed a posteriori upon a given curve in order to study its properties. There appear to be no cases in ancient geometry in which a coordinate frame of reference was laid down a priori for purposes of graphical representation of an equation or relationship, whether symbolically or rhetorically expressed. Of Greek geometry we may say that equations are determined by curves, but not that curves are determined by equations. Coordinates, variables, and equations were subsidiary notions derived from a specific geometric situation; [...] That Apollonius, the greatest geometer of antiquity, failed to develop analytic geometry, was probably the result of a poverty of curves rather than of thought. General methods are not necessary when problems concern always one of a limited number of particular cases.
  4. ^ a b Boyer (1991). "The Arabic Hegemony". A History of Mathematics. pp. 241–242. Omar Khayyam (ca. 1050–1123), the "tent-maker," wrote an Algebra that went beyond that of al-Khwarizmi to include equations of third degree. Like his Arab predecessors, Omar Khayyam provided for quadratic equations both arithmetic and geometric solutions; for general cubic equations, he believed (mistakenly, as the sixteenth century later showed), arithmetic solutions were impossible; hence he gave only geometric solutions. The scheme of using intersecting conics to solve cubics had been used earlier by Menaechmus, Archimedes, and Alhazan, but Omar Khayyam took the praiseworthy step of generalizing the method to cover all third-degree equations (having positive roots). For equations of higher degree than three, Omar Khayyam evidently did not envision similar geometric methods, for space does not contain more than three dimensions, ... One of the most fruitful contributions of Arabic eclecticism was the tendency to close the gap between numerical and geometric algebra. The decisive step in this direction came much later with Descartes, but Omar Khayyam was moving in this direction when he wrote, "Whoever thinks algebra is a trick in obtaining unknowns has thought it in vain. No attention should be paid to the fact that algebra and geometry are different in appearance. Algebras are geometric facts which are proved."
  5. ^ Glen M. Cooper (2003). "Omar Khayyam, the Mathematician", The Journal of the American Oriental Society 123.
  6. ^ Mathematical Masterpieces: Further Chronicles by the Explorers, p. 92
  7. ^ Cooper, G. (2003). Journal of the American Oriental Society,123(1), 248-249.
  8. ^ Cooke, Roger (1997). "The Calculus". The History of Mathematics: A Brief Course. Wiley-Interscience. pp. 326. ISBN 0-471-18082-3. The person who is popularly credited with being the discoverer of analytic geometry was the philosopher René Descartes (1596–1650), one of the most influential thinkers of the modern era.
  9. ^ Boyer 2004, p. 82
  10. ^ Stillwell, John (2004). "Analytic Geometry". Mathematics and its History (Second ed.). Springer Science + Business Media Inc. p. 105. ISBN 0-387-95336-1. the two founders of analytic geometry, Fermat and Descartes, were both strongly influenced by these developments.
  11. ^ Boyer 2004, p. 74
  12. ^ a b Katz 1998, pg. 442
  13. ^ Katz 1998, pg. 436
  14. ^ Pierre de Fermat, Varia Opera Mathematica d. Petri de Fermat, Senatoris Tolosani (Toulouse, France: Jean Pech, 1679), "Ad locos planos et solidos isagoge," pp. 91–103.
  15. ^ "Eloge de Monsieur de Fermat" (Eulogy of Mr. de Fermat), Le Journal des Scavans, 9 February 1665, pp. 69–72. From p. 70: "Une introduction aux lieux, plans & solides; qui est un traité analytique concernant la solution des problemes plans & solides, qui avoit esté veu devant que M. des Cartes eut rien publié sur ce sujet." (An introduction to loci, plane and solid; which is an analytical treatise concerning the solution of plane and solid problems, which was seen before Mr. des Cartes had published anything on this subject.)
  16. ^ a b Stewart, James (2008). Calculus: Early Transcendentals, 6th ed., Brooks Cole Cengage Learning. ISBN 978-0-495-01166-8
  17. ^ Percey Franklyn Smith, Arthur Sullivan Gale (1905)Introduction to Analytic Geometry, Athaeneum Press
  18. ^ William H. McCrea, Analytic Geometry of Three Dimensions Courier Dover Publications, Jan 27, 2012
  19. ^ Anton 1994, p. 155
  20. ^ Anton 1994, p. 156
  21. ^ Weisstein, Eric W. (2009), "Plane", MathWorld--A Wolfram Web Resource, retrieved 2009-08-08
  22. ^ Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, pp. 44–45, ISBN 0-471-75715-2, Section 3.2, page 45
  23. ^ Silvio Levy Quadrics in "Geometry Formulas and Facts", excerpted from 30th Edition of CRC Standard Mathematical Tables and Formulas, CRC Press, from The Geometry Center at University of Minnesota
  24. ^ M.R. Spiegel; S. Lipschutz; D. Spellman (2009). Vector Analysis (Schaum's Outlines) (2nd ed.). McGraw Hill. ISBN 978-0-07-161545-7.
  25. ^ While this discussion is limited to the xy-plane, it can easily be extended to higher dimensions.

References

Books

Articles

  • Bissell, C. C., Cartesian geometry: The Dutch contribution
  • Boyer, Carl B. (1944), "Analytic Geometry: The Discovery of Fermat and Descartes", Mathematics Teacher, 37 (3): 99–105
  • Boyer, Carl B., Johann Hudde and space coordinates
  • Coolidge, J. L. (1948), "The Beginnings of Analytic Geometry in Three Dimensions", American Mathematical Monthly, 55 (2): 76–86, doi:10.2307/2305740, JSTOR 2305740
  • Pecl, J., Newton and analytic geometry

External links