Geometry Insights archive

Explore all 129 mathematics articles.

Search the complete Geometry Insights collection of proofs, derivations, geometric explanations and first-principles mathematics. Filter by subject or browse from newest to oldest.

Premium Articles (Geometry Insights)

Understanding A′ ∪ B′ Through Venn Diagrams

Understanding A′ ∩ B′ Through Venn Diagrams

Understanding A ∩ B′ Through Venn Diagrams

Understanding Set Union A ∪ B Through Venn Diagrams

Understanding Set Intersection A ∩ B Through Venn Diagrams

Deriving the Permutation Formula: Why ⁿPᵣ = n!/(n−r)!

Binomial Theorem: Expanding (a + b)ⁿ for n ∈ ℕ

Modular Arithmetic: Proving a ≡ b (mod m) ⇒ aⁿ ≡ bⁿ (mod m) Using the Binomial Theorem

Modular Arithmetic: Proving a ≡ b (mod m) and c ≡ d (mod m) ⇒ a ± c ≡ b ± d (mod m)

Proving Scalar Multiplication Compatibility of Congruence Modulo m: If a ≡ b (mod m) and k ∈ ℤ, Then ka ≡ kb (mod m)

Proving Multiplicative Compatibility of Congruence Modulo m: If a ≡ b (mod m) and c ≡ d (mod m), Then ac ≡ bd (mod m)

Essential Algebraic Identities from the Distributive Law: Binomial Products, Squares and the Difference of Two Squares

Proving the Transitivity of Congruence Modulo m: If a ≡ b (mod m) and b ≡ c (mod m), Then a ≡ c (mod m)

Proving the Symmetry of Congruence Modulo m: If a ≡ b (mod m), Then b ≡ a (mod m)

The Three Principal Rotation Matrices in ℝ³: Rotations About the x-, y- and z-Axes

Projecting Points from the Plane y = 1 in ℝ³ into ℝ²: A Transformation Chain for Computer Graphics

Deriving the Intersection Point of the Plane y = 1 and the Line from the Origin to (x₁, y₁, z₁) in ℝ³

Deriving the Matrix Form of a Linear Transformation T: ℝ³ → ℝ² from First Principles

Understanding Congruence Modulo m from First Principles: a ≡ b (mod m) ⇔ m ∣ (a − b)

Proving the Hyperbolic Addition Formula sinh(A + B) = sinh A cosh B + cosh A sinh B from First Principles

Generating Stretched and Squeezed Hyperbolas in ℝ²: Cartesian and Parametric Forms

Proving the Hyperbolic Identity cosh² A − sinh² A = 1 from First Principles

Generating the Hyperbola x² − y² = 1 from a Double Cone

A Direct Derivation of the Exponential Form of tanh x Using the Definitions of sinh x and cosh x

A Direct Proof That If a and b Are Positive Integers and a ∣ b, Then a ≤ b

A Direct Proof That a ∣ b Implies an ∣ bn for Every Nonzero n ∈ ℤ

A Direct Proof That If a ∣ b and b ∣ c, Then a ∣ c

A Direct Proof That If a ∣ b and a ∣ c, Then a ∣ bn + cm for All m, n ∈ ℤ

Using an Inverse Matrix to Reverse a Linear Transformation

Deriving the Addition Rule for Two Events: P(A ∪ B) = P(A) + P(B) − P(A ∩ B)

Why Must det(A − λI) = 0? The Simple Contradiction Behind Eigenvalues

Deriving the Computational Formula for the Sum of Cross-Deviations from the Mean

From Σ(x − Mean)² to Σx² − (Σx)²/n: A First-Principles Derivation

A Direct 3×3 Exploration of the Implications of MMᵀ = I

A Direct Vector Proof of Thales’ Theorem Using Dot Products on the Unit Circle

A Direct Vector Proof That the Chord Joining Two Points of Tangency Is Perpendicular to the Line Joining the Circle’s Centre to the Intersection of the Tangents

A Direct ℝ³ Proof That (BAᵀ)ᵀ = ABᵀ Using Outer Products and Scalar Commutativity

Representing a General m×n Matrix by Its Rows and Columns and Constructing Its Transpose

A Direct 2×2 Proof That (MA)ᵀ = AᵀMᵀ Using Row-by-Column Multiplication and Dot Products

A Direct 3×3 Proof That (MA)ᵀ = AᵀMᵀ Using Matrix Multiplication and Dot Products

A Direct Proof That for Two Vectors A, B ∈ ℝ³, A · B = AᵀB = BᵀA

Building the Adjugate of a 3×3 Matrix Directly from the Cofactors of Its Transpose

A Direct Derivation of the 3×3 Inverse Matrix Formula Using Cross Products, Determinants and the Adjugate

A Direct Derivation of the Columns of a 3×3 Inverse Matrix Using Orthogonality, Cross Products and the Determinant

A Direct Proof That A · (B × C) Equals the Determinant of the 3×3 Matrix with Columns A, B and C

A Direct 3×3 Proof That det(Mᵀ) = det(M) Using Determinant Expansion and Permutation Cycles

When MA = I for Two 3×3 Matrices: Deriving the Columns of Mᵀ Using Cross Products of the Columns of A

A Direct Proof That MA = I Implies AᵀMᵀ = I for Two 3×3 Matrices

The Hidden Permutation Structure of the 3×3 Determinant

Deriving A·(B × C) = B·(C × A) = C·(A × B)

Why A·(A × x) Always Equals 0

Deriving A·(B × C) = det[A B C]

Deriving ABᵀ − BAᵀ = [B × A]ₓ

Why BAᵀ − ABᵀ = [A × B]ₓ

Deriving the Cross Product Through Skew-Symmetric Matrices

How a Skew-Symmetric Matrix Reveals the Cross-Product Direction

Building the Cross Product Matrix from A · N = 0 and B · N = 0

Constructing a Nonzero Null Vector of a 3 × 3 Skew-Symmetric Matrix

Deriving Three Important Cross-Product Equations from First Principles

Deriving the Geometric Meaning of the 2 × 2 Determinant from First Principles

Deriving the Computational Formula for Population Variance from First Principles

Deriving the 2 × 2 Adjugate Matrix from First Principles

A First-Principles Derivation of a Common Non-Zero Normal Vector in ℝ³

A Geometric Proof of Cyclic Projection Identities in a Triangle

A Step-by-Step Proof of the Matrix Identity (AB)⁻¹ = B⁻¹A⁻¹

Intersecting Chords: Why Products of Segments Match

The λ-plane: how dot products carve space into parallel sheets

The Right-Hand Cycle: Why î×ĵ Points to k̂

How a Circle in the (r,z) Plane Becomes a Torus in ℝ³

The Turning Point of a Quadratic Curve

Completing the Square from the Square (x+y)²

Reconstructing a Quadratic Sequence from Its First Three Terms

The Six Essential Pieces of a Function

Rows & Columns: Two Ways to See a Grid

Shadows on the Axes: Coordinate Projections in ℝ²

Why ∥A − B∥ = ∥B − A∥ in ℝ³ (and Beyond)

The Symmetry Hidden in ∥A − B∥

The angle between two vectors in ℝ²

Thales’ Theorem in the Unit Circle: A Coordinate Proof from First Principles