• Journal of Educational Research in Mathematics
• /
• v.9 no.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.

• School Mathematics
• /
• v.4 no.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.

• Journal of Educational Research in Mathematics
• /
• v.9 no.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.

• Research in Mathematical Education
• /
• v.13 no.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.

• Journal of the Korean School Mathematics Society
• /
• v.24 no.3
• /
• pp.261-282
• /
• 2021

This study identified the meaning of mathematical justification and its characteristics for middle school math gifted students. 17 middle school math gifted students participated in questionnaires and written exams. Results show that the gifted students recognized justification in various meanings such as proof, systematization, discovery, intellectual challenge of mathematical justification, and the preference for deductive justification. As a result of justification exams, there was a difference in algebra and geometry. While there were many deductive justifications in both algebra and geometry questionnaires, the difference exists in empirical justifications: there were many empirical justifications in algebra, but there were few in geometry questions. When deductive justification was completed, the students showed satisfaction with their own justification. However, they showed dissatisfaction when they could not deductively justify the generality of the proposition using mathematical symbols. From the results of the study, it was found that justification education that can improve algebraic translation ability is necessary so that gifted students can realize the limitations and usefulness of empirical reasoning and make deductive justification.

• The Mathematical Education
• /
• v.46 no.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.

• Communications of Mathematical Education
• /
• v.24 no.2
• /
• pp.325-344
• /
• 2010

The purpose of this study is to investigate what influences students' preferences on empirical and deductive proofs and find their relations. Although empirical and deductive proofs have been seen as a significant aspect of school mathematics, literatures have indicated that students tend to have a preference for empirical proof when they are convinced a mathematical statement. Several studies highlighted students'views about empirical and deductive proof. However, there are few attempts to find the relations of their views about these two proofs. The study was conducted to 47 students in 7~9 grades in the transition from empirical proof to deductive proof according to their mathematics curriculum. The data was collected on the written questionnaire asking students to choose one between empirical and deductive proofs in verifying that the sum of angles in any triangles is $180^{\circ}$. Further, they were asked to provide explanations for their preferences. Students' responses were coded and these codes were categorized to find the relations. As a result, students' responses could be categorized by 3 factors; accuracy of measurement, representative of triangles, and mathematics principles. First, the preferences on empirical proof were derived from considering the measurement as an accurate method, while conceiving the possibility of errors in measurement derived the preferences on deductive proof. Second, a number of students thought that verifying the statement for three different types of triangles -acute, right, obtuse triangles - in empirical proof was enough to convince the statement, while other students regarded these different types of triangles merely as partial examples of triangles and so they preferred deductive proof. Finally, students preferring empirical proof thought that using mathematical principles such as the properties of alternate or corresponding angles made proof more difficult to understand. Students preferring deductive proof, on the other hand, explained roles of these mathematical principles as verification, explanation, and application to other problems. The results indicated that students' preferences were due to their different perceptions of these common factors.

• 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.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• The Mathematical Education
• /
• v.49 no.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.