순열의 수에 관한 등식의 증명과 규칙에 대한 연구

A Study on the Proof and Rules for the Identity of Permutation

본 연구는 순열의 수에 관한 등식의 교과서 증명을 Toulmin(2003)의 논증 모델로 도식화하고, 이를 기반으로 증명 규칙(Rule of Proof, RoP)을 도출한 뒤, 고등학생들이 구성한 증명과 비교⋅분석하였다. 교과서 증명은 좌변과 우변을 자료(D1, D2)로 설정하고 계승으로 나타낸 논증(A1, A2)으로 코딩한 결과 D2-A2-A1-D1 구조로 전개됨을 확인할 수 있었다. 또한 교과서 증명의 구조는 우변에서 출발(S1)하여, 계승을 이용한 순열의 수 nPr 의 정의(W1), 대입(W2), 대수적 산술(W3)을 근거로 연역적 순서(S2)에 따라 필수 논증을 명시적으로 전개(S3)하고, 등호(S4)를 통해 좌변과 우변의 동치성을 단계적으로 정당화하는 규칙이 암묵적으로 내재해 있다. 이러한 증명 규칙(S1-S4)은 교과서 증명의 타당성과 구조적 일관성을 확보하는 핵심 요소로 작용한다. 반면, 학생들의 증명에서는 증명 규칙이 부분적으로만 반영되거나 암묵적으로 가정되는 경우가 많았다. 자료와 논증 연결 시 동치성을 명시하지 않거나, 논증 전개와 등호의 역할을 충분히 표현하지 않는 사례가 나타났다. 이는 학생들이 증명 과정의 구조와 규칙을 충분히 인식하지 못함을 보여주며, 증명 규칙에 관한 메타지식이 증명의 완성도와 수용 가능성에 핵심적임을 시사한다. 본 연구의 결과는 증명 교수⋅학습에서 교사가 규칙성과 구조를 명시하고, Toulmin의 논증 모델을 기반으로 한 도식화를 활용하여 학생들의 메타지식을 강화할 필요성을 강조한다.

This study visualized the textbook proof of an equation on permutations using Toulmin’s (2003) argumentation model, derived the corresponding Rules of Proof (RoP), and compared them with proofs constructed by high school students. The textbook proof was structured by setting the left- and right-hand sides as data (D1, D2) and representing the factorial-based reasoning as arguments (A1, A2), forming a D2-A2-A1-D1 structure. Notably, the proof started from the right-hand side (S1), explicitly developed essential arguments (S3) along the deductive order (S2) using factorial representation (W1), substitution (W2), and algebraic manipulation (W3), and justified the equivalence of both sides step by step through equality signs (S4). These proof rules (S1-S4) were identified as core elements ensuring the validity and structural consistency of the textbook proof. In contrast, students’ proofs often partially reflected or implicitly assumed these rules. Some proofs omitted explicit recognition of equivalence when connecting data and arguments, or inadequately represented argumentation and the role of equality. This indicates that students did not fully perceive the regularity and structure underlying the proof, highlighting the critical role of meta-knowledge about proof rules in achieving completeness and acceptability. The findings underscore the importance of making structural rules explicit in teaching, and suggest that Toulmin-based visualizations can effectively strengthen students’ meta-knowledge in proof construction.