이번 포스트에서는 주어진 $B : V \times V \to \R$가 대칭 이중선형형식(symmetric bilinear form)일 때 성립하는 동치 관계들에 대하여 알아보고자 한다. 먼저 다음 정의를 살펴보자. $ $ 정의 1. 이중선형형식... Read more »
두 함수 $\sin(x)$와 $\sin(2x)$를 생각해 보자. 이 두 함수는 각각 주기가 $2\pi$와 $\pi$인 주기함수이고, 두 함수의 합인 $\sin(x) + \sin(2x)$ 또한 (주기가 $2\pi$인) 주기함수이다. 아래 그래프를 참고 하도록 하자. $... 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 »
주어진 실함수 $f : I \subseteq \R \to \R$가 임의의 $x,\, y \in I$와 $\lambda \in [0,\, 1]$에 대하여 다음 부등식 \[ f((1-\lambda)x + \lambda y) \leq (1-\lambda)f(x) + \lambda... 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 »
이번 글에서는 저번 글 피보나치(Fibonacci) 수열, 루카스(Lucas) 수열, 그리고 삼각함수 - 1 에서 증명한 피보나치/루카스 수열과 삼각함수와의 관계를 다시 한 번 정리하면 다음과 같다: 임의의 음이 아닌 정수 $n \in... Read more »