기하 증명 계산기

기하학적 증명은 정의, 공리, 그리고 이전에 증명된 정리들을 사용하여 명제의 진위를 단계적으로 입증하는 논리적 추론입니다. 기하 증명 계산기는 '주어진 조건'과 '증명할 명제'를 입력받아 적용 가능한 공리와 정리를 사용하여 완전한 두 열 증명(단계, 이유, 단계, 이유)을 생성합니다. 이 튜토리얼에서는 두 열 증명의 구조, 유효한 이유의 기준, 그리고 기하학에서 가장 흔히 마주치는 증명 유형들을 설명합니다.

두 열 증명 형식

고등학교 기하학 증명의 전통적인 형식은 두 개의 열로 구성됩니다:

모든 단계는 오른쪽 열에 이유가 명시되어야 합니다. 허용되는 이유들:

• 주어진 조건 (Given) — 문제에서 명시된 내용
• 정의 (Definition) — 용어의 정의에 근거함 (예: "중점의 정의")
• 공리 (Postulate) — 증명이 필요 없는 근본적인 가정 (예: SSS 공리)
• 정리 (Theorem) — 이전에 증명된 명제 (예: "수직각 정리")
• 성질 (Property) — 대수적 성질 (반사, 대칭, 전이, 치환, 분배 성질 등)
• CPCTC — 합동인 삼각형의 대응하는 부분들은 합동이다 (두 삼각형의 합동을 증명한 후 사용)

계산기의 작동 원리

내부적으로는 수천 건의 기하 증명으로 학습된 대규모 언어 모델을 사용합니다. 사용자는 다음을 제공해야 합니다:

1. 주어진 조건 (Given): 시작하는 조건. 예: "AB = CD, BC = DE, ABCD는 사각형".
2. 증명할 명제 (To Prove): 입증하려는 문장. 예: "△ABE ≅ △CDE".
3. 선택 사항: 도형 사진. AI 비전 시스템은 도형과 인쇄된 레이블 모두를 인식할 수 있습니다.

AI는 다음과 같이 처리합니다:

1. 주어진 조건과 목표를 구문 분석합니다.
2. 그들을 연결하는 정리들을 식별합니다.
3. 각 이유를 인용하며 단계들의 사슬을 구축합니다.
4. 요청 시 두 열 형식(또는 단락 형식)으로 증명을 출력합니다.

표준 증명 유형

대부분의 초급 기하학 증명은 다음 카테고리 중 하나에 속합니다:

1. 삼각형 합동 증명

5가지 합동 공리(SSS, SAS, ASA, AAS, HL) 중 하나를 사용하여 두 삼각형이 합동임을 증명합니다. 그런 다음 CPCTC를 사용하여 특정 대응 부분들의 등식을 도출합니다.

일반적인 구조: 공통 요소(반사 변, 수직각, 엇각)를 식별하고, 일치시킨 후, 공리를 적용하여 합동을 결론짓습니다.

2. 삼각형 닮음 증명

3가지 닮음 공리(AA, SSS-n, SAS-n) 중 하나를 사용하여 두 삼각형이 닮았음을 보입니다. 그런 다음 대응변의 비례성을 사용하여 특정 비율을 도출합니다.

3. 평행선 각 증명

동일각, 엇각, 동측 내각의 합이 180도임 등을 보여 두 선이 평행함을 확립합니다. 또는 이미 평행한 선들을 사용하여 각의 등식을 도출합니다.

4. 사각형 분류 증명

평행사변형, 마름모, 직사각형, 정사각형, 사다리꼴, 또는 이등변 사다리꼴임을 정의된 성질을 통해 보여줍니다.

예: "ABCD가 평행사변형임을 증명하시오." 전략: 두 쌍의 대변이 각각 평행하거나, 두 쌍의 대변이 각각 길이가 같거나, 두 쌍의 대각이 각각 크기가 같거나, 대각선이 서로를 이등분함을 보이는 것 중 하나만 충족하면 충분합니다.

5. 원 관련 정리 증명

원주각 정리, 접선의 성질, 현과 호의 관계, 원에 내접하는 사각형의 각 정리 등.

6. 선분 및 각 증명

이등분선, 중점, 수직선, 각의 덧셈/뺄셈. 종종 기하학적 성질과 함께 대수적 성질(치환, 전이 등)을 사용합니다.

증명이 "엄격하다"는 것은 무엇인가?

모든 단계가 이전에 확립된 명제로 정당화될 때 증명은 엄격합니다. 직관적인 도약이나 "자명하게 참이다"라는 주장은 허용되지 않습니다. 표준 고등학교 기하학 채점 기준은 다음을 요구합니다:

• 각 단계에 번호가 매겨져 있음.
• 각 단계가 명칭으로 정당화됨 (예: "자명함"이 아닌 "수직각 정리").
• 논리적 진행 — 각 단계가 인용된 정리/성질을 통해 이전 단계들로부터 따옴.
• 마지막 단계가 "증명할 명제"와 정확히 일치함.

실제 예제

주어진 조건: AB ∥ CD; AB = CD.
증명할 명제: △ABE ≅ △CDE (여기서 E는 대각선 AC와 BD의 교점).

이 증명은 5줄로 구성되어 있으며, 각 줄이 정당화되어 주어진 조건에서 결론으로 이어집니다.

손으로 증명을 작성할 때의 팁

• 주어진 조건으로 시작하여 목표로 끝내십시오. 첫 번째 단계가 "주어진 조건"을 인용하고 마지막 단계가 "증명할 명제"와 정확히 일치하는지 확인하십시오.
• 공통 요소를 일찍 식별하십시오. 공통 변이나 공통 각(반사)은 종종 증명의 두 부분을 연결하는 무료 단계입니다.
• 평행선을 찾으십시오. 평행선 정리를 통해 각의 등식을 "무료"로 많이 얻을 수 있습니다.
• 단계를 건너뛰지 마십시오. 치환처럼 대수적으로 자명한 단계도 인용해야 합니다. "A = B, B = C 이므로 A = C"는 한 단계가 아니라 세 단계입니다.
• "대응하는 부분들" 대신 CPCTC를 쓰십시오. 표준 약어는 보편적으로 인정받습니다.

AI 사용 vs 손으로 풀 때

AI가 가장 빠른 경우:

• 올바른 증명을 찾았는지 검증하기 위해 (작업 내용을 AI 결과와 비교).
• 막혀서 시작 전략이 필요할 때 증명을 생성하기 위해.
• 교재의 단락 형식 증명을 두 열 형식으로 변환하기 위해 (또는 그 반대).
• 사진에서 문제를 읽어 즉시 증명을 얻기 위해.

손으로 풀어야 하는 경우:

• 채점 대상 작업이며 선생님이 요구할 때.
• 시험을 공부할 때 (손으로 증명을 작성하면 패턴이 몸에 익음).
• 증명이 짧을 때 — 3줄짜리 증명에는 AI가 과잉입니다.

제한 사항

• AI가 잘못된 정리 이름을 인용할 수 있습니다. 추론은 보통 정확하지만 명시된 이름(예: "수직각 정리" vs "일직선 위 각의 합 정리")이 일관되지 않을 수 있습니다. 비판적으로 읽으십시오.
• 긴 다단계 증명은 요약될 수 있습니다. 12단계 이상이 필요한 증명이 6-7단계로 압축될 수 있습니다. 모든 단계를 필요로 한다면 "완전한 두 열 증명, 요약된 단계 없음"을 요청하십시오.
• 비유클리드 기하학을 지원하지 않습니다. AI는 표준 유클리드 공리를 가정합니다. 구면/쌍곡/사영 기하학 증명은 범위를 벗어납니다.