Product Design, Manufacturing & Innovation Resources

집 » 2의 제곱근의 무리성

2의 제곱근의 무리성

-500

Hippasus of Metapontum

(설명을 위한 생성된 이미지입니다)

그만큼 2의 제곱근 is an 무리수, meaning it cannot be expressed as a ratio of two integers [latex]p/q[/latex]. The classic proof, often attributed to the Pythagoreans, is a proof by contradiction: it assumes [latex]sqrt{2} = p/q[/latex] in lowest terms, which leads to the conclusion that both [latex]p[/latex] and [latex]q[/latex] must be even, contradicting the initial assumption.

The proof of the irrationality of [latex]\sqrt{2}[/latex] is a cornerstone of number theory and a classic example of reductio ad absurdum. The argument proceeds as follows: First, assume that [latex]\sqrt{2}[/latex] is a rational number. By definition, this means there exist two integers, [latex]p[/latex] and [latex]q[/latex] with no common factors other than 1, such that [latex]\sqrt{2} = p/q[/latex]. Squaring both sides gives [latex]2 = p^2/q^2[/latex], which can be rearranged to [latex]2q^2 = p^2[/latex].

This equation shows that [latex]p^2[/latex] is an even number, as it is a multiple of 2. A key lemma is that if the square of an integer is even, the integer itself must be even. Therefore, [latex]p[/latex] is even. This means [latex]p[/latex] can be written as [latex]2k[/latex] for some integer [latex]k[/latex]. Substituting [latex]p=2k[/latex] back into the equation [latex]2q^2 = p^2[/latex] yields [latex]2q^2 = (2k)^2 = 4k^2[/latex]. Dividing both sides by 2 gives [latex]q^2 = 2k^2[/latex].

This new equation shows that [latex]q^2[/latex] is also an even number, and by the same lemma, [latex]q[/latex] must also be even. The conclusion that both [latex]p[/latex] and [latex]q[/latex] are even contradicts the initial assumption that the fraction [latex]p/q[/latex] was in its simplest form (i.e., that [latex]p[/latex] and [latex]q[/latex] had no common factors). Since the initial assumption leads to a contradiction, the assumption must be false. Therefore, [latex]sqrt{2}[/latex] cannot be a rational number and is irrational. This discovery was revolutionary for Greek mathematics, which had been built on the premise that all geometric magnitudes could be compared as ratios of integers.

분산 분석(ANOVA), 디자인 사고, 공학, 수학, 개념 증명(PoC), 품질 관리, 통계 분석

UNESCO Nomenclature: 1205

– Number theory

유형

추상 시스템

분열

혁명가

용법

널리 사용됨

전구체

concept of integers and rational numbers (ratios)
basic principles of logic, including proof by contradiction (reductio ad absurdum)
understanding of even and odd numbers
Pythagorean theorem, which geometrically produced the length

응용 프로그램

development of real number theory
foundation for mathematical analysis
understanding of incommensurable magnitudes in geometry
philosophical shift in the understanding of numbers and reality

특허:

잠재적 혁신 아이디어

현재 하루 4만 건이 넘는 봇 트래픽을 차단하기 위해 이 콘텐츠는 커뮤니티 회원만 이용할 수 있습니다.
> 로그인 < 또는 >등록 < 이 콘텐츠를 비롯한 모든 제한된 콘텐츠와 도구는 (100% 무료로) 이용할 수 있습니다.

Related to: irrational number, proof by contradiction, Pythagorean school, Hippasus, incommensurability, number theory, square root of 2, integers, ratio, Greek mathematics.

역사적 맥락

Carved stone tablet with Euclid's Parallel Postulate and geometric diagram.

평행 공준 (유클리드의 다섯 번째 공준)

유클리드의 다섯 번째 공준인 평행 공준은 유클리드 기하학을 정의하는 공리입니다. 이 공준은 한 직선이 다른 두 직선과 교차할 때, 한쪽 변의 내각의 합이 두 직각의 합보다 작으면(α + β < 180°) 두 직선은 결국 그 변에서 만난다는 것입니다. 이 공준은 주어진 직선 위에 있지 않은 한 점을 지나는 평행선이 오직 하나뿐임을 보장합니다.

Euclid of Alexandria deriving Pythagorean triples in an ancient study.

피타고라스 삼중항

피타고라스 삼중항은 [latex]a^2 + b^2 = c^2[/latex]를 만족하는 세 개의 양의 정수 a, b, c로 구성됩니다. 잘 알려진 예로는 (3, 4, 5)가 있습니다. 유클리드 공식은 이러한 삼중항을 생성하는 기본적인 방법입니다. [latex]m > n[/latex]인 임의의 두 양의 정수 m과 n에 대해 [latex]a = m^2 - n^2[/latex], [latex]b = 2mn[/latex], [latex]c = m^2 + n^2[/latex] 공식을 이용하면 피타고라스 삼중항을 생성할 수 있습니다.

Five Platonic solids: tetrahedron, cube, octahedron, dodecahedron, icosahedron in geometry.

플라톤의 5개 입체

정다면체는 모든 면이 같은 정다각형이며, 각 꼭짓점에서 만나는 면의 개수가 모두 같은 다섯 개의 볼록 정다면체입니다. 정다면체는 정사면체(4면), 정육면체(6면), 정팔면체(8면), 정십이면체(12면), 정이십면체(20면)로 이루어져 있습니다. 이들의 대칭성과 성질은 고대부터 연구되어 왔습니다.

2의 제곱근의 무리성

Ancient scroll depicting Ptolemy's Theorem with geometric diagrams for trigonometric identities.

프톨레마이오스의 정리와 삼각함수 항등식

프톨레마이오스의 정리는 삼각법의 합과 차 공식에 대한 우아한 기하학적 증명을 제공합니다. 한 변을 지름으로 하는 원에 사각형을 내접시키면, 변의 길이는 내접각의 사인과 코사인 값으로 나타낼 수 있습니다. 이 정리를 직접 적용하면 [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex]와 같은 항등식을 얻을 수 있습니다.

Cartesian coordinate system model in a professional office setting for analytic geometry.

데카르트 좌표계

데카르트 좌표계는 유클리드 기하학에 대한 대수적 모델을 제공합니다. 이 좌표계는 하나 이상의 숫자, 즉 좌표를 사용하여 공간에서 한 점의 위치를 고유하게 결정합니다. 평면에서는 서로 수직인 두 직선(x축과 y축)을 사용하여 기하학적 도형을 대수 방정식으로 나타낼 수 있습니다. 이처럼 대수와 기하학이 결합된 분야를 해석 기하학이라고 합니다.

Study room with mathematician proving properties using mathematical induction.

수학적 귀납법에 의한 증명

수학적 귀납법은 어떤 성질 [latex]P(n)[/latex]이 모든 자연수 [latex]n[/latex]에 대해 성립함을 증명하는 데 사용되는 기법입니다. 이 방법은 두 단계로 구성됩니다. 첫 번째 단계는 기본 사례로, [latex]P(0)[/latex] 또는 [latex]P(1)[/latex]이 참임을 증명하는 것입니다. 두 번째 단계는 귀납적 단계로, 어떤 자연수 [latex]k[/latex]에 대해 [latex]P(k)[/latex]이 참이면(귀납적 가설), [latex]P(k+1)[/latex]도 참임을 증명하는 것입니다.

-300

-350

-500

150

1640

1650

-300

-400

-550

1635

1650

1736

Stone tablet inscribed with Euclid's Postulates, foundational to geometry.

유클리드의 공준

유클리드의 다섯 가지 공리는 그의 저서 '원론'에 기술된 유클리드 기하학의 공리적 기초를 이룹니다. 이 공리들은 다른 모든 정리들이 논리적으로 도출되는 근본적인 가정입니다. 처음 네 가지 공리는 직선과 원의 작도에 관한 것이며, 다섯 번째 공리인 평행 공리는 유클리드 공간의 평평하고 곡면이 없는 특성을 고유하게 정의합니다. 이 공리들은 수학에서 연역적 방법을 확립했습니다.

Stone carving of Triangle Angle Sum Theorem illustrating angle measures in Euclidean geometry.

삼각형 내각의 합 정리

유클리드 기하학의 기본 정리 중 하나는 모든 삼각형의 세 내각의 합은 항상 두 직각, 즉 180도와 같다는 것입니다. 이 성질, [latex]alpha + beta + gamma = 180^circ[/latex]는 평행 공준의 직접적인 결과이며, 평평한 유클리드 평면 내의 모든 삼각형에 대해 크기나 모양에 관계없이 성립합니다.

Scholar writing direct proof in ancient library, mathematical logic discipline.

직접 증명 (수학)

직접 증명은 확립된 사실, 일반적으로 공리, 정의 및 이전에 증명된 정리들을 직관적으로 조합하여 주어진 명제의 참을 보여주는 방법입니다. 조건문 [latex]p rightarrow q[/latex]를 증명하려면, [latex]p[/latex]가 참이라고 가정하고 추론 규칙을 사용하여 [latex]q[/latex] 또한 참임을 보이면 됩니다.

Scholar engaged in proof by contradiction in an ancient library setting.

모순에 의한 증명(reductio ad absurdum)

귀류법 또는 귀류법은 간접 증명의 한 형태입니다. 이는 어떤 명제가 거짓이라고 가정했을 때 논리적 모순이 발생함을 보여줌으로써 그 명제의 참을 증명하는 방법입니다. 명제 p를 증명하려면, 먼저 그 명제의 부정인 n=p를 가정하고, q=n=q와 같은 모순을 추론하여 p가 참임을 결론짓습니다.

Right-angled triangle illustrating the Pythagorean theorem in geometry.

피타고라스 정리

피타고라스 정리는 유클리드 기하학에서 직각삼각형의 세 변 사이의 기본적인 관계입니다. 이 정리는 빗변(직각의 맞은편 변)을 포함하는 정사각형의 넓이가 나머지 두 변을 포함하는 정사각형의 넓이의 합과 같다는 것입니다. 공식은 [latex]a^2 + b^2 = c^2[/latex]입니다.

Mathematical derivation of Cavalieri's Principle with geometric shapes in a historical study setting.

카발리에리스의 원리

분할 불가능성의 방법이라고도 알려진 이 원리는 두 평행 평면 사이에 놓인 두 입체가, 두 평면에 평행한 모든 평면과 만났을 때 단면적이 같으면 두 입체의 부피가 같다는 것입니다. 이 원리는 미적분학 없이 복잡한 도형의 부피를 계산하는 강력한 방법을 제공합니다.

Analytic geometry workspace with Euclidean distance calculations and historical context.

유클리드 거리

피타고라스 정리는 직각 좌표계에서 거리 공식의 기초를 제공합니다. 평면상의 두 점 [latex](x_1, y_1)[/latex]과 [latex](x_2, y_2)[/latex] 사이의 거리 [latex]d[/latex]는 [latex]d = sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]로 주어집니다. 이 공식은 x좌표와 y좌표의 차이가 두 변인 직각삼각형에 피타고라스 정리를 직접 적용한 것입니다.

Königsberg bridge problem map illustrating Euler's graph theory foundation.

쾨니히스베르크의 일곱 다리

이 문제는 수학사에서 중요한 의미를 지닙니다. 1736년 레온하르트 오일러가 이 문제에 대한 부정적 해법을 제시함으로써 그래프 이론의 기초를 마련했고 위상수학의 개념을 예견했습니다. 이 문제는 쾨니히스베르크 시의 일곱 다리를 모두 되돌아가지 않고 한 번의 여정으로 건널 수 있으며, 여정의 끝이 출발했던 곳으로 다시 돌아올 수 있는지에 대한 질문이었습니다.

(날짜를 알 수 없거나 관련이 없는 경우, 예를 들어 "유체역학"의 경우, 주목할 만한 등장 시기를 대략적으로 추정하여 제공합니다.)