검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...의 곱으로 나타낼 수 있다. 또한, [[복소수체]]는 [[실수체]]와 달리 [[대수적으로 닫힌 체]]를 이룬다. 이 결과들은 대수학의 기본 정리의 서로 다른 형태들이다. ...[[판별식]]이 0보다 작은 실수 계수 2차 다항식들로 만들 수 있다. 이에 따른 실수 계수 다항식의 완전한 인수 분해 또한 대수학의 기본 정리와 [[동치]]다. ...23 KB (2,143 단어) - 2025년 1월 10일 (금) 01:20
- '''산술의 기본 정리'''(算術의基本定理, {{llang|en|fundamental theorem of arithmetic}})는 모든 양의 [[정수]]는 [[소수 (수론)|소수]]의 집합을 <math>\mathbb P\subset\mathbb Z^+</math>라고 하자. '''산술의 기본 정리'''에 따르면, 임의의 양의 정수 <math>n\in\mathbb Z^+</math>에 대하여, 곱하여 <math>n</math>이 되 ...4 KB (305 단어) - 2024년 2월 8일 (목) 07:30
- ...정리의 제안과 증명으로부터 적분과 미분이 통합된 [[미적분학]]이 창시되었다. 독일의 라이프니츠 역시 뉴턴과는 독자적으로 미적분학의 기본 정리의 최종형태를 발견했고, dx와 dy와 같은 무한소를 나타내는 기호를 도입함으로써 미적분학의 발전에 크게 기여하였다. ...에 있다는 정리이다. 이 정리는 관련이 없어 보이는 두 수학이 아주 긴밀한 관계를 가지고 있음을 보여준다. '''미적분학의 제2 기본 정리'''는 [[정적분]]을 [[부정적분]]의 차로 간단히 계산할 수 있음을 의미한다. 이 정리가 있기에 계산이 힘든 [[리만 합]]의 극한 ...10 KB (828 단어) - 2024년 5월 2일 (목) 12:02
문서 내용 일치
- '''유클리드의 보조 정리'''(Euclid's Lemma)는 [[소수 (수론)|소수]]의 성질을 설명한 [[보조정리]]이다. 정수론에서 산술의 기본 정리에 대한 증명을 하기 위해 Euclid Lemma를 사용한다. ...1 KB (79 단어) - 2025년 3월 3일 (월) 12:58
- === 기본 성질 === AH=2OM([[세르보어의 정리]] 참고)이므로 AP=OM이고, AP와 OM은 BC와 수직하므로 평행이다. ...2 KB (49 단어) - 2022년 2월 8일 (화) 03:05
- ...ng|la|Theorema egregium|테오레마 에그레기움}})는 [[미분기하학]]의 기초적인 [[정리]] 중 하나이다. '빼어난 정리(테오레마 에그레기움)'라는 명칭은 가우스가 이 정리와 그 증명을 실은 [[라틴어]] 논문에서 사용한 것이다. 정리를 간단히 표현하면 다 * 어떤 [[곡면]]의 [[가우스 곡률]]은 그 [[제1 기본 형식]]의 계수들과 그 1, 2계 [[편도함수]]만으로 표현 가능하다.<ref>Martin Lipschutz, 전재복 역, 《미분기하학 ...2 KB (73 단어) - 2024년 5월 6일 (월) 04:30
- [[모형 이론]]에서 '''기본 동치'''(基本同値, {{llang|en|elementary equivalence}})는 두 [[구조 (논리학)|구조]]가 같은 [[1 ...다음 조건들이 서로 [[동치]]이며, 만약 이 조건이 성립하면 <math>M</math>과 <math>N</math>이 서로 '''기본 동치'''라고 한다. ...3 KB (265 단어) - 2022년 7월 28일 (목) 01:36
- ...rvature}})은 [[곡면]]의 한 점의 굽은 정도를 나타내는 척도로서, 그 점의 두 [[주곡률]]의 곱이다. [[가우스의 빼어난 정리]]에 따르면, 가우스 곡률은 [[내재|내재적]]이다. 즉, 오직 곡면에서 [[거리]]가 어떻게 측도되는지에만 의존한다. 기호는 [[라틴 <math>\mathbb R^3</math> 안에 있는 곡면의 가우스 곡률은 [[제1 기본 형식]]의 행렬식에 대한 [[제2 기본 형식]]의 행렬식의 비로 표현할 수도 있다. ...4 KB (148 단어) - 2025년 3월 3일 (월) 11:03
- [[복소해석학]]에서 '''루셰 정리'''(-定理, {{llang|en|Rouché's theorem}})는 두 [[정칙 함수]]의 [[영점]]의 수가 같을 충분 조건을 제 를 만족시킨다고 하자. '''루셰 정리'''에 따르면, <math>\operatorname{im}\gamma</math>의 내부에서 <math>f</math>와 <math>f ...5 KB (402 단어) - 2024년 5월 11일 (토) 03:07
- [[미분기하학]]에서 '''제1 기본 형식'''(第一基本形式, {{llang|en|first fundamental form}})은 [[계량 텐서|계량 형식]]을 부분다양체에 ...ath>f\colon\Sigma\to M</math>가 주어졌다고 하자. 그렇다면 <math>\Sigma</math> 위의 '''제1 기본 형식'''은 [[매장 (수학)|매장]] <math>f</math>로부터 유도되는 [[계량 텐서]]이며, 다음과 같다. ...3 KB (241 단어) - 2024년 5월 8일 (수) 19:51
- '''산술의 기본 정리'''(算術의基本定理, {{llang|en|fundamental theorem of arithmetic}})는 모든 양의 [[정수]]는 [[소수 (수론)|소수]]의 집합을 <math>\mathbb P\subset\mathbb Z^+</math>라고 하자. '''산술의 기본 정리'''에 따르면, 임의의 양의 정수 <math>n\in\mathbb Z^+</math>에 대하여, 곱하여 <math>n</math>이 되 ...4 KB (305 단어) - 2024년 2월 8일 (목) 07:30
- ...정리의 제안과 증명으로부터 적분과 미분이 통합된 [[미적분학]]이 창시되었다. 독일의 라이프니츠 역시 뉴턴과는 독자적으로 미적분학의 기본 정리의 최종형태를 발견했고, dx와 dy와 같은 무한소를 나타내는 기호를 도입함으로써 미적분학의 발전에 크게 기여하였다. ...에 있다는 정리이다. 이 정리는 관련이 없어 보이는 두 수학이 아주 긴밀한 관계를 가지고 있음을 보여준다. '''미적분학의 제2 기본 정리'''는 [[정적분]]을 [[부정적분]]의 차로 간단히 계산할 수 있음을 의미한다. 이 정리가 있기에 계산이 힘든 [[리만 합]]의 극한 ...10 KB (828 단어) - 2024년 5월 2일 (목) 12:02
- '''픽의 정리'''({{llang|en|Pick's theorem}})는 격자점 위의 단순 다각형에서 그 내부, 외부의 격자 수와 그 다각형의 넓이 이 내용이 "픽의 정리"이다.<ref>Grünbaum & Shephard, 1993 [http://dl.acm.org/citatin.cfm?id=153311 ...7 KB (380 단어) - 2024년 7월 7일 (일) 09:44
- * [[유클리드의 보조 정리]] * [[산술의 기본 정리]] ...1 KB (106 단어) - 2024년 5월 8일 (수) 19:37
- [[미분기하학]]에서 '''제2 기본 형식'''(第二基本形式, {{llang|en|second fundamental form}})은 [[매끄러운 다양체]]의 부분 다양체의 ...양체 <math>\Sigma\subset M</math>가 주어졌다고 하자. 그렇다면 <math>\Sigma</math>의 '''제2 기본 형식''' <math>\operatorname{II}_\Sigma</math>는 <math>\Sigma</math> 위의 텐서장이다. ...4 KB (324 단어) - 2024년 5월 6일 (월) 05:28
- [[대수학]]에서, '''유리근 정리'''(有理根定理, {{llang|en|rational root theorem}})는 [[정수]] 계수 [[다항식]]의 [[유리수]] [ ...rac}R</math>를 [[근 (수학)|근]]으로 가지며, <math>\gcd\{r,s\}=1</math>이라고 하자. '''유리근 정리'''에 따르면, 다음이 성립한다. ...2 KB (235 단어) - 2024년 10월 18일 (금) 09:30
- == 기본 정의 == 충족 가능성 문제의 [[결정 문제]]는 [[NP-완전]]에 속한다. 이것은 [[스티븐 쿡]]이 증명했으며([[쿡-레빈 정리]]), 이 문제는 NP-완전이라는 것이 증명된 최초의 문제이기도 하다. 또한, 논리식이 [[논리곱 표준형]]으로 이루어진 경우에도 역시 ...3 KB (94 단어) - 2024년 5월 10일 (금) 05:27
- ...|en|Viète’s theorem}}) 또는 '''근과 계수와의 관계'''는 [[다항 방정식]]의 [[근 (수학)|근]]에 대한 [[기본 대칭 다항식]]과 다항 방정식의 계수 사이의 관계를 나타내는 일련의 공식이다. 16세기 프랑스의 수학자 [[프랑수아 비에트]]에 의해 ...{1,\dots,n\}</math>에 대하여, 영점 <math>x_1,\dots,x_n</math>을 <math>k</math>차 [[기본 대칭 다항식]]에 대입한 값은 <math>(-1)^ka_{n-k}/a_n</math>과 같다. ...5 KB (441 단어) - 2024년 11월 2일 (토) 00:03
- ...법벡터, (''E'', ''F'', ''G'')와 (''L'', ''M'', ''N'')를 곡면의 [[제1 기본 형식]]과 [[제2 기본 형식]]의 계수들이라 하자. 그러면, 바인가르텐 공식은 다음과 같이 주어진다.<ref name="a">Martin Lipschutz, [[분류:기하학 정리]] ...2 KB (175 단어) - 2024년 5월 9일 (목) 02:07
- [[파일:포이어바흐 정리.jpg|섬네일|450px|포이어바흐 정리]] '''포이어바흐 정리'''란, [[구점원]]은 [[내접원]]과 접하며, 세 [[방접원]]과도 접한다는 정리이다. ...2 KB (142 단어) - 2022년 3월 2일 (수) 18:02
- [[대수기하학]]에서 '''베주 정리'''(Bézout定理, {{llang|en|Bézout’s theorem}})는 두 평면 [[대수 곡선]]의 [[교차수]]는 그 두 곡 .../math>이다. 그래서 <math>\det S</math>는 x와 y에 대해 차수가 mn인 [[동차다항식]]이다. [[대수학의 기본 정리]]에 의해, |S|는 많아야 mn개의 선형 인자로 인수분해 될 수 있다. 따라서 최대 <math>mn</math>개의 해를 갖는다. ...4 KB (235 단어) - 2024년 2월 9일 (금) 09:15
- ...서 무작위로 뽑은 표본의 [[평균 (통계학)|평균]]이 전체 모집단의 평균과 가까울 가능성이 높다는 [[통계]]와 [[확률]] 분야의 기본 개념이다. * [[중심 극한 정리]] ...3 KB (200 단어) - 2024년 5월 28일 (화) 12:41
- '''헬름홀츠 정리'''({{llang|de|Satz von Helmholtz}}) 혹은 '''헬름홀츠 분해정리'''(Helmholtz Decomposit '''정리''': 3차원 유클리드 공간에서, 어떤 벡터함수 <math>F(R)</math>의 발산 <math>d(R)</math>과 회전 <mat ...3 KB (101 단어) - 2023년 7월 17일 (월) 04:38