무게 중심 (기하학)

기하학에서 **무게 중심**(-中心, centroid, barycenter)은 주어진 도형 속 모든 점의 산술 평균이 되는 점이다. 이는 도형을 밀도가 균일한 물체로 보았을 때 .물리학에서의 무게 중심과 일치한다.61, Remark 2.7.5.3
# 정의

## 유한 개의 점의 무게 중심
체 F 위의 아핀 공간 A가 주어졌고, 양의 정수 n이 F의 표수의 배수가 아니라고 하자. (예를 들어 A가 유클리드 공간이며 n은 임의의 양의 정수라고 가정할 수 있다.) 그렇다면 n개의 점 a_1,\dots,a_n\in A의 **무게 중심**은 다음을 만족시키는 유일한 점 g\in A로 정의된다. :\frac 1n\sum_{k=1}^n\overrightarrow{ga_k}=\vec 0 즉, 임의의 a\in A에 대하여, 다음이 성립한다. :g=a+\frac 1n\sum_{k=1}^n\overrightarrow{aa_k} 특히, A가 벡터 공간일 경우 다음이 성립한다.75-77, Examples 3.4.2 :g=\frac 1n\sum_{k=1}^na_k
## 유한 개의 질점의 무게 중심
보다 일반적으로, 체 F 위의 아핀 공간 A 및 양의 정수 n이 주어졌고, n개의 점 a_1,\dots,a_n\in A의 질량 w_1,\dots,w_n\in F의 합이 F의 표수의 배수가 아니라고 하자. (예를 들어 A가 유클리드 공간일 경우 질량의 합이 0이 아니라고 하자.) 그렇다면 질점 (a_1,w_1),\dots,(a_n,w_n)의 **무게 중심**은 다음을 만족시키는 유일한 점 g\in A이다.26, §I.4, Proposition 4.1 :\sum_{k=1}^nw_k\overrightarrow{ga_k}=\vec 0 즉, 임의의 a\in A에 대하여, 다음이 성립한다.26, §I.4, Proposition 4.1 :g=a+\frac{\sum_{k=1}^nw_k\overrightarrow{aa_k{\sum_{k=1}^nw_k} 특히, A가 벡터 공간일 경우 다음이 성립한다. :g=\frac{\sum_{k=1}^nw_ka_k}{\sum_{k=1}^nw_k} 유한 개의 점의 무게 중심은 :w_1=\cdots=w_n 인 특수한 경우이다. 이를 질점들의 무게 중심과 구별하기 위해 **등무게 중심**(等-中心, equibarycenter)이라고 부르기도 한다.
## 영역의 무게 중심
유클리드 공간 \mathbb R^d의 콤팩트 부분 집합 K\subseteq\mathbb R^d가 \operatorname{int}K\ne\varnothing을 만족시킨다고 하자. 그렇다면 K는 르베그 가측 집합이며, 0<\mu(K)<\infty가 성립한다. 여기서 \mu는 \mathbb R^d 위의 르베그 측도이다. 이 경우 K의 **무게 중심**은 다음과 같이 정의된다.doi=10.1007/978-3-540-93815-660, Proposition 2.7.5.1 :g=\frac 1{\mu(K)}\int_Kx\mathrm d\mu 보다 일반적으로, 밀도 함수 w\colon K\to\mathbb R (\textstyle\int_Kw(x)\mathrm d\mu\ne 0)가 부여되었을 때의 **무게 중심**은 다음과 같다. :g=\frac{\int_Kw(x)x\mathrm d\mu}{\int_Kw(x)\mathrm d\mu} 영역의 무게 중심은 w가 상수 함수인 특수한 경우이다.
# 성질

## 결합 법칙
질점 :(a_1,w_1),\dots,(a_n,w_n)\in A\times K 의 무게 중심은 :(a_1,w_1),\dots,(a_k,w_k) 의 무게 중심과 :(a_{k+1},w_{k+1}),\dots,(a_n,w_n) 의 무게 중심의 질량 \textstyle\sum_{j=1}^kw_j 및 \textstyle\sum_{j=k+1}^nw_j에 대한 무게 중심과 같다.27, Proposition 4.2 물론 이는 유한 번 반복할 수 있다. 특히, 체 K의 표수가 2나 3이 아닐 경우, 유한 개의 점의 무게 중심은 선분과 삼각형의 무게 중심으로 귀결된다.
## 아핀기하학적 성질
아핀 공간의 한 점을 원점으로 삼아 벡터 공간으로 만들었을 때, 질점의 무게 중심은 계수의 합이 1인 선형 결합이므로, 아핀기하학의 몇몇 개념은 무게 중심을 통해 서술할 수 있다. 아핀 공간 A의 부분 집합 B\subseteq A에 대하여, 다음 두 조건이 서로 동치이다.79, Proposition 3.5.1 * 질점의 무게 중심에 대하여 닫혀있다. * 부분 아핀 공간이다. 아핀 공간 A의 부분 집합 B\subseteq A에 대하여, 다음 두 조건이 서로 동치이다.doi=10.1007/978-3-642-56127-629, §I.5, Proposition 5.6 * 음이 아닌 질량의 질점의 무게 중심에 대하여 닫혀있다. * 볼록 집합이다. 아핀 공간 A와 B 사이의 함수 T\colon A\to B에 대하여, 다음 두 조건이 서로 동치이다.79, Proposition 3.5.2 * 질점의 무게 중심을 보존한다. 즉, 만약 g가 (a_k,w_k) (1\le k\le n)의 무게 중심이라면, T(g)는 (T(a_k),w_k) (1\le k\le n)의 무게 중심이다. * 아핀 변환이다.
# 예

## 선분
중점 (기하학) 체의 표수가 2가 아닐 경우, 선분 AB의 두 끝점의 무게 중심 M을 선분 AB의 중점이라고 한다.75-77, Examples 3.4.2 이 경우 :MA=MB 가 성립한다. 3차원 유클리드 공간 \mathbb R^3 속 선분의 두 끝점이 각각 (x_k,y_k,z_k) (k=1,2)이라고 할 때, 중점은 :\left(\frac{x_1+x_2}2,\frac{y_1+y_2}2,\frac{z_1+z_2}2\right) 이다.
## 삼각형
삼각형의 무게 중심의 도해 체의 표수가 3이 아닐 경우 삼각형의 세 꼭짓점의 무게 중심을 정의할 수 있다. 체의 표수가 2나 3이 아닐 경우, 삼각형 ABC의 세 꼭짓점의 무게 중심 G는 세 중선 AD,BE,CF의 교점이며, 각 중선의 중점에 더 가까운 삼등분점이다. 즉, :AG/GD=BG/GE=CG/GF=2 가 성립한다.isbn=0-534-35179-456, §2B, Theorem 2.7 정삼각형이 아닌 삼각형의 무게 중심은 외심, 구점원의 중심, 수심과 함께 오일러 직선 위의 점이다. 정삼각형의 무게 중심은 내심, 외심, 구점원의 중심, 수심과 일치한다. 유클리드 공간 속 삼각형의 세 꼭짓점의 무게 중심은 세 꼭짓점의 볼록 폐포의 무게 중심과 일치한다. 특히, \mathbb R^3 속 삼각형의 무게 중심은 역학에서의 무게 중심과 일치한다.57-58 즉, 뾰족한 물체이 꼭지 위에 밀도가 균일한 삼각형판을 세우되 꼭지 위에 무게 중심이 오게 하면, 삼각형판은 기울어지지 않고 평형을 유지한다. 그러나 삼각형의 경계의 무게 중심은 삼각형의 슈피커 중심이며, 이는 일반적으로 삼각형의 무게 중심과 일치하지 않는다.58-59 3차원 유클리드 공간 \mathbb R^3 속 삼각형의 세 꼭짓점이 각각 (x_k,y_k,z_k) (k=1,2,3)이라고 할 때, 세 꼭짓점의 무게 중심은 :\left(\frac{x_1+x_2+x_3}3,\frac{y_1+y_2+y_3}3,\frac{z_1+z_2+z_3}3\right) 이다.
## 사각형
사각형 ABCD의 네 꼭짓점 A,B,C,D의 무게 중심은 각 쌍의 대변의 중점을 잇는 2개의 선분과 두 대각선의 중점을 잇는 1개의 선분의 중점이자, 한 꼭짓점과 남은 세 꼭짓점의 무게 중심을 잇는 3개의 선분의 사등분점이다. 볼록 사각형의 네 꼭짓점의 무게 중심과 네 꼭짓점의 볼록 폐포의 무게 중심은 일반적으로 일치하지 않는다.75-77, Examples 3.4.2
## 다포체
볼록 다포체의 모든 꼭짓점의 무게 중심과 모든 꼭짓점의 볼록 폐포의 무게 중심은 일반적으로 일치하지 않는다.