• 호남수학학술지
• /
• 제41권3호
• /
• pp.661-666
• /
• 2019

In this short research note, we aim to provide a new proof of classical Dixon's summation theorem for the series $_3F_2$ with unit argument. The theorem is obtained by evaluating an infinite integral and making use of classical Gauss's and Kummer's summation theorem for the series $_2F_1$.

• 한국학교수학회논문집
• /
• 제11권1호
• /
• pp.55-68
• /
• 2008

이 연구에서는 중학생들이 '원의 성질' 단원의 증명학습 과정에서 어떤 어려움을 겪는지를 조사하여 GSP를 활용한 증명학습이 학생들의 어려움을 어떻게 완화시키는지를 탐구하였다. 진단검사를 통해, 학생들은 가정과 결론의 이해, 기호의 사용, 추론 과정 등에서 어려움을 겪고 있음을 확인하였다. 한편, 학생들은 GSP를 활용한 증명학습을 통해 자신의 추측이나 추론에 대한 피드백을 받을 수 있고, 구체적인 사례를 일반화하거나 증명에 필요한 아이디어를 능동적으로 찾는 탐구 태도를 형성할 수 있다는 것을 확인하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제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.

• 대한수학교육학회지:학교수학
• /
• 제5권4호
• /
• pp.401-420
• /
• 2003

증명 학습에 있어서 많은 어려움이 특히, 증명이 도입되는 중학교 기하 단원의 학습에서 야기되고 있으며, 무엇보다도 많은 학생들이 증명의 의미를 이해하지 못하는 것은 간과하기 어려운 문제점이다. 본 고에서는 기하의 역사 발생적 단계에 따른 증명의 의미 지도가 증명 지도 개선을 위한 하나의 방안이 될 수 있음을 밝히고자 하였다. Branford가 제시한 바와 같이 역사-발생적 전개를 통하여 증명의 의미를 지도하는 방안을 모색해 보고자, Euclid원론이 성립하기까지의 기하의 역사적 발달 과정과 병행하여 실험적, 직관적, 과학적 단계를 거쳐 발전되어 온 증명의 발생 과정을 살펴보고 지도 과정을 분석해 보았다. 그리고 실험적, 직관적 증명 단계를 거쳐 수학적인 증명을 도입하는 지도 과정에 따라 삼각형의 내각의 합에 대한 명제의 증명 지도를 중학교 1학년 학생들을 대상으로 실시해 보았다. 본 고에서는 그러한 결과를 통하여 역사-발생적 접근이 학생들에게 증명의 의미를 이해시키는데 큰 도움이 된다는 것을 확인하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제53권1호
• /
• pp.93-110
• /
• 2014

Algebra deals with so general properties about number system that it is called as 'generalized arithmetic'. Observing students' activities in algebra classes, however, we can discover that recognition of the generality in algebraic proofs is not so easy. One of these difficulties seems to be caused by variables which play an important role in algebraic proofs. Many studies show that students have experienced some difficulties in recognizing the meaning and the role of variables in algebraic proofs. For example, the confusion between 2m+2n=2(m+n) and 2n+2n=4n means that students misunderstand independent/dependent variation of variables. This misunderstanding naturally has effects on understanding of the meaning of proofs. Furthermore, students also have a difficulty in making a transition from algebraic proof to numerical cases which have the same structure as the proof. This study investigates whether middle school students can recognize dependent generality and make a transition from proofs to numerical cases. The result shows that the participants of this study have a difficulty in both of them. Based on the result, this study also includes didactical implications for teaching the generality of algebraic proofs.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제23권2호
• /
• pp.45-46
• /
• 1985

• 한국수학교육학회지시리즈A:수학교육
• /
• 제34권1호
• /
• pp.7-9
• /
• 1995

• 한국수학교육학회지시리즈A:수학교육
• /
• 제21권1호
• /
• pp.23-24
• /
• 1982

• 대한수학회보
• /
• 제42권4호
• /
• pp.851-853
• /
• 2005

It is well known that the general term of a sequence can be represented by a linear combination of binomial coefficients. In this paper we give a simple proof for this fact.

• 대한수학회논문집
• /
• 제25권1호
• /
• pp.27-36
• /
• 2010

We give a simple proof of certain mapping properties of the p-adic Riesz potential and Bessel potential, and the p-adic version of the Sobolev embedding theorem obtained in [6].