$\DeclareMathOperator{\rem}{rem}\newcommand\mycancel[1]{\mypink{\cancel{\myblack{#1}}}}$배수 판정법(divisibility rule)은 주어진 정수 $N$이 또 다른 정수 $m$ 배수인지의 여부를 간단히 확인하는 일련의 절차를 말한다. 일반적으로 배수 판정법은 정수론의 다양한 결과를 이용함으로써 $N$보다 훨씬 작은 수가 $m$의 배수인지를... Read more »
$\DeclareMathOperator{\lcm}{lcm}$이번 포스트에서는 자연수 집합 위에 자연수의 소인수분해와 밀접한 관련이 있는 거리(distance)을 정의해 볼 것이다. 우선 실수 집합 위에서 정의된 유클리드 거리(Euclidean distance)를 이용하여 두 자연수 $12$과 $13$ 사이의 거리를 구해보면,... Read more »
피보나치 수열(Fibonacci sequence) $F_n$은 다음과 같이 귀납적으로 정의되는 수열이다. \[ F_0 = 0, \quad F_1 = 1, \quad F_{n} = F_{n-1} + F_{n-2}\; (n \geq 2). \] 이제 피보나치 수열 $F_n$에... Read more »
주어진 $n \times n$ 정사각행렬 $A$의 행렬식(determinant)를 $\abs{A}$ 나타내기로 하자. 이번 글에서는 $2 \times 2$ 행렬의 행렬식을 구하는 계산만을 반복하여 $A$의 행렬식을 구하는 도지슨의 응집 방법(condensation method)에 대하여 알아볼 것이다.... Read more »
임의의 양의 정수 $k \in \N$에 대하여, $1$부터 $k$ 까지의 모든 정수를 각각 세제곱하여 더한 것은, 이 정수들을 모두 더한 뒤 제곱을 한 것과 같다는 사실이 잘 알려져 있다. 이를... Read more »
산술 도함수(arithmetic derivative) $(\cdot)' : \N \to \N_0$는 미분가능한 함수들에 대한 곱의 미분법(product rule)과 유사한 법칙을 만족하도록 양의 정수 위에서 정의된 다음 성질을 만족하는 함수이다. 임의의 소수 $p$에 대하여, $p'... Read more »
미분 가능한 함수 $f,\, g$에 대하여 곱의 미분법(product rule)은 다음과 같다. \[ (fg)' = f' \cdot g + f \cdot g' \] 함수가 아닌 양의 정수에 대해서도 위와 유사하게 곱의... Read more »
짝수와 짝수의 합은 언제나 짝수이고 짝수와 홀수의 합은 언제나 홀수이다. 이와 비슷하게, 유리수와 유리수의 합은 언제나 유리수이지만 유리수와 무리수의 합은 언제나 무리수가 된다. 따라서 '짝수와 유리수가 무언가 유사한 수학적 구조를... Read more »
집합론을 배우면서 접하게 되는 (직관에 반하는) 정리 중의 하나는, $\R$은 $\C$의 진부분집합(proper subset)임에도 불구하고, $\R$과 $\C$의 기수(cardinality)가 같다는 사실이다. 따라서 집합론적인 관점에서는 $\R$과 $\C$를 같은 집합, 즉 동형(isomorphic)이라고 보아도 크게... Read more »
주어진 두 실수 $a,\, b \in \R$의 평균(mean)을 구하는 다양한 방법이 존재하지만, 그 중에서 가장 잘 알려진 평균으로는 $a,\, b$의 산술평균(arithmetic mean): $A(a,\,b) = \dfrac{a+b}{2}$ 기하평균(geometric mean): $G(a,\, b) =... Read more »