• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.511-528
• /
• 2010

Students' intuition in formal proof should be expressed as symbols according to the deductive process. The symbol will play a role of the mediation between the intuition and the formal proof. This study examined the evolution process of intuition mediated by the symbol in geometry proof. According to the results first, symbol took the great roles when students had the non-formed intuition for the proposition. The signification of symbols could explain even the proof process of the proposition with the non-expectable intuition. And when students proved it by symbols, not by figure nor words, they could evolute the conclusive intuition about the proposition.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.2
• /
• pp.299-314
• /
• 2008

The purposes of this study were to investigate what attitudes students have toward learning proofs and what difficulties they have in learning proofs, and to examine how the use of dynamic geometry software, the Geometer's Sketchpad, helps students' proof learning. The study involved 117 9th graders in 2 high schools. According to questionnaire data, over 50 percent of the total respondents(116) indicated negative attitudes toward learning proofs, on the other hand, only 16 percent of the total respondents indicated positive attitudes toward the learning. Memorizing and remembering many kinds of theorems, definitions, and postulates to use in proving statements was the most difficult part in learning proofs, which the largest proportion of the total respondents indicated. The study found that the use of the Geometer's Sketchpad played positive roles in developing students' understanding of proofs and stimulating students' interests in learning proofs.

• Journal of Educational Research in Mathematics
• /
• v.23 no.4
• /
• pp.585-604
• /
• 2013

This study is based on the problem that most middle school students cannot recognize the generality of geometrical theorems even after having proved them. By considering this problem from the point of view of empirical verification, the particularity of geometrical representations, and the role of geometrical variables, we suggest that some experiences in dynamic geometry environment (DGE) can help students to recognize the generality of geometrical theorems. That is, this study aims to observe students' cognitive changes related to their recognition of the generality and to provide some educational implications by making students experience some geometrical explorations in DGE. To do so, we selected three middle school students who couldn't recognize the generality of geometrical theorems although they completed their own proofs for the theorems. We provided them exploratory activities in DGE, and observed and analyzed their cognitive changes. Based on this analysis, we discussed the effects of DGE on studensts' recognition of the generality of geometrical theorems.

• School Mathematics
• /
• v.10 no.4
• /
• pp.573-581
• /
• 2008

School geometry takes various approaches such as deductive, analytic, and vector methods. Especially, the mathematical connections between these methods are closely related to the mathematical connections between geometry and algebra. This article analysed the geometric consequences of vector algebra from the viewpoint of teacher's subject-matter knowledge and investigated the connections between the geometric proof and the algebraic proof with vector and inner product.

• School Mathematics
• /
• v.11 no.1
• /
• pp.55-70
• /
• 2009

The purpose of this study is to implement Lakatos method in the teaching and learning of geometry for middle school students. In his landmark book , Lakatos suggested the following instructional approach: an initial conjecture was produced, attempts were made to prove the conjecture, the proofs were repeatedly refuted by counterexamples, and finally more improved conjectures and refined proofs were suggested. In the study, students were selected from the high achieving students who participated in the special mathematics and science program offered by the city council of Seoul. The students were given a contradictory geometric proposition, and expected to find the cause of the fallacy. The students successfully identified the fallacy following the Lakatos method. In this process they also set up a primitive conjecture and this conjecture was justified by the proof and refutation method. Some implications were drawn from the result of the study.

• Journal of Educational Research in Mathematics
• /
• v.18 no.4
• /
• pp.455-467
• /
• 2008

We need to reflect the establishment of meaning and level of 'proof and argumentation in middle school mathematics'. It should be considered as human activity through communication in community. Thus, we should design instruction from this standpoint. From this point of view, we had been operated 'Geometry Inquiry Class' aimed at middle school students in eighth grade for two years to improve current geometry class in middle school. In this study, we will observe how individual students' original proof schemes are developed and accepted to the class through the process of mutual negotiation between the teacher and students. The episode with four phases begins with the initial proof schemes students have offered. Through the negotiation of class participants, it gives birth to the proof scheme unique to the current geometry classroom. Why do we pay attention to the process? It is because we think that the value of this type of instruction lies in the process of communication and mutual understanding and mutual reference, not in the completeness of the final product. This is the very appropriate proof in the middle school mathematics classroom.

• Proceedings of the Korea Society of Mathematical Education Conference
• /
• 2008.05a
• /
• pp.17-28
• /
• 2008

이 논문은 중학교 기하 영역의 수업에 대한 학생들의 성취도가 낮은 것을 관찰하고, 그에 대한 고민으로 교육과정을 분석하고, 수학교육의 질적 접근을 위한 교수 실험을 통해 실제 중학교 과정에서 운용되는 논증기하 교육의 문제점과 그 대안을 탐색하고자 하였다. 본 연구에서는 교사가 반드시 갖춰야 할 지식으로 Shulman(1986)이 제시한 교과 내용 지식과 교수학적 내용 지식, 그리고 교육과정 관련 지식을 받아들였으며, 중학교 기하 영역에서 이런 지식을 갖추기 위해 교사가 폭넓은 고민을 하여 수업의 개선점을 찾는 과정을 보여주고 있다. 연구를 통해서 학생들에게 명제를 지도할 때 주의할 점과 학습자에게 증명을 하도록 제시하는 방법상의 문제점, 그리고 이등변삼각형의 지도에서의 그 증명이 갖는 의미를 잘 이해하여 학생들에 증명 학습에 진정한 도움이 될 수 있는 방향을 탐색하였다. 그리고 절차만을 학습시키는 현행 작도 수업을 개선하기 위한 여러 시도와 등변사다리꼴의 학습에서와 같이 학생들이 수학 용어를 되돌아보는 수업이 필요성을 탐색하여, 많은 교수 실험을 통한 교육과정의 바람직한 개정을 제안하였다.

• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.225-240
• /
• 2015

In this study, we investigated the representativeness of proofs in school mathematics, based on the extension of the midpoint connector theorem for the quadrilateral. To this end, we considered a variety of quadrilateral and proved their extensions of the midpoint connector theorem, and identified the relationships between them, therefore seemed that the proof in school mathematics has a representativeness. On the other hand, in the survey based on this information, students were found only some types of quadrilateral and completed easily the proofs for each quadrilateral they found, but students tended to use other proof or mathematical concepts, if the target figures changes in despite of proving the same mathematical fact. Thus, students were more difficult to figure out the relationship between the proofs. From these facts, we know that students are poorly understood the representativeness of proofs to understand the relationship between concrete proofs and to generalize it, though they are able to proof to the specific figures. Therefore it can be seen that the proof activity needs to be done with organic and semantic.

• Journal for History of Mathematics
• /
• v.20 no.2
• /
• pp.109-126
• /
• 2007

This paper is to study theorems related with congruence of triangles in Lobachevskii's and Hadamard's geometry textbooks, and to compare their proof methods. We find out that Lobachevskii's geometry textbook contains 5 theorems of triangles' congruence, but doesn't explain congruence of right triangles. In Hadamard's geometry textbook description system of the theorems of triangles' congruence is similar with our mathematics textbook. Hadamard's geometry textbook treat 3 theorems of triangles' congruence, and 2 theorems of right triangles' congruence. But in Hadamard's geometry textbook all theorems are proved.