• 한국수학교육학회지시리즈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.

• East Asian mathematical journal
• /
• 제24권5호
• /
• pp.465-476
• /
• 2008

Even though Godel's theorem is remarkable to mathematics teachers, it is not simple to understand the proof in detail. It would be useful for us to understand the basic ideas and the proving process of the proof. In this note, we suggest a proposal for the purpose.

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.143-156
• /
• 2008

본 연구에서는 중학교 2학년 도형의 성질 단원의 증명학습을 세 단계로 나누어 설문을 통하여 학생들이 증명학습에서 겪는 어려움을 조사하였다. 설문 분석 결과 학생들은 증명학습에서 증명의 의미를 이해하지 못해 명제의 참을 판단하는 정도의 간단한 추론도 하지 못할 뿐만 아니라 제시된 증명을 읽고 그것이 증명하려는 명제의 가정과 결론을 파악하지 못한다. 이는 학생들이 명제의 가정과 결론의 의미와 역할을 명확히 이해하지 못하는데서 비롯된다. 따라서 학생들에게 명제의 가정과 결론의 의미와 역할에 대한 지도에 좀 더 역점을 두는것이 필요하다.