📌 들어가기 전에: 다들 한 번쯤 써먹었잖아요

고3 때, 아니면 대학 미적분학 1주차 때.
극한 문제 딱 봤는데 대입하니까 0/0 나옴.
그때 선생님이 씩 웃으면서 이러시죠.

이 로피탈(L'Hôpital)이라는 이름.
수학 좀 했다는 사람이면 99%가 알고 있는 이름인데요.

근데 팩트 하나 던지면...
이 정리, 로피탈이 발견한 게 아닙니다.

심지어 그냥 “남의 걸 베꼈다”도 아니고,
정식 계약서 쓰고, 돈 주고, 합법적으로 사들인 정리예요.
17세기 유럽에서 벌어진 실화 ㅋㅋㅋ 개충격이죠?

오늘은 이 정리의 수학적 내용과 역사적 진실을 동시에 털어봅니다.
사실 위주로, 근데 재밌게.

👤 등장인물 소개 (feat. 부자 귀족 vs 천재 흙수저)

1️⃣ 기욤 드 로피탈 후작 (1661~1704)

풀네임이 어마어마합니다.
Guillaume François Antoine, Marquis de l'Hôpital.
번역하면 “생트메슴 후작, 앙트르몽 백작” 뭐 이런 타이틀이 줄줄이 달린 프랑스 귀족이에요.

원래는 군인 집안이라 장교로 복무했는데,
시력이 심하게 나빠서 군을 떠나고 수학에 올인합니다.

여기서 중요한 포인트.
로피탈은 실력 없는 사람이 절대 아니었어요.
당대 파리 수학계에서 손꼽히는 실력자였고,
1699년엔 프랑스 과학 아카데미 명예회원까지 됩니다.

야코프 베르누이가 낸 현수선(catenary) 문제나
요한 베르누이가 낸 최단강하선(brachistochrone) 문제도
정답을 제출한 소수의 사람 중 하나였어요.
(브라키스토크론 정답자 라인업: 뉴턴, 라이프니츠, 야코프 베르누이, 요한 베르누이, 로피탈, 치른하우스... 이 정도면 레전드 급 ㅇㅈ)

2️⃣ 요한 베르누이 (1667~1748)

스위스 바젤의 전설의 수학 집안 베르누이家 출신.
형 야코프 베르누이랑 평생 싸운 걸로도 유명하고,
나중엔 오일러(Euler)를 길러낸 스승이 되는 인물입니다.

근데 1690년대 초, 이 사람은 20대 중반의 무명 청년이었어요.
실력은 괴물인데 돈도 직위도 없는 상태.

그리고 이 조합... 뭔가 각이 보이죠? ㅋㅋ
돈 있는 귀족 + 돈 없는 천재.

📜 1691년, 파리에서 만난 두 사람

1691년 가을, 요한 베르누이가 파리에 옵니다.
당시 파리엔 말브랑슈(Malebranche) 신부를 중심으로 한 수학 살롱이 있었는데,
거기서 베르누이가 라이프니츠식 미적분을 시전합니다.

결과는? 파리 수학계 멘붕 ㅋㅋㅋㅋ

지금이야 “미분? 그거 고2 때 배움” 이지만,
1691년 기준 미적분은 세계에서 몇 명만 다룰 줄 아는 초신기술이었어요.
라이프니츠가 1684년에 논문 하나 던져놨는데,
그게 너무 압축적으로 쓰여 있어서 아무도 제대로 못 읽던 시절.

이걸 술술 푸는 스위스 청년이 나타났으니, 그야말로 외계인 등판.

로피탈은 바로 캐치합니다.
“이거다. 이 사람한테 배워야 한다.”

그래서 베르누이에게 개인 과외를 부탁해요.
1691년 11월부터 약 4개월간, 파리에서 그리고 로피탈의 시골 저택 우크(Oucques)에서
집중 과외가 진행됩니다. 물론 유료로요.

💰 1694년, 그 유명한 “계약서”

과외가 끝나고 베르누이는 스위스로 돌아갑니다.
그 뒤로도 편지로 계속 수학을 주고받았는데,
1694년 3월 17일, 로피탈이 결정적인 편지를 보냅니다.

ㅋㅋㅋㅋㅋ 이거 완전 독점 계약이잖아요.
요즘으로 치면 “내가 월급 줄 테니까 니 연구 성과 전부 내 이름으로 쓰게 해줘” 급.

더 소름인 건, 로피탈이 편지에 이렇게 덧붙였다는 겁니다.

베르누이는 이걸 받아들입니다.
왜? 당시 그는 무직에 가까운 상태였고, 결혼도 했고, 돈이 필요했거든요.
300리브르면 당시 기준으로 꽤 쏠쏠한 금액이었어요.
(참고로 베르누이는 1695년에야 네덜란드 흐로닝언 대학 교수직을 얻습니다)

📚 1696년, 세계 최초의 미적분학 교과서

1696년, 파리에서 책 한 권이 나옵니다.
제목은 무려 이거.

이 책, 수학사적 의미가 진짜 큽니다.
인류 최초의 미분학 교과서거든요.

라이프니츠 논문은 너무 어려웠고, 뉴턴은 발표를 미루고 있었는데
이 책은 체계적으로 정리된 “교재” 형태로 나왔어요.
덕분에 유럽 전역에 미적분이 퍼집니다. 진짜 베스트셀러였어요.
1715년 2판, 이후로도 계속 재판됐고, 영어·라틴어로도 번역됩니다.

🔍 그럼 문제의 그 정리는 어디에?

책의 제9절(Section IX)에 등장합니다.
“분자와 분모가 동시에 0이 되는 분수의 값을 구하는 법” 파트요.

거기 실린 예제가 이건데... 보면 좀 웃겨요 ㅋㅋ

x → a 일 때

      √(2a³x − x⁴) − a·∛(a²x)
y = ──────────────────────────
        a − ⁴√(a³x)

분자: √(2a⁴−a⁴) − a·∛(a³) = a² − a² = 0
분모: a − a = 0   →  0/0 !

각각 미분해서 대입하면 ...  y = 16a/9

ㅋㅋㅋㅋ 요즘 교과서에 나오는 sin x / x 같은 귀여운 예제가 아니라
처음부터 하드코어 4제곱근·세제곱근 콤보로 시작함.
17세기 감성 무엇 ㅠㅠ

📖 서문에서 로피탈이 한 말

양심은 있었는지, 로피탈은 서문에 이렇게 씁니다.

...오케이 일단 언급은 했어요.
근데 문제는 이게 두루뭉실한 감사 인사 수준이라는 거죠.

“이 책의 핵심 내용 상당수는 내가 돈 주고 산 요한 베르누이의 연구 결과입니다”
라고는 절대 안 씀 ㅋㅋㅋ
심지어 계약의 존재 자체를 완전히 숨김.

그래서 독자들은 자연스럽게 생각하게 됩니다.
“아 저건 그냥 겸손한 말이고, 이 책은 로피탈이 쓴 거네~”
그리고 저 0/0 정리는 그대로 “로피탈의 정리”가 되어버립니다.

💥 1704년, 로피탈 사망 그리고 베르누이의 폭로

1704년 2월, 로피탈이 43세 나이로 사망합니다.
그러자 요한 베르누이가 드디어 입을 엽니다.

“그 책 내가 쓴 거임.”

계약 조항에 묶여 있던 침묵이 계약 상대방의 사망으로 풀린 거죠.
베르누이는 여기저기 편지를 뿌리며 저작권을 주장합니다.
1704년에는 자기가 쓴 적분학 교재를 언급하며,
“로피탈 책의 내용은 내 강의에서 나온 것”이라고 공개적으로 말해요.

😬 근데 아무도 안 믿어줌

이게 문제였어요. 당시 유럽 수학계의 반응은 싸늘했습니다.

특히 요한 베르누이는 “내가 먼저 했다” 병이 좀 있었어요 ㅋㅋ
형이랑도 싸우고, 아들이랑도 싸우고, 뉴턴 진영이랑도 싸우고.
그러니 사람들이 “또 시작이네~” 하고 넘긴 거죠.

결국 베르누이는 1748년 사망할 때까지
이 정리에 자기 이름을 붙이는 데 실패합니다. 슬픔...

🔓 1922년, 마침내 드러난 물증

반전은 무려 218년 뒤에 옵니다.

1921년, 스위스 바젤 대학 도서관에서
그 실종됐던 미분학 강의노트(Lectiones de calculo differentialium)의 사본이 발견돼요.
그리고 1922년, 수학사가 오토 슈피스(Otto Spiess)에 의해 공개·출판됩니다.

그 내용물을 펼쳤더니...

ㅇㅇ 빼박입니다.
로피탈의 책이 나오기 4~5년 전에 이미 베르누이 노트에 있었던 것.

그래서 오늘날 수학사학계의 공식 결론은 이렇습니다.

그래서 요즘 일부 교재, 특히 유럽 쪽에서는 이 정리를
“베르누이–로피탈 정리(Bernoulli–l'Hôpital rule)”라고 표기하기도 해요.
독일어권·러시아권 문헌에서 특히 자주 보입니다.

✍️ 잠깐, 철자 왜 L'Hospital이랑 L'Hôpital 두 개임?

이것도 은근 많이 헷갈려하는 부분인데요.

17세기 프랑스어에선 L'Hospital로 썼습니다.
근데 프랑스어는 이후 철자 개혁을 거치면서
묵음 s가 사라지고 앞 모음에 곡절 악센트(^)가 붙게 돼요.

그래서 둘 다 맞습니다.
본인 서명은 L'Hospital이었고, 현대 표기는 L'Hôpital.
영어권 교과서에서 “L'Hospital's rule”이라고 써도 오타 아님 ㅇㅇ
발음은 둘 다 “로피탈”. s 안 읽어요.

🧠 그래서 정리 내용이 정확히 뭔데?

역사 얘기만 하면 섭섭하니까 수학도 제대로 짚고 갑시다.
이 카테고리가 ‘방정식·정리·공식’이니까요 ㅋㅋ

📐 현대적 서술 (0/0 꼴)

📐 ∞/∞ 꼴도 됩니다

(1)을 “lim |g(x)| = ∞”로 바꿔도 결론은 똑같이 성립해요.
재밌는 건 이 경우 분자가 ∞로 안 가도 됩니다. 분모만 발산하면 OK.
이건 로피탈 책엔 없었고, 19세기 이후에 확장된 버전입니다.

🔧 증명의 열쇠 : 코시의 평균값 정리

로피탈 책에는 엄밀한 증명이 없습니다. 있을 수가 없어요.
그 시절엔 극한의 엄밀한 정의(ε-δ) 자체가 없었거든요.
“무한히 작은 양(무한소)”이라는 직관적 개념으로 다뤘죠.

엄밀한 증명은 오귀스탱 루이 코시가 1823년경
《Résumé des leçons... sur le calcul infinitésimal》에서 정리합니다.
그 도구가 바로 코시의 평균값 정리예요.

[코시 MVT]
f, g가 [a,b]에서 연속, (a,b)에서 미분가능, g'≠0 이면
어떤 c ∈ (a,b) 가 존재하여

   f(b) − f(a)      f'(c)
  ───────────── =  ──────
   g(b) − g(a)      g'(c)

여기에 f(a)=g(a)=0 을 대입하면

   f(b)     f'(c)
  ────── = ──────      (a < c < b)
   g(b)     g'(c)

b → a 로 보내면 c도 끼여서 a로 감 (샌드위치!)
→ 로피탈의 정리 완성

그래서 정확히 말하면 이 정리는
“베르누이가 발견 → 로피탈이 출판 → 코시가 증명” 3단 합작품입니다 ㅋㅋ

🎭 부정형 7형제, 모두 소개합니다

로피탈이 직접 쓸 수 있는 건 0/0과 ∞/∞ 딱 두 개.
나머지는 변형해서 이 두 개로 끌고 와야 합니다.

⚠️ “서술형엔 쓰지 마라”의 진짜 이유

여기가 진짜 중요합니다. 시험에서 로피탈 조심하라는 건 괜히 하는 말이 아니에요.

❌ 함정 1 : 순환논법 (가장 유명)

lim(x→0) sin x / x = ?

"0/0이니까 로피탈!"
= lim cos x / 1 = 1 ✅ 답은 맞음

근데... (sin x)' = cos x 라는 사실은
애초에 lim(x→0) sin x / x = 1 을 써서 증명한 거임 ㅋㅋㅋ

즉 증명하려는 걸 증명에 갖다 쓴 상황.
답은 맞는데 논리가 뱀이 제 꼬리 무는 꼴이에요 🐍
그래서 “답 맞았는데 왜 감점?” 사태가 벌어지는 겁니다.

같은 이유로 조심할 것들:
lim (e^x−1)/x, lim (ln(1+x))/x, lim (a^x−1)/x 등등.
이것들은 대부분 미분 정의 그 자체거나 거기서 파생된 기본극한이에요.

❌ 함정 2 : 역은 성립하지 않는다

“f'/g'의 극한이 없으면 f/g의 극한도 없다”
👉 완전히 틀린 말입니다.

lim(x→∞) (x + sin x) / x

원래 식: 1 + (sin x)/x → 1  ✅ 극한 존재

로피탈 시전: (1 + cos x) / 1 = 1 + cos x
→ 진동해서 극한 없음 ❌

ㅋㅋㅋㅋ 로피탈 쓰면 “극한 없음”처럼 보이는데 실제론 1입니다.
정리의 조건이 “f'/g'의 극한이 존재하면” 이라는 걸 잊지 마세요.
단방향 화살표입니다.

❌ 함정 3 : 부정형인지 확인 안 함

lim(x→0) (x + 2) / (x + 1)

그냥 대입하면 2/1 = 2  ✅

근데 습관적으로 로피탈 시전하면
1/1 = 1  ❌ 완전 오답

이거 시험에서 진짜 많이 나오는 실수예요.
반드시 0/0 또는 ∞/∞인지 먼저 확인!

❌ 함정 4 : 무한 루프

lim(x→∞) √(x²+1) / x   ← ∞/∞

로피탈 1번: x/√(x²+1)   ← 또 ∞/∞
로피탈 2번: √(x²+1)/x   ← 어? 원점 회귀 ㅋㅋ
로피탈 3번: ...무한 도돌이표 🔁

정답은 그냥 x로 나누면 끝: √(1+1/x²) → 1

로피탈은 만능키가 아닙니다.
때로는 인수분해, 유리화, 치환, 테일러 급수가 훨씬 빠르고 안전해요.

🧩 로피탈의 사촌: 슈톨츠–체사로 정리

재밌는 사실 하나 더.
수열(이산) 버전 로피탈이 존재합니다.

구조 보이시죠? 미분 → 차분(difference)으로 바뀐 것뿐이에요.
로피탈이 “순간변화율의 비”라면, 슈톨츠–체사로는 “증분의 비”.
수열 극한 문제에서 은근 꿀템입니다.

🤔 그래서, 로피탈은 나쁜 사람일까?

이건 생각보다 복잡한 문제예요. 양쪽 다 봅시다.

🙅 비판 측

· 계약으로 타인의 침묵을 돈으로 샀다
· 서문의 언급이 지나치게 모호했다
· “내 발견을 남에게 알리지 말라”는 조항은 학문의 공유 정신에 정면 위배
· 결과적으로 베르누이는 생전에 정당한 크레딧을 못 받았다

🙆 옹호 측

· 17세기엔 ‘저자권·인용 규범’ 개념이 지금과 완전히 달랐다
  (후원자–피후원자 관계에서 성과가 후원자 이름으로 나가는 게 흔했음)
· 베르누이는 자발적으로, 돈을 받고 동의했다
· 로피탈이 책을 안 냈으면 미적분 보급이 수십 년 늦어졌을 수도 있다
· 책의 구성·서술·예제 정리·교육적 편집은 로피탈의 실제 노동이다
· 로피탈 본인도 상당한 실력자였다 (브라키스토크론 정답자)

현대 학계 기준으로는 명백한 부적절 사례입니다.
지금 이랬으면 연구윤리위원회 직행 ㅋㅋㅋ
근데 동시에, 이 책이 미적분 대중화에 기여한 공은 누구도 부정 안 해요.

🏷️ 수학계 “이름 잘못 붙은 정리” 모음전

사실 로피탈만 그런 게 아니에요.
수학사엔 이런 사례가 진짜 많습니다.

이런 현상을 부르는 이름도 있어요.
스티글러의 명명 법칙(Stigler's law of eponymy):
“어떤 과학적 발견도 최초 발견자의 이름을 따지 않는다.”

그리고 이 법칙조차 스티글러가 처음 말한 게 아니라
사회학자 로버트 머튼의 아이디어라고 스티글러 본인이 인정함 ㅋㅋㅋㅋ
법칙이 자기 자신에게 적용되는 완벽한 셀프 인증 😂

📝 마지막 정리 : 세 줄 요약

이 이야기가 주는 교훈이 하나 있어요.

지식은 결국 “공유되고 기록된 쪽”이 이깁니다.

베르누이는 먼저 알았지만 계약에 묶여 침묵했고,
로피탈은 그걸 정리해서 세상에 내놓았습니다.
그래서 300년 동안 이름이 붙은 쪽은 후자였죠.

씁쓸하지만, 동시에 지식 공유가 얼마나 큰 힘인지 보여주는 사례이기도 해요.
요즘은 다행히 시대가 바뀌었습니다.
누구나 자기가 아는 걸 정당하게 이름 붙여 나눌 수 있는 환경이 생겼으니까요.

실제로 재능넷의 ‘지식인의 숲’ 같은 공간을 보면,
수학·과학·코딩·디자인 등 각자의 전문 지식을 자기 이름 걸고 풀어놓는 사람들이 많죠.
17세기 베르누이가 이런 플랫폼을 봤다면 아마 오열했을 듯 ㅋㅋㅋ
“내가 쓴 건데!!” 하면서 편지 뿌릴 필요 없이 그냥 업로드하면 되니까요.

오늘은 여기까지.
미분 한 번으로 극한을 부수는 이 강력한 도구가,
알고 보니 연봉 300리브르에 팔린 계약의 산물이었다는 거.

수학 공식 하나에도 이렇게 드라마가 숨어 있다는 게
수학사의 진짜 매력 아닐까요? 🧮✨