오일러 공식 고찰
수학에서 가장 아름다운 공식이라 불리는 오일러 항등식. 그 증명과 의미를 탐색한다.
아름답다는 것의 의미
수학자들이 어떤 공식을 두고 "아름답다"고 말할 때, 그것은 단순한 찬사가 아닙니다. 간결함 속에 깊은 구조가 숨어 있고, 서로 무관해 보이던 개념들이 하나의 등호로 이어질 때 — 그 순간 수학자는 미적 감각을 느낍니다.
오일러 항등식이 바로 그런 공식입니다.
이 다섯 개의 상수 — 자연로그의 밑 , 허수 단위 , 원주율 , 그리고 과 — 는 수학의 서로 다른 영역에서 독립적으로 등장합니다. 해석학, 복소수론, 기하학, 대수학. 이것들이 단 하나의 등식으로 묶인다는 사실은, 처음 보는 사람에게는 마술처럼, 이미 아는 사람에게는 오래된 친구처럼 느껴집니다.
수학자 리처드 파인만은 이 공식을 가리켜 "수학에서 가장 눈부신 공식"이라 불렀고, 벤저민 피어스는 강의실에서 이 공식을 칠판에 적은 뒤 이렇게 말했습니다.
"신사 여러분, 이것은 절대적으로 역설적입니다. 우리는 그것이 무엇을 의미하는지 알 수 없지만, 우리는 그것이 참임을 증명했습니다."
테일러 급수로 들여다보기
오일러 항등식을 이해하는 가장 명쾌한 경로는 테일러 급수(Taylor series)를 통하는 것입니다. 먼저 세 함수의 급수 전개를 살펴보겠습니다.
지수함수 는 다음과 같이 전개됩니다.
삼각함수 와 는 각각 다음과 같습니다.
이제 에서 대신 허수 를 대입해 봅니다. 이므로 거듭제곱이 반복될수록 부호가 교차합니다.
실수부와 허수부를 분리하면 놀라운 일이 벌어집니다.
이것이 바로 **오일러 공식(Euler's formula)**입니다.
여기에 를 대입하면, 이고 이므로
양변에 1을 더하면 항등식이 완성됩니다.
증명은 간단하지만, 이 과정에서 일어난 일은 전혀 간단하지 않습니다. 무한급수라는 도구로 서로 다른 세계를 이어붙인 것입니다.
복소평면 위의 기하학
테일러 급수 증명은 대수적으로 명쾌하지만, 오일러 공식이 가진 기하학적 직관을 충분히 드러내지는 못합니다. 복소평면(complex plane)으로 시각을 전환해 봅니다.
복소수 는 복소평면 위에서 반지름 1인 단위원 위의 한 점을 나타냅니다. 실수부는 , 허수부는 이므로, 가 변할수록 이 점은 원점을 중심으로 단위원을 따라 회전합니다.
일 때 점은 정확히 에 위치합니다. 즉, 는 복소평면에서 "반 바퀴 회전"을 의미합니다. 수직선 위의 수 을 반 바퀴 돌리면 이 되는 것 — 이것이 오일러 항등식의 기하학적 본질입니다.
더 일반적으로, 는 각도 만큼의 회전 연산자입니다. 두 복소수의 곱은 크기의 곱이자 각도의 합이므로, 복소수 는 크기가 이고 방향이 인 벡터로 이해할 수 있습니다.
이 관점에서 허수는 더 이상 "허구의 수"가 아닙니다. 회전을 기술하는 언어입니다.
공학과 신호처리에서의 오일러
오일러 공식은 순수 수학의 영역을 훌쩍 벗어나 현대 과학기술의 근간을 이룹니다.
진동과 파동
물리에서 단순 조화 진동은 나 로 기술됩니다. 그런데 오일러 공식 덕분에 이 둘을 하나의 표현으로 묶을 수 있습니다.
실수인 파동을 복소지수 함수로 표현하면 미분이 곱셈으로 바뀝니다. 이므로, 미분방정식이 대수방정식으로 변환됩니다. 공학자와 물리학자들이 복소수 표현을 선호하는 이유가 바로 여기에 있습니다.
푸리에 변환
신호처리의 핵심 도구인 푸리에 변환(Fourier transform)은 오일러 공식 위에 세워진 건축물입니다.
이 공식은 임의의 신호 를 서로 다른 주파수 성분 로 분해합니다. 음악을 주파수 스펙트럼으로 분석하고, 이미지를 압축하고, MRI 장치가 신체 내부를 촬영하는 모든 과정에서 이 변환이 핵심 역할을 합니다.
복소지수 가 단위원 위의 회전이라는 기하학적 사실이, 여기서는 신호를 순수한 주파수 성분으로 분리하는 수학적 근거가 됩니다.
양자역학
슈뢰딩거 방정식에서도 와 는 핵심 역할을 합니다. 파동함수(wave function)는 복소수값을 가지며, 시간 발전(time evolution)은 형태의 복소지수 연산자로 기술됩니다. 오일러 공식이 없다면 현대 양자역학의 언어 자체가 존재하지 않았을 것입니다.
다섯 상수가 품은 질문
다시 항등식으로 돌아옵니다.
은 덧셈의 항등원이고, 은 곱셈의 항등원입니다. 는 원의 기하학으로부터, 는 연속 성장과 자연로그로부터, 는 의 제곱근이라는 대수적 필요로부터 각각 독립적으로 발견된 상수들입니다.
이것들이 하나의 등식으로 이어진다는 사실은 "발견"인가요, "발명"인가요?
수학자 G. H. 하디는 이렇게 말했습니다.
"수학자는 자신이 발명하는 것이 아니라 발견한다고 느낀다. 317은 소수다 — 우리가 그렇게 생각하기 때문이 아니라, 그것이 그러하기 때문에."
오일러 항등식이 인간의 창조물이라면, 서로 다른 수학 분야를 개척한 수학자들이 아무런 조율도 없이 이토록 정확히 맞아떨어지는 개념들을 만들어냈다는 것은 기적에 가깝습니다. 반대로, 수학이 우주의 언어라면, 이 공식은 그 언어가 가진 필연적인 문법 중 하나일 것입니다.
오일러 항등식의 아름다움은 결국 이 질문을 조용히 건넵니다 — 수학은 인간의 것인가, 아니면 인간이 발견한 무언가의 것인가.
그리고 이 공식은 어느 쪽이든, 같은 답을 내놓습니다.