• 한국수학교육학회지시리즈A:수학교육
• /
• 제47권4호
• /
• pp.437-445
• /
• 2008

On the basis of the meaning and general process of geometric proof through transformation concept and understanding the geometric properties of linear transformation, this study showed that the centroid of geometrical figure and certain properties of a parabola and an ellipse in school mathematics can be explained as a conservative properties through linear transformation. From an educational perspective, this is a good example of showing the process of how several existing individual knowledge can be reorganized by a mathematical concept. Considering the fact that mathematical usefulness of linear transformation can be revealed through an invariable and conservation concept, further discussion is necessary on whether the linear transformation map included in the former curriculum have missed its point.

• 한국학교수학회논문집
• /
• 제24권2호
• /
• pp.173-190
• /
• 2021

본 연구는 Newton의 의 핵심으로 일컬어지는 역제곱 법칙의 증명을 기하학적 극한과 관련하여 분석하고, 이를 수학교육에 활용하는 방안과 관련한 교육적 시사점을 제공하고자 하였다. Newton은 무한소에 대한 논쟁을 의식하여 전통적인 Euclid의 기하 방식으로 역학 문제를 해결하였다. Newton은 힘, 시간, 관성 궤도 이탈 정도 등을 기하 선분으로 표현함으로써 역학을 기하의 차원에 포함시키는 결과를 이뤄냈다. Newton은 특히 포물선 근사, 다각형 근사, 선분의 비의 극한이라는 기하학적 극한을 도입함으로써 Euclid 기하를 역학을 아우르는 새로운 차원으로 발전시킬 수 있었다. 이러한 분석을 바탕으로 Newton의 기하학적 극한을 수학의 유용성을 보여주는 도구로 활용, 곡선면적은 정적분이라는 통념을 깨는 수단으로 활용할 것을 제안하였다. 더불어 학교수학에서 기하학적 극한의 바람직한 활용을 돕기 위해서는 미시 세계에서의 동등성 확대 강조, 발견술로서 활용하게끔 유도하는 질문 활용, 미시 세계에서 선분의 동등성 파악에는 비의 접근이 유용하다는 인식을 돕는 과정이 필요할 것이라는 교육적 시사점을 제안하였다.

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

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

• 한국수학사학회지
• /
• 제26권5_6호
• /
• pp.345-353
• /
• 2013

Some teachers do not regard the computation of the sum of the angles of a triangle by using a cut-and-paste or paper-folding method as providing a proof that the sum of the angles of a triangle is equal to two right angles. Some even think that this way of working is not mathematics but more like an experiment in physics. Some see the method as no better than measurement of the angles by a protractor. The author will examine this issue in the teaching and learning of school geometry and more generally as a specific example from the perspective of HPM (History and Pedagogy of Mathematics).

• Journal of applied mathematics & informatics
• /
• 제40권5_6호
• /
• pp.883-896
• /
• 2022

A hereditary base-b representation, used in the celebrated Goodstein's theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the aforementioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called "hydra game".

• 한국수학사학회지
• /
• 제17권3호
• /
• pp.93-108
• /
• 2004

본 연구에서는 슈타이너$.$레무스(Steiner-Lehmus) 정리에 대한 다양한 증명을 찾아 이들 증명에 사용된 수학적 개념, 정리, 방법들을 고찰하며, 몇 가지 증명에 대해서는 기존의 기술 방법을 개선한 좀더 구체적인 형태로 기술하였다. 이를 통해, 이등변삼각형의 흥미로운 성질인 슈타이너$.$레무스 정리에 대한 다양한 증명 방법을 밝히고, 중등학교 수학교육의 질적이고 양적인 확장을 위한 기초 자료를 제공할 것이다.

• 전자공학회논문지B
• /
• 제28B권5호
• /
• pp.357-368
• /
• 1991

Collision-free trajectory planning for two robots is considered. The two robot system handled in the paper is given specified geometric paths for two robots, and the task is repeating. Then, the robot dynamics is transformed as a function of the traveled lengths along the paths, and the bounds on acceleration and velocity are described in the phase plane be taking the constraints on torques and joint velocities into consideration. Collision avoidance and time optimality are considered simultaneously in the coordination space and the phase plane, respectively. The proof for the optimality of the proposed algorithm is given, and a simulation result is included to show the usefulness of the proposed method.

• 대한수학회지
• /
• 제50권5호
• /
• pp.1009-1031
• /
• 2013

In this paper, using elementary calculus only, we give a simple proof that Green function estimates imply the sharp two-sided pointwise estimates for Poisson kernels for subordinate Brownian motions. In particular, by combining the recent result of Kim and Mimica [5], our result provides the sharp two-sided estimates for Poisson kernels for a large class of subordinate Brownian motions including geometric stable processes.

• 충청수학회지
• /
• 제27권2호
• /
• pp.183-203
• /
• 2014

We examine fundamental units of quadratic function fields from continued fraction of $\sqrt{D}$. As a consequence, we give another proof of geometric analog of Ankeny-Artin-Chowla-Mordell conjecture and bounds for class number, and study real quadratic function fields of minimal type with quasi-period 4.

• 대한수학회보
• /
• 제52권4호
• /
• pp.1305-1319
• /
• 2015

We study the relations between strong isoperimetric inequalities and Gromov hyperbolicity on planar graphs, and give an alternative proof for the following statement: if a planar graph of bounded face degree satisfies a strong isoperimetric inequality, then it is Gromov hyperbolic. This theorem was formerly proved in the author's paper from 2014 [12] using combinatorial methods, while geometric approach is used in the present paper.