• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권1호
• /
• pp.53-63
• /
• 2008

수학 영재교육에서 여러 학문영역의 지식을 종합하며, 이를 바탕으로 창의적으로 문제를 해결하는 능력과 경험을 가지는 것은 매우 중요하다. 본 연구에서는 물리학의 역학분야에서 연구되는 관성능률 개념을 수학적 문제해결의 도구로 활용하여 몇몇 등식들, 부등식들에 대한 새로운 증명방법을 제시하며, 관성능률을 이용한 문제해결 방법의 특징들을 고찰하였다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제19권1호
• /
• pp.37-42
• /
• 2012

We give an elementary proof of Descartes' theorem for polyhedra. Since Descartes' theorem is equivalent to Euler's theorem for polyhedra, this also gives an elementary proof of Euler's theorem.

• 한국수학사학회지
• /
• 제15권1호
• /
• pp.115-134
• /
• 2002

The increasing use of computers in mathematics and in mathematics education is strongly reflected in the teaching on Euclid geometry, in particular in the use of dynamic graphics software. This development has raised questions about the role of analytic proof in school geometry. One can sometimes find a proof which is rather more explanatory than the one commonly used. Because we, math educators are concerned with tile explanatory power of the proofs, as opposed to mere verification, we should devise ways to use dynamic software in the use of explanatory proofs.

• Korean Journal of Mathematics
• /
• 제21권1호
• /
• pp.29-34
• /
• 2013

Power-Armendariz is a unifying concept of Armendariz and commutative. Let R be a ring and I be a proper ideal of R such that R/I is a power-Armendariz ring. Han et al. proved that if I is a reduced ring without identity then R is power-Armendariz. We find another direct proof of this result to see the concrete forms of various kinds of subsets appearing in the process.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제4권1호
• /
• pp.71-76
• /
• 1997

A new proof of the well-known identity involved in the Beta function B(p, q) is given by using the theory of hypergeometric series and a brief history of Gamma function is also provided. The method here is shown to be able to apply to evaluate some definite integrals.

• 충청수학회지
• /
• 제24권4호
• /
• pp.919-920
• /
• 2011

For two even unimodular positive definite integral quadratic forms A[X], B[X] in n-variables, J. K. Koo [1, Theorem 1] showed that ${\theta}_A(\tau)/{\theta}_B(\tau)$ is a rational function of J, satisfying a certain condition. Where ${\theta}_A(\tau)$ and ${\theta}_B(\tau)$ are theta series related to A[X] and B[X], respectively, and J is the classical modular invariant. In this paper we give a simple proof of Theorem 1 of [1].

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

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

본 연구는 중학교 3학년을 대상으로 Branford의 역사 발생적 기하교육을 활용하여 피타고라스 정리의 증명을 실제로 지도하여, 사례연구 과정에서 나타나는 학생들의 인식의 변화를 살펴보고, 이러한 방법이 학생들의 인식 변화에 어떠한 도움을 주는지에 대해 알아보고자 하였다.

• 호남수학학술지
• /
• 제30권2호
• /
• pp.363-368
• /
• 2008

In this paper, we find some properties of multiplication modules and give an alternative proof of a Theorem of P.F. Smith.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제2권1호
• /
• pp.1-4
• /
• 1998

Let C be the Cantor set. It is well known that C+C = {x+y : $x\;{\in}\;C$, $y\;{\in}\;C$} = [0, 2] and C - C = [-1, 1]. We introduce a fairly elementary method for the proof which also works even for generalized Cantor sets.