Year11- MATH-4-1-3 Introduction to Proof

“Introduction to Proof – Circle geometry, geometric proof, and the beginning of formal mathematical logic” is a foundational topic in Unit 1 of the Queensland Curriculum & Assessment Authority (QCAA) Specialist Mathematics Syllabus for Grade 11. This subject serves as the bridge between computational mathematics and formal, abstract reasoning, focusing on proving why geometric properties are true rather than just applying formulas. 

It is typically covered within “Topic 2: Introduction to proof” and “Topic 3 & 4: Geometry in the plane and proof” (often combined in resources). 

Key Components of this Unit 

The topic introduces students to the rigorous structure of mathematical arguments and applies these techniques specifically to circular shapes. 

• Beginning of Formal Mathematical Logic:
  • Terminology and Notation: Students learn the language of proofs, including symbols for “for all” ($\forall$), “there exists” ($\exists$), “implies” ($\Rightarrow$), and “if and only if” ($⟺$).
  • Methods of Proof: Direct proof, proof by contradiction, and identifying the converse of a statement.
  • Number Systems: Understanding the properties of rational and irrational numbers.
• Circle Geometry (Circle Theorems):
  • Angle Properties: Angles in a semicircle, angles at the centre, angles in the same segment, and opposite angles of a cyclic quadrilateral.
  • Chords and Tangents: Properties of lines drawn from the center of a circle perpendicular to a chord, and properties of tangent lines to a circle.
• Geometric Proof:
  • Using congruent triangles (SSS, SAS, AAS, RHS) and similarity tests to prove circle theorems.
  • Constructing logical arguments where each step is justified by a known reason (e.g., “radii equal”, “angle at center”). 

Why is this Taught? 

This unit is designed to shift students from “how to get the answer” to “why the answer is correct”. It develops logical, deductive reasoning skills required for advanced engineering or mathematics studies at university level. 

• Assessment Focus: Formal proofs are a key part of the QCE (Queensland Certificate of Education) Specialist Mathematics syllabus, with specific questions testing the ability to construct, justify, and write proofs.
• Context in Unit 1: It follows combinatorics and accompanies vector geometry in Unit 1, setting the stage for more complex proofs in Units 3 and 4 (such as mathematical induction). 

****************************************************************************

Year 11 Specialist Mathematics in Queensland (Unit 1, Topic 2) introduces formal proof techniques, including direct proof, contradiction, and circle theorems. Common problems involve algebraic proofs (e.g., consecutive integers), geometric properties (e.g., tangents and radii), and logical deductions to verify mathematical statements. 

Key Sample Problems and Solutions 

• Algebraic Proof (Direct):
  • Problem: Prove that if $x>y$, then $x+c>y+c$.
  • Solution: Assume $x>y$. This implies $x-y>0$. Let $x-y=k$, where $k$ is a positive number. Then (𝑥+𝑐)−(𝑦+𝑐)=𝑥+𝑐−𝑦−𝑐=𝑥−𝑦=𝑘. Since $k>0$, $(x+c)-(y+c)>0$, therefore $x+c>y+c$.
• Algebraic Proof (Number Theory):
  • Problem: Prove that the sum of the squares of any two consecutive integers is always one more than a multiple of 4.
  • Solution: Let the integers be $n$ and $n+1$. The sum of their squares is $n^2+(n+1{)}^2=n^2+n^2+2n+1=2n^2+2n+1$. This can be written as $2(n^2+n)+1$, which is not necessarily a multiple of 4. Corrected Proposition: Prove the sum is $4k+1$ or $4k+2$. Actually, the sum of squares of two consecutive integers is $n^2+(n+1{)}^2=2n^2+2n+1$. For any integer $n$, $n^2+n$ is always even, so $2(n^2+n)+1$ is always odd and specifically $4k+1$ (e.g., $1^2+2^2=5$, $2^2+3^2=13$).
• Geometric Proof (Circle Properties):
  • Problem: Prove that a tangent drawn to a circle is perpendicular to the radius at the point of contact.
  • Solution: Uses proof by contradiction. Assume the tangent is not perpendicular. If so, a shortest distance line (perpendicular) can be drawn to the tangent, which would mean another point on the tangent is inside the circle, contradicting the definition of a tangent.
• Properties to Prove:
  • Angles at the circumference subtended by the same arc are equal.
  • Opposite angles of a cyclic quadrilateral are supplementary. 

Common Proof Structures 

• Direct Proof: $P⟹Q$ (start with premises, follow logic to conclusion).
• Contradiction: Assume $\neg Q$ and show it leads to a false statement.
• Contrapositive: To prove $P⟹Q$, prove $\neg Q⟹\neg P$. 

***************************************************************************

「証明入門 ― 円幾何学、幾何学的証明、そして形式数学論理の始まり」は、クイーンズランド州カリキュラム・評価局（QCAA）が11年生向けに作成した専門数学シラバスのユニット1における基礎トピックです。この科目は、計算数学と形式的・抽象的な推論の橋渡しとなるもので、単に公式を適用するだけでなく、幾何学的性質がなぜ真であるかを証明することに重点を置いています。

この科目は通常、「トピック2：証明入門」および「トピック3＆4：平面幾何学と証明」（多くの場合、リソースとして統合されています）で扱われます。

このユニットの主要な構成要素

このトピックでは、数学的議論の厳密な構造を生徒に紹介し、これらの手法を特に円形に適用します。

形式数理論理学入門：

用語と表記法：生徒は「すべての場合において」（$∀$）、「存在する」（∃）、「〜を含意する」（⇒）、「〜の場合に限り」（⟺）などの記号を含む証明言語を学びます。

証明方法：直接証明、背理法による証明、そして命題の逆の特定。

数体系：有理数と無理数の性質を理解する。

円の幾何学（円の定理）：

角の性質：半円の角、中心の角、同一線分の角、円周四辺形の対角。

弦と接線：円の中心から弦に垂直に引いた直線の性質、そして円の接線の性質。

幾何学的証明：

合同な三角形（SSS、SAS、AAS、RHS）と相似性検定を用いて円周定理を証明する。

各ステップが既知の理由（例：「半径が等しい」、「中心角」）によって正当化される論理的議論を構築する。

なぜこの単元を教えるのか？

この単元は、生徒の理解を「答えを導く方法」から「なぜ答えが正しいのか」へと移行させるように設計されています。大学レベルの高度な工学または数学の研究に必要な、論理的かつ演繹的な推論スキルを養います。

評価の焦点：形式的証明は、QCE（クイーンズランド州教育資格）専門数学シラバスの重要な部分であり、具体的な問題を通して、証明を構築し、正当化し、記述する能力が試されます。

単元1における文脈：単元1の組合せ論とベクトル幾何学を補足し、単元3と4のより複雑な証明（数学的帰納法など）への基礎となります。

***************************************************************************

クイーンズランド州の11年生専門数学（ユニット1、トピック2）では、直接証明、背理法、円周定理などの正式な証明技法を学びます。よく出題される問題には、代数的証明（例：連続整数）、幾何学的性質（例：接線や半径）、そして数学的命題を検証するための論理的演繹が含まれます。

主なサンプル問題と解答

代数的証明（直接）：問題：($x>y$) ならば ($x+c>y+c$) であることを証明しなさい。解答：($x>y$) と仮定する。これは ($x-y>0$) を意味する。($x-y=k$) とする。ここで ($k$) は正の数である。すると $(x+c)-(y+c)=x+c-y-c=x-y=k$ となる。 ($k>0$)、($(x+c)-(y+c)>0$) なので、($x+c>y+c$) です。

代数的証明（数論）：問題：任意の2つの連続する整数の平方和は、常に4の倍数より1大きいことを証明しなさい。解答：整数を ($n$) と ($n+1$) とします。これらの平方和は ($n^{2}+(n+1)^{2}=n^{2}+n^{2}+2n+1=2n^{2}+2n+1$) です。これは ($2(n^{2}+n)+1$) と書くこともできますが、必ずしも4の倍数ではありません。修正命題：和が ($4k+1$) または ($4k+2$) であることを証明しなさい。実際、連続する2つの整数の平方和は ($n^{2}+(n+1)^{2}=2n^{2}+2n+1$) です。任意の整数 ($n$) に対して、($n^{2}+n$) は常に偶数なので、($2(n^{2}+n)+1$) は常に奇数であり、具体的には ($4k+1$) です（例：($1^{2}+2^{2}=5$)、($2^{2}+3^{2}=13$)）。

幾何学的証明（円の性質）：問題：円に引いた接線は、接点において半径に垂直であることを証明しなさい。解答：背理法を用います。接線は垂直ではないと仮定します。もしそうなら、接線に最短距離の線（垂線）を引くことができますが、これは接線上の別の点が円の内側にあることを意味し、接線の定義に矛盾します。

証明すべき性質：同じ弧が囲む円周上の角は等しい。円周四辺形の反対角は補角である。

一般的な証明構造

直接証明：($P\implies Q$)（前提から始めて、論理的に結論まで進む）。
背理：($\neg Q$) を仮定し、それが誤った命題につながることを示す。
逆証明：($P\implies Q$) を証明するには、($\neg Q\implies \neg P$) を証明する。