오늘의 질문정의로 돌아가기
왜 0으로 나눌 수 없을까?
6 ÷ 2 = 3 은 "3을 몇 번 더하면 6이 될까"를 묻습니다. 그렇다면 6 ÷ 0 은 무엇을 묻는 걸까요? 정의로 되돌아가면 답이 보입니다.
증명으로 연결되는 수학의 모든 지식수학은 외우는 것이 아니라,
수학은 외우는 것이 아니라,
생각의 숲을 탐험하는 것
수천 개의 개념이 하나의 숲처럼 연결되어 있습니다. "왜?"라는 질문에서 출발해, 증명을 따라 걷고, 새로운 길을 발견하세요.
질문
생각
증명
정리
응용
새로운 질문
오늘의 숲
매일 새로운 질문과 증명이 숲에 피어납니다.
오늘의 증명기하 증명
피타고라스 정리 — 넓이로 증명하기
한 변이 (a+b)인 정사각형을 두 가지 방법으로 계산하면, 신비롭게도 a² + b² = c² 가 모습을 드러냅니다.
오늘의 수학자연결의 대가
레온하르트 오일러 (1707–1783)
눈이 멀어가면서도 e^{iπ} + 1 = 0 을 남겼습니다. 다섯 개의 가장 중요한 수를 하나의 식으로 연결한 사람.
오늘의 미해결 문제160년째 미해결
리만 가설
소수는 아무렇게나 흩어져 있는 걸까요? 제타 함수의 영점이 모두 한 직선 위에 있다면, 소수의 비밀이 풀립니다.
오늘의 발견공식의 탄생
미분은 어떻게 태어났을까
"움직이는 순간의 속도"라는 불가능해 보이는 질문에서 미분이 탄생했습니다. 뉴턴과 라이프니츠가 각자 도달한 길.
나의 학습 숲
새싹에서 지혜의 숲까지, 한 그루씩 자라나는 나만의 나무.
- 새싹유치원모양개수규칙비교패턴
AI가 "왜 그럴까?"를 계속 질문합니다.
탐험도100% - 어린나무초등덧셈뺄셈곱셈나눗셈분수도형
여기서부터 작은 증명이 시작됩니다. 왜 2+3=3+2 일까?
탐험도74% - 성장나무중학교함수방정식피타고라스삼각형
증명이 본격적으로 등장합니다.
탐험도41% - 큰나무고등학교미분적분확률수열
증명을 직접 따라가 봅니다.
탐험도12% - 거목대학교선형대수해석학위상수학군론
추상적인 구조의 세계로 들어갑니다.
탐험도0% - 지혜의 숲연구자논문미해결 문제최신 연구
아직 아무도 걷지 않은 길을 발견합니다.
탐험도0%
숲을 걷는 방법
문제은행이 아니라 지식은행. 탐험할 수 있는 여덟 개의 길.
수학의 지도
자연수 → 소수 → 정수론까지, 개념이 어떻게 이어지는지 지도처럼 탐험합니다.
지도 열기 →증명의 나무
하나의 정리를 정의 → 보조정리 → 여러 갈래의 증명으로 따라갑니다.
증명 라이브러리
피타고라스 정리의 유클리드·가필드·벡터·닮음 증명을 나란히 비교합니다.
AI 증명 선생님
답을 바로 주지 않고, 한 단계씩 힌트로 스스로 증명하도록 이끕니다.
대화 시작 →증명의 역사
유클리드에서 괴델까지, 시대마다 등장한 증명을 연대표로 만납니다.
공식의 탄생
왜 만들어졌고, 누가, 어떻게 증명했으며, 오늘 어디에 쓰이는지 추적합니다.
생각의 숲
틀린 문제에서 사고 과정을 시각화해, 부족한 연결고리를 AI가 찾아줍니다.
AI 학습 분석
"공식은 외웠지만 증명은 이해하지 못했어요." — 이해의 빈틈을 짚어줍니다.
숲을 만든 사람들
각 수학자의 발견과 증명이 서로 연결되어 오늘의 숲이 되었습니다.
- 유클리드기원전 300년경기하학의 아버지
- 아르키메데스기원전 287–212적분의 씨앗
- 뉴턴1643–1727미적분·운동
- 오일러1707–1783해석·정수론
- 가우스1777–1855수학의 왕
- 리만1826–1866기하·해석
- 힐베르트1862–194323개의 문제
- 괴델1906–1978불완전성
- 라마누잔1887–1920직관의 천재
- 테렌스 타오1975–현대의 모차르트