• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권3호
• /
• pp.887-921
• /
• 2009

인류 문명의 발달과 함께 폭넓게 활용된 수학적 내용 중의 하나가 피타고라스 정리이다. 특히, 이집트, 메소포타미아, 중국과 같은 고대 문명의 발생지에서 발굴되는 많은 역사적 기록 속에서 피타고라스 정리에 대한 내용을 찾아 볼 수 있다. 피타고라스 정리는 중등학교 수학교육에서 매우 중요한 정리로써, 정리 내용 자체뿐만 아니라 다양한 증명 방법과 증명 과정에 내재된 수학적 아이디어는 수학 교육학적 측면에서 큰 의미를 가지고 있다. 이에 본 연구에서는 먼저 피타고라스 정리의 390여 가지의 알려진 증명 방법들을 중심으로 하여, 피타고라스 정리의 다양한 증명 방법들에 대한 분석을 한다. 분석된 결과를 바탕으로 각 증명 방법들에 대한 핵심 아이디어, 선수학습개념, 주요 아이디어들을 알아보고 내재된 수학교육학적 아이디어를 분석할 것이다.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.351-364
• /
• 1998

This thesis analyzes the nature of proof in the perspective on the philosophy of mathematics. such as absolutism, quasi-empiricism and social constructivism. And this thesis searches for the improvement of teaching proof in the light of the result of those analyses of the nature of proof. Though the analyses of the nature of proof in the perspective on the philosophy of mathematics, it is revealed that proof is a dynamic reasoning process unifying the way of analytical thought and the way of synthetical thought, and plays remarkably important roles such as justification, discovery and conviction. Hence we should teach proof as a dynamic reasoning process unifying the way of analytic thought and the way of synthetic thought, avoiding the mistake of dealing with proof as a unilaterally synthetic method. At the same time, we should make students have the needs of proof in a natural way by providing them with the contexts of both justification and discovery simultaneously. Finally, we should introduce the aspect of proof that can be represented as conviction, understanding, explanation and communication to school mathematics.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제63권2호
• /
• pp.139-163
• /
• 2024

The purpose of this study is to examine the capabilities of ChatGPT as a tool for supporting students in generating mathematical arguments that can be considered proofs. To examine this, we engaged students enrolled in a mathematics pathways course in evaluating and revising their original arguments using ChatGPT feedback. Students attempted to find and prove a method for the area of a triangle given its side lengths. Instead of directly asking students to prove a formula, we asked them to explore a method to find the area of a triangle given the lengths of its sides and justify why their methods work. Students completed these ChatGPT-embedded proving activities as class homework. To investigate the capabilities of ChatGPT as a proof tutor, we used these student homework responses as data for this study. We analyzed and compared original and revised arguments students constructed with and without ChatGPT assistance. We also analyzed student-written responses about their perspectives on mathematical proof and proving and their thoughts on using ChatGPT as a proof assistant. Our analysis shows that our participants' approaches to constructing, evaluating, and revising their arguments aligned with their perspectives on proof and proving. They saw ChatGPT's evaluations of their arguments as similar to how they usually evaluate arguments of themselves and others. Mostly, they agreed with ChatGPT's suggestions to make their original arguments more proof-like. They, therefore, revised their original arguments following ChatGPT's suggestions, focusing on improving clarity, providing additional justifications, and showing the generality of their arguments. Further investigation is needed to explore how ChatGPT can be effectively used as a tool in teaching and learning mathematical proof and proof-writing.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권4호
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.471-487
• /
• 2008

본 연구에서는 해석학 강좌를 운영하는 과정에서 얻어진 학생들의 수학적 발명의 사례를 제시하고 분석하여, 수학적 발명과 관련된 구체적인 교수-학습 과정, 얻어진 수학적 산출물들, 이들의 수학적 의의를 기술하였다.

• 한국학교수학회논문집
• /
• 제8권1호
• /
• pp.101-116
• /
• 2005

본 연구는 설문지를 통한 조사 연구와 수업 관찰을 통하여 증명에 대한 수학 교사들의 전반적인 인식과 증명 표현 양식 및 증명 능력을 조사하고, 교사가 가지고 있는 증명 스키마에 따른 증명 지도 방법의 특징을 살펴보았다. 연구 결과 교사들은 증명을 주로 연역으로만 인식하고 형식적 증명을 선호하는 경향을 가지고 있었다. 또한 학교수학에서 증명의 중요성은 인정하나 지도 방법에 대한 이해는 부족했으며 증명에 대한 지식 역시 교과서 의존도가 높았다. 한편 수학 교사들의 증명 스키마는 증명 지도 방법을 결정하는 중요한 요인으로 드러났다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제7권2호
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제41권1호
• /
• pp.79-90
• /
• 2002

In this article we study on connecting paper 131ding activities of triangle with mathematical proof Folding median, bisector of angle, and hight of paper triangle, we from and extract some ideas that help us to proof some important theorems of plane geometry. In this study using formed ideas in the process of paper folding activities, we suggest some interesting new mathematical proofs of the following theorems: 1. three medians of triangle are intersect in a point; 2. three bisectors of interior angles of triangle are intersect in a point; 3. three heights of triangle are intersect in a point.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제2권2호
• /
• pp.71-78
• /
• 1998

This paper investigates the practices of proof education in Korea by analyzing the teaching and learning of proofs in classes in the second year of middle school. With this purpose, this study examines the features and deficiencies of the ways of teaching proofs and investigates the difficulties which students have in learning them. Furthermore, it suggests methods for the improvement of teaching proofs.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권2호
• /
• pp.161-174
• /
• 2010

The purpose of the study is to analyze various types of errors appeared in true-false proof problems of matrix and to find out correction method. In order to achieve this purpose, error test was conducted to the subject of 87 second grade students who were chosen from D high schoool. It was shown from this test that the most frequent error type was caused by the lack of understanding about concepts and essential facts of matrix(35.3%), and then caused by the invalid logically reasoning (27.4%), and then caused by the misusing conditions(18.7%). Through three hours of correction lessons with 5 students, the following correction teaching method was proposed. First, it is stressed that the operation rules and properties satisfied in real number system can not be applied in matrix. Second, it is taught that the analytical proof method and the reductio ad absurdum method are useful in the proof problem of matrix. Third, it is explained that the counter example of E=$\begin{pmatrix}1\;0\\0\;1 \end{pmatrix}$, -E should be found in proof of the false statement. Fourth, it is taught that the determinant condition should be checked for the existence of the inverse matrix.