근의 공식 유도와 역사: 바빌로니아 점토판에서 알콰리즈미의 정사각형까지 📜➗

위 그림 하나가 사실상 오늘 이야기의 전부라고 해도 과언이 아니야. "모자란 귀퉁이를 채워서 완벽한 정사각형을 만든다"는 아이디어, 이게 바로 완전제곱식 만들기고, 근의 공식의 심장이거든. 지금부터 이 아이디어가 어떻게 태어나고 자랐는지 차근차근 보자.

1. 일단 주인공부터 소개할게: 근의 공식 🎯

이차방정식은 미지수의 최고 차수가 2인 방정식이야. 일반적인 모양은 이렇게 생겼지.

여기서 a가 0이면 x²항이 사라져서 그냥 일차방정식이 돼버리니까 a ≠ 0 조건이 꼭 붙어. 그리고 이 방정식의 해, 즉 근을 한 방에 구해주는 공식이 바로 이거야.

이 공식이 대단한 이유는 계수 a, b, c만 넣으면 어떤 이차방정식이든 기계적으로 답이 나온다는 거야. 인수분해가 잘 안 되는 방정식, 예를 들어 x² + x − 1 = 0 같은 것도 문제없어. 넣어보면 x = (−1 ± √5)/2, 그 유명한 황금비 관련 숫자가 튀어나오지.

그런데 여기서 재미있는 사실 하나. 우리가 지금 쓰는 이 깔끔한 기호 표기, 즉 a, b, c 같은 문자로 계수를 일반화하고 x로 미지수를 쓰는 방식은 17세기에 와서야 자리를 잡았어. 그 전 수천 년 동안 사람들은 이 공식을 말로, 문장으로, 그림으로 다뤘다는 거지. "물건의 개수를 반으로 나누고, 그것을 자기 자신과 곱하고…" 이런 식으로 말이야. 이 점을 기억해 두면 역사 파트가 훨씬 재밌어져.

2. 직접 유도해 보자: 완전제곱식 루트 🛠️

공식은 외우는 것보다 한 번 직접 만들어 보는 게 훨씬 오래 남아. 천천히 따라와 봐. 핵심 전략은 딱 하나, "좌변을 (무언가)² 꼴로 만들자"야.

또 다른 유도법: 처음부터 4a를 곱하는 인도식 트릭

분수가 싫은 사람을 위한 깔끔한 방법도 있어. 처음에 양변에 4a를 곱하는 거야.

분수가 한 번도 안 나오지? 이 방법은 인도 수학자 슈리다라(Śrīdhara)의 규칙으로 알려져 있어. 그의 저작 자체는 일부만 전해지지만, 12세기 수학자 바스카라 2세가 자신의 책에서 그의 방법을 인용하면서 "양변에 제곱항 계수의 4배를 곱하고, 미지수 계수의 제곱을 더하라"는 규칙을 소개했어. 인도 파트에서 다시 만나자.

근과 계수의 관계로 보는 유도법

하나만 더! 두 근을 α, β라고 하면 x² + (b/a)x + c/a = (x − α)(x − β)이므로
α + β = −b/a,  αβ = c/a 이지.
두 근의 평균은 −b/2a니까, 두 근을 α = −b/2a + u, β = −b/2a − u로 놓을 수 있어. 그러면 곱 αβ = b²/4a² − u² = c/a에서 u² = (b² − 4ac)/4a², 즉 u = √(b² − 4ac)/2a. 결국 같은 공식이 나와.

이 관점은 2019년 미국 수학자 포션 로(Po-Shen Loh)가 학생들이 이해하기 쉬운 방법으로 소개하면서 화제가 됐는데, 본인도 이것이 완전히 새로운 수학이라기보다 오래된 아이디어들을 재조합한 것이라고 밝혔어. 흥미로운 건, 이 "합과 곱을 알 때 두 수 찾기"가 바로 바빌로니아 서기관들이 즐겨 풀던 문제 유형이라는 거야. 21세기의 '쉬운 풀이'가 4,000년 전 점토판과 손을 잡는 순간이지. 🤝

3. 기원전 2000년대: 진흙판 위의 이차방정식 🧱

자, 이제 타임머신 탑승. 기원전 1800년 전후, 지금의 이라크 지역인 메소포타미아로 가보자. 이 시기를 고(古)바빌로니아 시대라고 부르는데, 여기서 쓰인 수학 점토판이 오늘날까지 꽤 많이 남아 있어. 진흙에 갈대 펜으로 쐐기 모양을 찍어 쓴 설형문자(쐐기문자)로 말이야.

바빌로니아 수학의 기본 장비: 60진법

바빌로니아 사람들은 60진법을 썼어. 우리가 지금 1시간 = 60분, 1분 = 60초로 쓰는 것, 원을 360도로 나누는 것이 다 이 전통의 흔적이야. 현대 학자들은 바빌로니아 숫자를 옮겨 적을 때 세미콜론(;)으로 정수부와 소수부를 나누고 쉼표로 자리를 구분하는 표기를 써.

마지막 줄 봤어? 예일대학교 바빌로니아 컬렉션의 YBC 7289 점토판에는 정사각형과 대각선 그림 옆에 √2의 근삿값 1;24,51,10이 적혀 있어. 10진법으로 약 1.41421296인데, 실제 √2 = 1.41421356…이니까 소수 다섯째 자리까지 거의 맞는 수준이야. 제곱근을 이 정도로 다룰 수 있었다는 건, 이차방정식을 풀 준비가 완벽히 되어 있었다는 뜻이지.

그리고 60은 2, 3, 4, 5, 6, 10, 12, 15, 20, 30으로 나눠떨어지는 '약수 부자' 숫자라서 분수 계산이 엄청 편했어. 바빌로니아 서기관들은 역수표를 만들어 두고 나눗셈을 "역수를 곱하는 것"으로 처리했어.

대표 선수: 대영박물관 점토판 BM 13901

대영박물관에 보관된 BM 13901은 이차방정식 문제를 무려 20여 개나 담고 있는 고바빌로니아 시대 점토판이야. 그 첫 번째 문제가 아주 유명해. 현대식으로 옮기면 대략 이런 내용이야.

와, 이거 어디서 많이 본 순서 아니야? 절반 → 제곱 → 더하기 → 제곱근 → 빼기. 우리가 위에서 유도한 완전제곱식 루트랑 완전히 똑같아! 현대 기호로 정리하면

이게 바로 근의 공식에서 양수 근만 골라낸 형태야. 기원전 1800년경 서기관은 a, b, c 같은 기호도, 등호도 없었지만 계산 절차, 즉 알고리즘으로서의 근의 공식은 이미 손에 쥐고 있었던 거지.

합과 곱 문제: YBC 6967

또 다른 고바빌로니아 점토판 YBC 6967에는 이런 문제가 있어. 역수 관계의 두 수(원문 용어로 igi와 igibi)가 있는데, 둘의 곱이 60이고 한쪽이 다른 쪽보다 7만큼 크대. 두 수는 뭘까?

현대식으로 쓰면 x − y = 7, xy = 60. 즉 y² + 7y = 60인 이차방정식이야. 풀이 순서는 이래.

검산하면 12 × 5 = 60, 12 − 5 = 7. 완벽하지? 여기서 주목할 건 5단계에서 더하기와 빼기를 동시에 해서 두 수를 얻는다는 거야. 마치 근의 공식의 ± 같은 구조가 살짝 보이지? 물론 두 값은 같은 방정식의 두 근이 아니라 서로 다른 미지수 두 개였지만, 대칭적인 구조를 이용하는 감각은 확실히 있었어.

4. 이집트: 파피루스 위의 두 정사각형 🏺

비슷한 시기 나일강 쪽도 잠깐 들러보자. 이집트 수학 문서 중 베를린 파피루스 6619에는 이런 문제가 전해져. 두 정사각형 넓이의 합이 100이고, 한 정사각형의 변이 다른 정사각형 변의 1/2 + 1/4(즉 3/4)일 때, 각 변은 얼마일까?

현대식으로 x² + y² = 100, y = (3/4)x. 이집트식 풀이는 '가정법(false position)'이라는 재밌는 방식을 썼어. 일단 큰 변을 1이라고 대충 가정하면 작은 변은 3/4, 넓이 합은 1 + 9/16 = 25/16. 그 제곱근은 5/4. 실제 넓이 합 100의 제곱근은 10. 10을 5/4로 나누면 8. 그래서 큰 변 8, 작은 변 6이야. 8² + 6² = 64 + 36 = 100, 딱 맞지! (게다가 6, 8, 10은 피타고라스 수야. 😎)

엄밀히 말하면 이건 x² = 64처럼 일차항이 없는 '순수 이차방정식'이라서 정사각형 완성까지 갈 필요는 없었어. 하지만 제곱과 제곱근을 다루는 문제를 체계적으로 풀었다는 점에서 이차방정식 역사의 한 페이지로 자주 소개돼.

5. 고대 그리스: 자와 컴퍼스로 푸는 방정식 📐

그리스 수학은 분위기가 확 달라. 그리스 수학자들, 특히 유클리드 전통에서는 수를 직접 계산하기보다 선분과 넓이로 생각했어. 루트 2 같은 무리수를 '수'로 다루기보다는 "정사각형의 대각선"이라는 선분으로 다루면 깔끔했거든.

유클리드 『원론』 2권과 6권

기원전 300년경 유클리드가 정리한 『원론』 제2권에는 대수적 항등식을 도형으로 설명하는 명제들이 들어 있어. 예를 들어 제2권 명제 5는 현대식으로 쓰면 다음 항등식과 대응돼.

"선분을 똑같은 부분과 다른 부분으로 나누면, 다른 부분들로 만든 직사각형에 두 분할점 사이의 정사각형을 더한 것은 절반의 정사각형과 같다"는 식의, 지금 보면 머리 아픈 문장이야. 😵 하지만 이 명제를 이용하면 "합과 곱이 주어진 두 선분"을 작도할 수 있고, 이건 바로 이차방정식 풀이에 해당해. 명제 6도 비슷한 역할을 하고. 그리고 제2권 명제 11은 선분을 황금비로 나누는 작도인데, 현대식으로 하면 x² + ax = a²을 푸는 것과 같아.

『원론』 제6권 명제 28, 29는 '넓이의 적용(application of areas)'이라 불리는 문제를 다뤄. 주어진 선분 위에 주어진 넓이의 평행사변형을 '모자라게' 또는 '넘치게' 붙이는 작도인데, 이게 이차방정식의 기하학적 해법에 해당해. 재밌는 사실은 이 '모자람(elleipsis)', '넘침(hyperbolē)', '딱 맞음(parabolē)'이라는 그리스 용어가 나중에 아폴로니오스의 원뿔곡선 이름인 타원(ellipse), 쌍곡선(hyperbola), 포물선(parabola)의 어원이 됐다는 거야. 이차방정식과 원뿔곡선이 이름부터 친척인 셈!

디오판토스: 기호를 향한 첫걸음

3세기경(정확한 연대는 불확실) 알렉산드리아의 디오판토스는 『산수론(Arithmetica)』에서 그리스 전통과는 조금 다른 길을 걸었어. 도형 대신 수를 직접 다뤘고, 미지수와 그 거듭제곱에 대한 약어 기호를 사용했어. 이런 표기를 학자들은 '생략형 대수(syncopated algebra)'라고 불러. 완전한 기호 대수(symbolic)는 아니지만 순수한 문장형(rhetorical)에서 한 걸음 나아간 단계지.

디오판토스도 이차방정식을 풀었지만 답으로 양의 유리수만 인정했고, 두 근이 다 양수인 경우에도 보통 하나만 제시했어. 그래도 '기호로 방정식을 다룬다'는 발상은 훗날 대수학 발전의 중요한 씨앗이 됐어. 그래서 디오판토스를 "대수학의 아버지"라고 부르는 사람도 있고, 그 칭호는 알콰리즈미에게 줘야 한다는 사람도 있어. 이 '아버지 논쟁'은 뒤에서 정리해 줄게. 😉

6. 중국: 『구장산술』의 성벽 문제 🏯

동쪽으로 눈을 돌려 보자. 중국의 고전 수학서 『구장산술(九章算術)』은 대략 기원전 1세기~기원후 1세기 무렵 오늘날의 형태로 정리됐다고 보는 책이야(3세기 유휘(劉徽)의 주석으로 유명하지). 이 책의 마지막 장 '구고(句股)' 편, 즉 직각삼각형 장에는 이차방정식으로 이어지는 문제가 나와.

대표적인 게 정사각형 성읍 문제야. 크기를 모르는 정사각형 성이 있고, 북문에서 20보 나간 곳에 나무가 있고, 남문에서 14보 나간 뒤 서쪽으로 1775보 걸어가면 그 나무가 보인다는 설정이야. 닮은 삼각형을 이용해 식을 세우면 현대식으로

이 되고, 답은 성 한 변 x = 250보야. 검산: 250² + 34 × 250 = 62500 + 8500 = 71000 ✔. 중국 수학에서는 산가지(算木)를 계산판 위에 늘어놓고 제곱근을 구하는 개방술(開方術)을 확장해서 이런 방정식을 수치적으로 풀었어. 이 전통은 훗날 송·원 시대에 고차방정식까지 수치적으로 푸는 방법으로 발전해. 한국의 조선 산학에서도 이런 중국 산학서들을 공부했지.

7. 인도: 음수를 받아들인 수학자들 🪷

이제 근의 공식이 '일반 규칙'의 얼굴을 갖추기 시작하는 곳, 인도로 가보자.

브라마굽타 (598~668년경)

628년, 인도 수학자 브라마굽타는 『브라마스푸타싯단타(Brāhmasphuṭasiddhānta)』를 썼어. 이 책은 수학사에서 엄청 중요한데, 이유가 두 가지야.

주목할 점! 바빌로니아는 "이 숫자 문제를 이렇게 푼다"였다면, 브라마굽타는 "어떤 계수든 이렇게 하라"는 일반 규칙을 언어로 제시했다는 거야. 기호 대신 문장이었을 뿐, 사실상 근의 공식의 '문장 버전'이지. 다만 그는 주로 양의 근 하나를 제시했어.

슈리다라와 바스카라 2세

앞에서 소개한 "양변에 4a를 곱하고 b²을 더하라"는 슈리다라의 규칙은 인도 수학의 우아함을 보여주는 대표 사례야(슈리다라의 활동 연대는 8~9세기 또는 그 이후로 학자마다 추정이 갈려). 시간 순서상 알콰리즈미 이후지만 이야기 흐름상 덧붙이면, 12세기의 바스카라 2세는 『비자가니타(Bījagaṇita)』에서 이차방정식이 두 개의 근을 가질 수 있음을 명시적으로 다뤘어. 하지만 그는 음수 근에 대해서는 "사람들이 음의 값을 승인하지 않는다"며 문제 상황에 맞지 않으면 버렸다고 해. 개념은 알았지만 현실 문제에서는 신중했던 거지.

그리고 인도 수학이 남긴 결정적 선물이 하나 더 있어. 바로 0을 포함한 10진 위치기수법. 이게 아랍 세계로 건너가고, 알콰리즈미가 이걸 다룬 책을 쓰고, 그게 다시 유럽으로 가면서 우리가 지금 쓰는 '아라비아 숫자'가 돼. 이 연결고리가 다음 주인공으로 이어져.

8. 드디어 알콰리즈미: '대수학'이라는 이름의 탄생 🌙

9세기 초, 바그다드. 압바스 왕조의 칼리프 알마문(재위 813~833) 시절, 바그다드에는 '지혜의 집(바이트 알히크마)'으로 알려진 학문 중심지가 번성했어. 그리스·페르시아·인도의 문헌이 아랍어로 대거 번역되던, 그야말로 '학문의 용광로'였지. 여기서 활동한 학자가 바로 무함마드 이븐 무사 알콰리즈미(약 780~850년경)야. 이름의 '알콰리즈미'는 '콰리즘(호라즘, 지금의 우즈베키스탄·투르크메니스탄 일대) 출신'이라는 뜻으로 해석돼.

책 제목이 곧 학문 이름이 되다

그가 820년경 쓴 책의 제목은 『복원과 대비에 의한 계산 요약서(al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala)』야. 여기 나오는 '알자브르(al-jabr)'가 라틴어를 거쳐 영어 algebra(대수학)가 됐어. 책 제목 속 단어 하나가 수학의 한 분야 이름이 된 거지. 이 정도면 네이밍 센스 레전드. 🏆

그리고 알콰리즈미의 이름 자체도 단어가 됐어. 그가 인도식 숫자 계산법을 다룬 다른 책은 아랍어 원본이 전해지지 않고 라틴어 번역본으로 남았는데, 그 라틴어 판이 "Dixit Algorizmi(알고리즈미가 말하기를)"로 시작해. 여기서 algorism → algorithm(알고리즘)이 나왔어. 그러니까 우리가 매일 듣는 '유튜브 알고리즘', '추천 알고리즘'이라는 말의 뿌리가 바로 이분 이름이야. 9세기 수학자가 21세기 IT 용어의 대부가 될 줄 누가 알았겠어? 💻

세 가지 재료: 제곱, 뿌리, 수

알콰리즈미의 대수학은 완전히 문장으로 쓰였어. 기호는 물론이고 숫자조차 단어로 적는 경우가 많았지. 그가 쓴 기본 재료는 세 가지야.

'지드르'가 식물의 '뿌리'라는 뜻이고, 이게 라틴어 radix(뿌리)로 번역되면서 영어 root, 그리고 한자어 '근(根)'까지 이어져. 우리가 '근의 공식'이라고 부를 때 그 '근'이 1,200년 전 바그다드의 '뿌리'에서 온 거야. 미지수 자체는 '샤이(shayʾ, 사물·어떤 것)'라고도 불렀어. "어떤 것을 구하라"는 느낌이지.

방정식을 여섯 가지로 분류하다

알콰리즈미 시대엔 음수도, 0을 계수로 쓰는 발상도 받아들여지지 않았어. 그래서 "ax² + bx + c = 0" 같은 하나의 통일된 식을 쓸 수 없었고, 모든 항이 양수가 되도록 배치하다 보니 방정식이 여러 유형으로 쪼개졌어. 그는 이걸 여섯 가지 유형으로 정리했어.

여기서 유형 1의 x² = 5x는 현대 기준으론 x = 0도 근이지만, 0을 해로 인정하지 않았기 때문에 답은 5 하나야. 유형 5가 특히 재밌는데, 알콰리즈미는 이 유형에서 두 개의 양의 근이 나올 수 있음을 분명히 인식했어. x² + 21 = 10x에서 "10의 절반 5를 제곱하면 25, 21을 빼면 4, 그 제곱근은 2. 5에서 2를 빼면 3, 5에 2를 더하면 7"이라고 설명하고, 둘 다 답이 될 수 있다고 했지. 게다가 (b/2)²이 c보다 작으면, 즉 현대식으로 판별식이 음수인 경우에는 "그 문제는 불가능하다"고 명시했어. 판별식 개념의 아주 이른 형태라고 볼 수 있어!

그 유명한 x² + 10x = 39

알콰리즈미 책에서 가장 유명한 예제는 단연 이거야. 원문 느낌을 살려 옮기면 이렇게 돼.

와, 바빌로니아 점토판이랑 순서가 똑같지? 절반 → 제곱 → 더하기 → 제곱근 → 빼기. 약 2,500년의 시간차가 있는데도 레시피가 거의 일치해. 다만 알콰리즈미는 여기서 한 걸음 더 나아갔어. 바로 "왜 이 절차가 맞는지"를 그림으로 증명한 거야.

알콰리즈미의 기하학적 증명 ①: 네 개의 직사각형

첫 번째 증명은 x² 정사각형의 네 변에 각각 직사각형을 붙이는 방식이야. 10x를 4등분하면 각 직사각형은 x × 10/4, 즉 x × 2.5 크기가 돼.

정리해 보면 이래.

알콰리즈미의 기하학적 증명 ②: 두 개의 직사각형

두 번째 증명은 글 맨 위의 대표 그림이야. 10x를 둘로 쪼개 5x 직사각형 두 개를 x² 정사각형의 오른쪽과 아래에 붙여. 그러면 빈 귀퉁이 하나가 5 × 5 = 25가 되고, 똑같이 39 + 25 = 64, 한 변 8, x = 3이 나오지. 첫 번째보다 간결해서 현대 교과서에서 정사각형 완성을 설명할 때 이 그림을 많이 써.

참고로 알콰리즈미의 책은 이론서이면서 동시에 실용서였어. 책 뒷부분은 상속 분배, 측량, 상거래 계산 같은 실제 문제로 가득해. 이슬람 상속법은 상속인별 몫 계산이 꽤 복잡했거든. 서문에서도 사람들이 상속, 유언, 분할, 소송, 거래 등에 필요한 계산을 쉽게 하도록 이 책을 썼다는 취지로 밝히고 있어. 수학이 일상의 문제 해결 도구였던 거지. 요즘으로 치면 재능넷에서 누군가 실생활 문제를 해결해 주는 전문 재능을 나누는 것처럼, 알콰리즈미도 자기 수학 재능으로 사람들의 실제 고민을 풀어준 셈이야.

9. 알콰리즈미 이후: 문장에서 기호로 ✒️

알콰리즈미가 체계를 세운 뒤, 근의 공식은 오늘날의 모습으로 가기 위해 몇 단계를 더 거쳐야 했어. 시간 순으로 훑어볼게.

아부 카밀과 이슬람 대수학의 성장

이집트 출신 수학자 아부 카밀(Abū Kāmil, 약 850~930년경)은 알콰리즈미의 체계를 이어받아 더 복잡한 문제, 예를 들어 계수에 무리수가 들어간 방정식까지 거침없이 다뤘어. 그의 책은 훗날 피보나치에게도 영향을 준 것으로 평가돼. 11~12세기의 시인이자 수학자 오마르 하이얌은 한 걸음 더 나아가 삼차방정식을 원뿔곡선의 교점으로 기하학적으로 풀었어. 이차방정식을 넘어서는 도전이 이미 시작된 거지.

유럽 상륙과 기호의 탄생

12세기 스페인 톨레도 등지에서 아랍어 문헌이 라틴어로 번역되면서 알콰리즈미의 대수학이 유럽에 들어왔어. 1202년 피보나치의 『산반서』는 상인들 사이에서 인도-아라비아 숫자를 퍼뜨리는 데 큰 역할을 했지.

그런데 유럽에서도 한동안은 여전히 문장형 대수였어. 전환점은 16세기 말 프랑스의 프랑수아 비에트야. 그는 미지수뿐만 아니라 주어진 계수까지 문자로 쓰는 혁신을 했어. 이게 왜 중요하냐면, 계수를 문자로 쓸 수 있어야 비로소 "모든 이차방정식에 대한 하나의 공식"을 기호로 적을 수 있거든. 숫자 예제 열 개를 보여주는 대신, a, b, c 한 줄로 끝내는 거지.

그리고 1637년 르네 데카르트가 『기하학』에서 알파벳 앞쪽 글자(a, b, c)는 아는 수, 뒤쪽 글자(x, y, z)는 모르는 수로 쓰는 관례와 x² 같은 지수 표기를 정착시켰어. 데카르트는 이 책에서 z² = az + b² 같은 방정식의 해를 작도와 함께 제시했는데, 형태는 오늘날 근의 공식과 아주 가까워. 그 뒤 기호 표기가 점점 다듬어지면서 우리가 아는 x = (−b ± √(b² − 4ac)) / 2a 꼴이 교과서의 표준이 됐어.

10. 판별식: 공식 속의 예언자 🔮

근의 공식에서 루트 안의 값 D = b² − 4ac는 근을 직접 구하지 않고도 근의 개수와 성질을 미리 알려줘. 그래서 '판별식'이라고 불러. 이차함수 y = ax² + bx + c의 그래프, 즉 포물선이 x축과 몇 번 만나는지와 정확히 대응돼.

알콰리즈미가 유형 5에서 "(10의 절반의 제곱)이 21보다 작으면 문제는 불가능하다"고 쓴 게 바로 D < 0 상황이야. 그 '불가능'이 16세기 이탈리아에서 삼차방정식 연구를 거치며 허수의 문을 열었고, 결국 "실수에선 불가능하지만 복소수에선 가능하다"로 바뀌었어. 그리고 '모든 n차 다항방정식은 복소수 범위에서 근을 가진다'는 대수학의 기본정리로까지 이어지지. 근의 공식 한 줄이 수학의 큰 무대로 가는 입구였던 셈이야.

11. 실전에서 써먹는 근의 공식 꿀팁 🍯

짝수 공식: b가 짝수일 때

b = 2b′ 라고 놓으면 공식이 더 간단해져.

예를 들어 x² − 6x + 4 = 0이면 b′ = −3이니까 x = 3 ± √(9 − 4) = 3 ± √5. 원래 공식으로 계산하면 (6 ± √20)/2를 약분해야 하는데, 짝수 공식은 바로 끝나. 시험 시간 아끼는 효자 공식이야. 이때 판별식도 D/4 = b′² − ac로 쓰면 편해.

예제로 근의 공식 실전 연습

이 예제에서 x = −2라는 음수 근이 나왔지? 알콰리즈미였다면 이 방정식을 "2x² + 3x = 2" 형태(유형 4)로 바꾸고, 양수 근 1/2만 답으로 인정했을 거야. 같은 방정식이라도 시대에 따라 '답'의 범위가 달랐던 거지.

컴퓨터는 근의 공식을 그대로 안 쓴다?

재밌는 기술 상식 하나. 컴퓨터의 부동소수점 계산에서는 b²이 4ac보다 훨씬 클 때, −b + √D 처럼 비슷한 크기의 두 수를 빼는 과정에서 유효숫자가 크게 날아가는 '자릿수 상쇄(catastrophic cancellation)'가 생길 수 있어. 그래서 수치해석에서는 먼저 부호가 같은 쪽으로 더해서 큰 근 하나를 정확하게 구하고, 나머지 근은 근과 계수의 관계(x₁x₂ = c/a)로 구하는 방식을 권장해.

import math

def solve_quadratic(a, b, c):
    D = b*b - 4*a*c
    if D < 0:
        return None  # 실근 없음
    # b의 부호와 같은 방향으로 더해 자릿수 상쇄를 피함
    q = -0.5 * (b + math.copysign(math.sqrt(D), b))
    x1 = q / a
    x2 = c / q if q != 0 else x1
    return x1, x2

print(solve_quadratic(1, 10, -39))  # (-13.0, 3.0)

마지막 줄을 봐. x² + 10x − 39 = 0, 알콰리즈미의 그 문제야! 컴퓨터는 3과 함께 −13도 내놓지. 알콰리즈미가 인정하지 않았던 음수 근까지 말이야. 1,200년 전 '알고리즘'의 어원이 된 사람의 문제를, 지금 우리가 진짜 알고리즘으로 풀고 있다니. 역사가 한 바퀴 돈 느낌이지? 🔁 이런 코딩·수학 지식은 재능넷 같은 플랫폼에서 과외나 튜터링 재능으로 나누기에도 아주 좋은 주제야.

12. 시대별 비교 한눈에 보기 🗺️

13. 궁금증 Q&A 🙋

마무리: 귀퉁이 하나를 채우는 4,000년의 상상력 🌟

정리해 보면, 근의 공식의 본질은 결국 "모자란 귀퉁이를 채워 완벽한 정사각형을 만드는 것"이었어. 바빌로니아 서기관은 진흙판 위에서, 유클리드는 모래 위 도형에서, 브라마굽타는 운율 있는 문장에서, 알콰리즈미는 바그다드의 책장 위에서 같은 귀퉁이를 채웠지. 그리고 비에트와 데카르트는 그 귀퉁이를 a, b, c라는 기호로 영원히 고정시켰고.

다음에 x = (−b ± √(b² − 4ac)) / 2a 를 쓸 일이 있으면, 그 한 줄 안에 진흙판의 쐐기 자국, 그리스의 컴퍼스 자국, 인도의 시구, 바그다드의 잉크 냄새가 다 담겨 있다는 걸 한 번쯤 떠올려 봐. 그냥 외우던 공식이 갑자기 꽤 멋있어 보일 거야. 😉