• 대한수학교육학회지:수학교육학연구
• /
• 제9권2호
• /
• pp.419-438
• /
• 1999

This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

• 대한수학교육학회지:학교수학
• /
• 제4권1호
• /
• pp.1-13
• /
• 2002

The purpose of this study is to investigate the reasons and backgrounds of drawing auxiliary lines in the proof of geometry. In most of proofs in geometry, drawing auxiliary lines provide important clues, thus they play a key role in deductive proof. However, many student tend to have difficulties of drawing auxiliary lines because there seems to be no general rule to produce auxiliary lines. To alleviate such difficulties, informal activities need to be encouraged prior to draw auxiliary lines in rigorous deductive proof. Informal activities are considered to be contrasting to deductive proof, but at the same time they are connected to deductive proof because each in formal activity can be mathematically represented. For example, the informal activities such as fliping and superimposing can be mathematically translated into bisecting line and congruence. To elaborate this idea, some examples from the middle school mathematics were chosen to corroborate the relation between informal activities and deductive proof. This attempt could be a stepping stone to the discussion of how to teach auxiliary lines and deductive reasoning.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.245-261
• /
• 1999

Proof is an essential characteristic of mathematics and as such should be a key component in mathematics education. But, teaching proof in school mathematics have been unsuccessful for many students. The traditional approach to proofs stresses formal logic and rigorous proof. Thus, most students have difficulties of the concept of proof and students' experiences with proof do not seem meaningful to them. However, different views of proof were asserted in the reassessment of the foundations of mathematics and the nature of mathematical truth. These different views of justification need to be reflected in demonstrative geometry classes. The purpose of this study is to characterize the types of students' justification in demonstrative geometry classes taught using dynamic software. The types of justification can be organized into three categories : empirical justification, deductive justification, and authoritarian justification. Empirical justification are based on evidence from examples, whereas deductive justification are based logical reasoning. If we assume that a strong understanding of demonstrative geometry is shown when empirical justification and deductive justification coexist and benefit from each other, then students' justification should not only some empirical basis but also use chains of deductive reasoning. Thus, interaction between empirical and deductive justification is important. Dynamic geometry software can be used to design the approach to justification that can be successful in moving students toward meaningful justification of ideas. Interactive geometry software can connect visual and empirical justification to higher levels of geometric justification with logical arguments in formal proof.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권3호
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• 한국학교수학회논문집
• /
• 제24권3호
• /
• pp.261-282
• /
• 2021

이 연구는 중학교 수학 영재학생의 수학적 정당화에 대한 의미 인식과 수학적 정당화의 특성을 파악하여 정당화 교육을 위한 시사점을 얻고자 한 것이다. 이를 위해 17명의 중학교 수학 영재학생을 대상으로 설문지와 검사지를 투입하여 분석한 결과, 영재학생들은 수학적 정당화에 대하여 입증, 체계화, 발견, 지적 도전과 같은 다양한 의미로 정당화를 인식하였고, 연역적 정당화의 선호도가 높았다. 실제 정당화 활동의 결과, 대수와 기하 문항 모두에서 연역적 정당화가 많았지만 대수 문항에서는 경험적 정당화도 많은 반면 기하 문항에서는 매우 낮음을 알 수 있었다. 연역적 정당화를 완성한 경우, 자신의 정당화에 만족함을 보였지만 수학적 문자와 기호를 사용하여 명제의 일반성을 연역적으로 정당화를 하지 못한 경우에는 불만족을 보였다. 연구 결과는 영재학생들이 경험적 추론의 유용성과 한계를 깨닫고 연역적 정당화를 할 수 있도록 하며 특히 대수적 번역 능력을 향상시킬 수 있는 정당화 교육이 필요함을 시사한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권3호
• /
• pp.331-349
• /
• 2007

This study aims to improve the teaching and learning method on the conic sections. To do that the researcher analyzed the impact of dynamic geometry software on students' problem solving of the conic sections. Students often say, "I have solved this kind of problem and remember hearing the problem solving process of it before." But they often are not able to resolve the question. Previous studies suggest that one of the reasons can be students' tendency to approach the conic sections only using algebra or analytic geometry without the geometric principle. So the researcher conducted instructions based on the geometric and historico-genetic principle on the conic sections using dynamic geometry software. The instructions were intended to find out if the experimental, intuitional, mathematic problem solving is necessary for the deductive process of solving geometric problems. To achieve the purpose of this study, the researcher video taped the instruction process and converted it to digital using the computer. What students' had said and discussed with the teacher during the classes was checked and their behavior was analyzed. That analysis was based on Branford's perspective, which included three different stage of proof; experimental, intuitive, and mathematical. The researcher got the following conclusions from this study. Firstly, students preferred their own manipulation or reconstruction to deductive mathematical explanation or proving of the problem. And they showed tendency to consider it as the mathematical truth when the problem is dealt with by their own manipulation. Secondly, the manipulation environment of dynamic geometry software help students correct their mathematical misconception, which result from their cognitive obstacles, and get correct ones. Thirdly, by using dynamic geometry software the teacher could help reduce the 'zone of proximal development' of Vigotsky.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.573-581
• /
• 2008

학교기하에서는 논증기하, 해석기하, 벡터기하 등의 다양한 접근을 다루고 있는데, 특히 이러한 유클리드 기하에 대한 다양한 접근 사이의 연결성은 기하학적 방법과 대수적 방법의 연 결성으로 볼 수 있다. 본 연구는 교과지식의 측면에서, 논증기하증명에서 벡터와 내적의 대수적 성질의 의미를 분석함으로서 학교 수학에서 기하학적 증명과 벡터와 내적을 이용한 대수적 증명의 연결성에 대하여 고찰하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권2호
• /
• pp.325-344
• /
• 2010

본 연구는 중학생을 대상으로 학생들이 경험적 증명과 연역적 증명에 대한 선호를 결정할 때 영향을 미치는 요인을 분석하였다. 47명의 중학생에게 설문지를 통하여 자료를 수집하고 응답들을 분석한 결과, 경험적 증명과 연역적 증명의 선호에 영향을 미치는 요인들로 측정, 수학적 원리, 다양한 예를 통한 검증과정에 대한 인식들이 공통적으로 나타났다. 이 요소들은 경험적 증명과 연역적 증명의 선호와 비선호를 결정짓는 요인으로써, 선호하는 증명에 따라 상호 배타적으로 나타나지 않고 증명 선호에 영향을 미쳤다. 이를 통해 본 연구에서는 학생들이 특정 증명을 선호할 때, 한 증명에 대한 비선호와 다른 증명에 대한 선호가 동시에 작용할 수 있다는 결론과 함께 한 증명에 대한 선호요인을 보는 것만으로는 학생들의 증명 선호 이유를 정확히 파악할 수 없을 것이라는 가능성을 제언한다.

• 한국학교수학회논문집
• /
• 제16권4호
• /
• pp.821-840
• /
• 2013

중학교 기하에서 등장하는 도형의 정의는 그 모양에서 시각적으로 확인할 수 있는 단순한 용어의 뜻으로만 생각하기 쉽다. 그러나 도형의 정의에 대한 낮은 이해도는 이와 같은 도형 정의에 대한 도구적 이해의 한계를 보여주고 있다. 이 연구는 영재중학생들을 대상으로, Freudenthal이 주장했던 도형 성질의 논리적 조직화에 의한 정의의 재발명과정을 구체적으로 실행하여 분석하였다. 그 결과 영재 학생 중 상당수가 도형 성질의 논리적 조직화 경험을 통하여, 도형을 왜 그렇게 정의하는 것인가, 또 다른 성질로는 정의할 수 없는가와 같은 도형 정의의 관계적 이해와 관련된 질문에 대해 깊이 이해하고 있음을 확인할 수 있었다. 이 연구에서 분석한 논리적 조직화에 의한 정의의 재발명과정은 중학교 기하교육의 문제를 반성하고 새로운 대안을 모색하는데 도움이 될 수 있을 것이다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권1호
• /
• pp.53-65
• /
• 2010

The congruent conditions of triangles' plays an important role to connect intuitive geometry with deductive geometry in school mathematics. It is induced by 'three determining conditions of triangles' which is justified by classical geometric construction. In this paper, we analyze the essential meaning and geometric position of 'congruent conditions of triangles in Euclidean Geometry and investigate introducing processes for them in the Elements of Euclid, Hilbert congruent axioms, Russian textbook and Korean textbook, respectively. Also, we give justifications of construction methods for triangle having three segments with fixed lengths and angle equivalent to given angle suggested in Korean textbooks, are discussed, which can be directly applicable to teaching geometric construction meaningfully.