분할(partition)에 대한 오일러의 정리(Euler's theorem)
분할(partition)이란 주어진 양의 정수를 양의 정수들의 합으로 표현하는 방법을 연구하는 정수론 또는 조합론의 한 하위 분야이다. 양의 정수 $n$이 주어졌다고 하자. 그러면 $n$에 대한 분할수(partition number) $p(n)$은 $n$을 양의 정수들의... Read more »
분할(partition)이란 주어진 양의 정수를 양의 정수들의 합으로 표현하는 방법을 연구하는 정수론 또는 조합론의 한 하위 분야이다. 양의 정수 $n$이 주어졌다고 하자. 그러면 $n$에 대한 분할수(partition number) $p(n)$은 $n$을 양의 정수들의... Read more »
일반적으로 $n$차원 벡터공간(vector space) $\R^n$의 표준기저(standard basis)를 다음과 같이 정의한다. \[ B_n = \{ e_1,\, e_2,\, \ldots,\, e_n \} \] 여기서 각각의 $i = 1,\, \ldots,\, n$에 대하여 $e_i$는 $i$번째... Read more »
아래과 같이 주어진 등차수열 \[ 1,\, 4,\, 7,\, \ldots,\, 1 + 3n,\, \ldots \] 의 경우는 등비수열인 부분수열 $(4^n)$을 가짐을 간단히 확인할 수 있다. (물론 이 외에도 무한히 많은 등비수열인... Read more »
정사각행렬(square matrix)sub> $A$에 대하여 행렬의 거듭제곱을 정의할 수 있다. 예를 들어 $3 \times 3$ 행렬 $A$가 \[ A = \left[ \begin{array}{rrr} 1 & 1 & -1 \\ 3 & -1... Read more »
$n \times n$ 정사각행렬 $A$가 주어졌다고 하자. 만약 적당한 양의 정수 $k$가 존재하여 $A^k = 0$이 성립하면, $A$를 멱영행렬(nilpotent matrix)라 정의한다. 멱영행렬의 고윳값(eigenvalue)를 생각해 보면 재미있는 사실을 발견할 수 있는데,... Read more »
삼각함수(trigonometric function)와 쌍곡함수(hyperbolic function)는 서로 밀접한 관계가 있는데, 이는 복소수를 이용하여 다음과 같이 나타낼 수 있다. \[ \begin{align*} \sin(iz) &= i\sinh(z) & \sinh(iz) &= i\sin(z) \\[5px] \cos(iz) &= \cosh(z) &... Read more »
소수 $p$가 주어졌다고 하자. $0$이 아닌 임의의 정수 $n$에 대하여, $n$의 $p$진 값매김($p$-adic valuation)은 $\nu_{p}(n)$을 $p^{\nu}$가 $n$를 나누게 하는 양의 정수 $\nu$ 중 가장 큰 수로 정의한다. 또한 $\nu_{p}(0) =... Read more »
이전 글에서 임의로 섞인 루빅스 큐브를 맞추는데 필요한 최소한의 회전수, 즉, 신의 수(God's number)는 20이라는 사실에 대해 살펴 보았다. 이제 조금 관점을 바꾸어서 생각해 보자. 어떤 공식을 단순히 반복 적용하여 (약 4,300경... Read more »
루빅스 큐브는 헝가리 조각가이자 교수인 에르뇌 루빅(Rubik Erno) 교수가 1974년에 발명한 3x3x3 정육면체 모양의 퍼즐이다. 이 퍼즐의 발명 이후, 루빅스 큐브는 전세계적으로 많은 사랑을 받아 왔다. 수학자들 또한 루빅스 큐브에... Read more »
원이 하나 주어졌다고 하자. 이 원에 외접하는 정삼각형을 하나 그리고 다시 정삼각형에 외접하는 원을 그린다. 이제 이 원에 외접하는 정사각형을 그리고 다시 정사각형에 외접하는 원을 그린다. 다음으로 이 원에 외접하는... Read more »