{{위키데이터 속성 추적}}
{{다른 뜻 넘어옴|기하}}
{{기하학}}
'''기하학'''(幾何學, {{llang|el|γεωμετρία}}, {{llang|en|geometry}})은 [[공간]]에 있는 [[도형]]의 성질, 즉 대상들의 치수, [[모양]], 상대적 [[위치]] 등을 연구하는 [[수학]]의 한 분야이다. 기하학이 다루는 대상으로는 [[점 (기하학)|점]], [[직선|선]], [[면 (기하학)|면]], [[도형]], [[공간]]과 같은 것이 있다.<ref>Howard Eves, 허민·오혜영 역, 《수학의 기초와 기본 개념》, 〈제4장 힐베르트의 기초〉, 경문사, {{ISBN|89-7282-217-5}}</ref>

== 어원 ==

유럽 언어의 {{lang|en|geometry}}, {{lang|fr|géométrie}} 등은 라틴어 {{lang|la|geometria}}에서 왔으며, 더 거슬러 올라가면 고대 그리스어 {{lang|grc|γεωμετρία}}에서 유래한 말이다. 이는 땅을 뜻하는 [[그리스어]] 단어 γε(게)와 측정하다를 뜻하는 [[그리스어]] 단어 μετρία(메트리아)를 합하여 만든 말이다.<ref>[http://www.etymonline.com/index.php?allowed_in_frame=0&search=geometry&searchmode=none geometry], Online Etymology Dictionary</ref>

‘기하(幾何)’는 ‘(길이·넓이 등이) 얼마인가?’를 뜻하는 말로, [[구장산술|구장 산술]](3세기) 등 중국의 수학책에서 ‘밭의 넓이가 얼마인가(為田幾何)’ 같은 표현으로 쓰였고 이는 명나라 때의 수학책까지 계속되었다. [[1607년]] [[명나라]]의 [[서광계]]가 [[마테오 리치]]와 함께 {{임시링크|크리스토퍼 클라비우스|de|Christophorus Clavius}}가 편집한 [[에우클레이데스의 원론]] 라틴어판을 번역하면서 제목을 《기하원본(幾何原本)》이라 붙였다. 이 번역본에서 ‘기하’라는 낱말은 라틴어의 geometria가 아니라 ‘크기’ , ‘양’을 뜻하는 단어 magnitudo의 번역어로 쓰였다.<ref name="Engelfriet">{{서적 인용 |저자=Peter M. Engelfriet |날짜=1998 |제목=Euclid in China |url= |위치= |출판사=Brill |쪽= |isbn= |확인날짜= }}</ref><ref name="과학문화평론">{{잡지 인용 |저자=宋芝业  |날짜= |제목=“几何”曾经不是几何学 &mdash; 明末“几何”及相关学科命名新探 |url=http://blog.sciencenet.cn/blog-529678-582034.html |잡지=科学文化评论 |권=8 |호=3 |위치= |출판사=中国科学院科学传播局 |확인날짜=2020-07-24 }}</ref> 마테오 리치의 《역기하원본인(譯幾何原本引)》 · {{임시링크|줄리오 알레니|it|Giulio Aleni}}의 《서학범(西学凡)》(1623) · [[이지조]]의 《명리탐(名理探)》(1630년대) 등에서는 기하학(geometria)을 ‘양법(量法)’으로 번역했으며,<ref name="과학문화평론"/> 특히 《서학범》에서는 ‘기하지학(幾何之學)’이라는 낱말을 수학(mathematica)의 번역어로 썼다.(“幾何之學，名曰馬得馬第加者，譯言察幾何之道”)<ref name="와타나베">{{저널 인용 |저자1=渡辺純成 |날짜=2005-07 |제목=満洲語資料からみた「幾何」の語源について |url=https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/47614/1/1444-4.pdf |저널=数理解析研究所講究録 |출판사= |권=1444 |호= |쪽=34-42 |doi= |확인날짜=2020-07-26 }}</ref><ref name="과학문화평론"/> 청나라 때에도 ‘기하’라는 낱말은 보통 서양의 수학 전반을 부르는 말로 썼지만 일부 번역서에서는 기하학을 부르는 말로 쓰기도 했다. [[조아킴 부베]]와 {{임시링크|장프랑수아 제르비용|fr|Jean-François Gerbillon}}이 프랑스어에서 한문으로 번역한 《기하원본》(1690)에서는 ‘기하’를 {{lang|fr|géométrie}}의 번역어로 썼다.<ref name="Engelfriet"/><ref name="과학문화평론"/> 보편적인 ‘기하’라는 낱말의 뜻이 변하여 지금의 기하학을 가리키게 된 것은 19세기 후반 이후에 들어서였다.<ref name="와타나베"/><ref name="과학문화평론"/>

== 역사 ==
{{본문|기하학의 역사}}

기하학(幾何學, 그리스어: γεωμετρία, 영어: geometry)은 공간에 있는 도형의 성질, 즉 대상들의 치수, 모양, 상대적 위치 등을 연구하는 수학의 한 분야이다. 기하학이 다루는 대상으로는 점, 선, 면, 도형, 공간과 같은 것이 있다.

=== 고전 기하학 ===
[[파일:Esfera Arquímedes.svg|섬네일|아르키메데스는 원기둥에 놓인 구를 자신의 묘비에 새기게 하였다.]]
<br />{{인용문|
[[파일:Euclid's Axiom.svg|섬네일|]]
# 임의의 서로 다른 두 점 P, Q에 대해 두 점을 지나는 직선은 유일하다.

}}

[[파일:Euclid-I.1.gif|섬네일|정삼각형의 작도]]<br />

=== 주요 기초 정리 ===
==== 피타고라스의 정리 ====
{{본문|피타고라스의 정리}}
유클리드 기하학에서 널리 알려진 기본 정리는 [[피타고라스의 정리]]가 있다. 직각삼각형의 세 변 a, b, c에서 c를 빗변이라고 할 때 <math>a^2 + b^2 = c^2</math>가 된다는 이 정리는 고대부터 널리 알려져 있었으며, 수 많은 방식으로 증명되어 있다.<ref>[http://www.cut-the-knot.org/pythagoras/index.shtml Pythagorean Theorem]</ref>

아래는 피타고라스의 정리에 대한 간단한 대수적 증명이다.

{{인용문|
[[파일:Pythagoralg.png|섬네일]]
오른쪽 그림에서 전체 정사각형의 한 변의 길이는 <math>(a+b)</math>이고, 따라서 넓이는 <math>(a+b)^2</math>이 된다.

이번에는 부분의 넓이를 각각 구해보면, 가운데 정사각형의 넓이는 <math>c^2</math>, 네 개의 직각삼각형의 넓이는 <math>\scriptstyle \frac {ab} 2\times 4</math>가 된다.

따라서, 전체 넓이는 <math>\scriptstyle c^2 + 4 \times \frac {ab} 2 = c^2 + 2ab</math>가 된다. 그러므로
:<math>
\begin{align}
(a+b)^2 &= c^2 + 2ab \\
a^2 + 2ab + b^2 &= c^2 + 2ab \\
a^2 + b^2 &= c^2
\end{align}
</math>
가 성립한다.
}}

==== 원뿔 곡선 ====
{{본문|원뿔 곡선}}
[[파일:Conic sections 2.png|섬네일|여러 가지 원뿔 곡선]]

[[원뿔 곡선]]은 하나의 평면으로 원뿔을 잘랐을 때 생기는 [[곡선]]인 [[원 (기하학)|원]], [[타원]], [[포물선]], [[쌍곡선]]을 말한다.<ref>[http://xahlee.info/SpecialPlaneCurves_dir/ConicSections_dir/conicSections.html Conic Sections]</ref> 원뿔 곡선에 대한 연구는 고대 그리스 시대에서부터 계속되어 왔다.

각 곡선에 대한 기하학의 정의는 다음과 같다.

* 원: 평면 위의 하나의 정점에서 거리가 일정한 점들의 집합
* 타원: 평면 위의 두 정점에서 거리의 합이 일정한 점들의 집합
* 포물선: 평면 위의 하나의 정점과 이를 지나지 않는 하나의 직선에서 같은 거리에 있는 점들의 집합.
* 쌍곡선: 평면 위의 두 정점에서 거리의 차가 일정한 점들의 집합

==== 데자르그의 정리 ====
{{본문|데자르그의 정리}}

==== 오일러의 다면체 정리 ====
{{본문|오일러의 다면체 정리}}

[[오일러의 다면체 정리]]는 [[레온하르트 오일러]]가 발견한 도형의 점, 선, 면의 관계이다. 꼭짓점의 개수를 <math>v</math>, 모서리의 개수를<math>e</math>, 면의 개수를 <math>f</math>라고 하면 <math>v-e+f=\chi</math>의 관계가 성립한다. 오일러의 다면체 정리는 [[쾨니히스베르크의 다리 문제]]에서 비롯된 [[한붓그리기]]와 함께 도형에 변형이 있더라도 변하지 않는 속성이 있다는 점을 일깨워 준다. 이는 [[호몰로지]]라는 [[위상수학]]의 개념으로 발전하였다.<ref>사쿠라이 스스무, 정미애 역, 《수학으로 우주재패》, 살림MATH, 2008년 {{ISBN|978-89522-0988-7}}, 76쪽</ref>
==== 가우스의 정17각형 작도 가능 증명====
1796년 가우스는 변의 개수가 [[페르마 소수]]인 [[정다각형]]은 자와 컴퍼스만으로 작도가 가능하다는 것을 보였다. 특히, 3월 30일에 [[카를 프리드리히 가우스 #생애|정17각형]]의 작도법을 발견하였다. 이것은 고대 그리스 시대부터 수학에서 중요한 부분을 차지해 온 작도 문제에서 주요한 발견이었다.<ref>[[카를 프리드리히 가우스]]</ref>
이는 π⁄17의 삼각함수 값이 [[사칙연산]]과 [[제곱근]]만으로 표현이 가능하다는 것을 의미한다.<ref>[[십칠각형]]</ref>
:<math>\frac{17}{4}t^2 \cot \frac{\pi}{17} </math>
이러한 가우스의 증명은 다시 사칙연산과 제곱근으로 표현 가능한 도형은 작도가 가능하다는 것을 의미한다<!-- 변의 개수가 페르마 소수와 관련 있는 정다각형 이외에는 작도 불가능하다면, 가우스의 정17각형 작도 가능 증명이 "한 중심각의 크기의 삼각함수 값을 사칙연산과 제곱근으로 표현 가능한 정다각형은 작도 가능하다"의 명제와 동치인지는 증명되었나요??? -->

=== 비유클리드 기하학 ===
수학자들은 유클리드 기하학의 공리들 가운데 평행선 공리가 다른 공리들로부터 유도 될 수 있는 정리인지 의심했으며, 평행선 공리가 정말 필수적인지 고민하였다. 결국 [[카를 프리드리히 가우스|가우스]], [[보여이 야노시|보여이]], 로바체프스키 등의 수학자들은 평행선 공리는 타 공리들로부터 독립적이며, 평행선 공리 대신 다른 공리로 바꿔도 여전히 의미 있는 기하학이 됨을 알아내었다. 대표적으로 [[구면기하학|구면 기하학]]과 [[쌍곡기하학|쌍곡 기하학]]이 있다.

=== 미분 기하학 ===
1800년대에는 [[카를 프리드리히 가우스|가우스]], [[베른하르트 리만|리만]] 등의 수학자들이, 좌표 기하학과 해석학을 결합하여, [[미분기하학|미분 기하학]]을 발전시켰다. 기본적으로 해석학이 적용될 수 있는 기하학적 대상들을 다루었으며, 해석학에서 기본적으로 미분은 국소적인 성질을, 적분은 그 국소적인 성질들을 적분하여 대역적인 성질을 알아내는 과정에 해당한다. 미분 기하학은 기하학적 대상의 국소적 성질을 분석하여 적분을 통해 대역적인 기하학 성질을 다루는 작업으로 이뤄져 있다. 예를 들어, 접선, [[접다발|접평면]] 등의 기하학적 개념은 미분으로 다루기 아주 알맞은 주제다. 또한, 전통적인 기하학은, 유클리드 공간 <math>\mathbb R^n</math>을 먼저 배경으로 놓고, 그 안에서 여러 가지 기하학적 대상들을 연구 하였다. 즉, 다루고자 하는 기하학적 대상의 바깥에서 본 관점으로 이뤄져 있었다. 이에 반해 미분 기하학자들은, 배경 공간에 독립적인 기하학적 대상 고유의 성질들을 연구하고자 하였으며, 이를 '''내재적 성질'''이라고 한다. 가우스는 주로 미분 가능한 곡면을 연구하였는데, 여기서 내재적 성질의 대표적인 예시인, [[가우스 곡률]]을 정의 하였다. 가우스는, 곡면의 가우스 곡률은 그 곡면이 들어가 있는 배경 공간에 독립적이라는 정리, '''Theorema Egregium'''을 증명하였다. 리만은 일반적인 [[리만 다양체]]에 대한 미분 기하학을 만들었으며, 곡선, 곡면뿐만 아니라 임의의 차원을 가진 [[다양체]]를 일관적인 방식으로 연구 할 수 있다. 이를 리만 기하학이라고 하며, 미분 기하학이라고 하면 일반적으로 리만 기하학을 뜻한다. 리만이 리만 기하학을 발표할 당시 가우스도 참관하였는데, 리만에게 기립 박수를 보낸 것으로 유명하다. 가우스는 타 수학자들을 칭찬하는데 굉장히 인색한 사람 이였지만 리만이 리만 기하학을 발표할 때는 자신이 꿈꾸던 기하학이 눈 앞에 펼쳐졌기 때문에, 아주 감탄한 것으로 보인다.. 또한 직전에 발달한 비유클리드 기하학도 거의 다 미분 기하학 안에서 다뤄질 수 있기 때문에, 한 동안 기하학은 미분 기하학의 시대였다.

== 분야 ==
* [[유클리드 기하학]]
* [[심플렉틱 다양체|심플렉틱 기하학]]
* [[비유클리드 기하학]]: [[리만 기하학]]
* [[대수기하학]]
* [[해석기하학]]
* [[미분기하학]]
* [[복소다양체|복소기하학]]
* [[사영기하학]]
* [[위상수학]]
* [[프랙탈]]

== 주해 ==
{{포털|수학}}
<references group="주해" />

== 같이 보기 ==
* [[화법기하학]]
* [[분자기하]]
== 각주 ==
{{각주|3}}

== 외부 링크 ==
{{위키공용분류}}
* {{언어링크|en}} [http://geometricarts.googlepages.com/home 기하 예술] {{웨이백|url=http://geometricarts.googlepages.com/home |date=20080723175722 }} 기하학을 이용한 조형

{{수학 분야}}
{{전거 통제}}

[[분류:기하학| ]]