증명과 정리 계산기

Geometry proof 계산기 소개

증명은 기하학이 산술을 멈추고 논리가 되는 곳입니다. 모든 단계는 정의, 공리, 정리, 또는 이전 결과에 의해 정당화됩니다. 아래의 계산기는 기계적인 측면을 지원합니다: 두 삼각형 간의 SSS, SAS, ASA, AAS, HL 합동 확인, AA, SAS, SSS 닮음 비율 검증, 한 변에 평행한 선이 다른 두 변을 잘라낼 때 기본 비례 정리(BPT) 적용, 그리고 원주각 및 각의 합 관계 테스트. 목표는 당신의 추론을 대체하는 것이 아니라, 후보 증명 단계를 확인하거나 Google 검색이 적용될 공리를 표면화하는 것입니다. 두 열 증명 튜토리얼 및 풀이 예제는 우리의 /how-to-write-two-column-geometry-proofs/ 가이드를 참조하세요.

이 컬렉션의 내용

이 컬렉션에는 기하학 증명 계산기 8개가 있습니다: 4개는 「인기」 태그가 붙어 있습니다, 3개는 보조 도구, 1개는 유도와 증명을 위한 고급 계산기입니다. 가장 많이 사용되는 도구는 피타고라스 정리 계산기, 평행선 합동 삼각형 계산기, 평행선 닮은 삼각형 계산기입니다.

사진으로 풀기

이 중 1개는 AI 비전을 지원합니다: 문제의 사진(손글씨, 교과서 또는 화이트보드)을 업로드하면 AI가 단계별 전체 풀이를 반환합니다. 이 카테고리에서 비전을 지원하는 도구는 기하 증명 계산기입니다.