Geometric Bites

Proving that the sum of three consecutive integers is divisible by 3. Algebraic proof questions in Edexcel International GCSE (Higher) often look difficult because they are written in words. The quickest way to handle them is to translate the words into standard algebraic forms that guarantee the number property you need (even, odd, multiple, consecutive, square, etc.). Once the translation is correct, the rest of the proof is usually straightforward simplification, factoring, and a clear final statement. This post gives a compact “toolkit” of the most common forms, presented in a table you can reuse, plus a small set of extras and techniques that frequently appear in Higher-tier proof questions. The core principle In an algebraic proof, represent the numbers so the required property is built in. For example: If a number is even, write it as 2n for some integer n. If a number is a multiple of 3, write it as 3n for some integer n. The phrase “for some integer n” matters...

An improper fraction being turned into a mixed number. Fractions are used to represent parts of a whole, but once a fraction becomes larger than 1, there are two common ways to write it: as an improper fraction or as a mixed number . These two forms often represent exactly the same quantity; the difference is simply how the number is written. Improper fractions An improper fraction is a single fraction where the numerator is greater than or equal to the denominator. This means the fraction is at least 1 whole (and possibly more). Examples: 7/4 12/5 9/9 In 7/4, there are 7 parts, and each whole is made from 4 parts. Since 7 is larger than 4, the value is greater than 1. Mixed numbers A mixed number is written as a whole number followed by a proper fraction. The proper fraction shows the leftover part after counting whole units. Examples: 1 3/4 2 2/5 3 1/6 In 1 3/4, the “1” shows one whole, and “3/4” shows three extra quarters. Same value, differe...

Structure: The Great Pyramid of Giza, Egypt. Source:  https://commons.wikimedia.org/wiki/File:Kheops-Pyramid.jpg When physicists and mathematicians talk about the “architecture” of the universe, it can sound like they mean the universe was built like a house. Most of the time, they do not mean that. In this context, “architecture” is a practical word for something simpler and more specific: The universe behaves as if it has deep, consistent structure — stable rules and constraints that keep working wherever we look. This post explains why many scientists think that is a reasonable conclusion, without assuming any advanced mathematics. 1) The universe repeats itself: patterns that do not go away In everyday life, you already rely on the universe being stable: If you drop a mug, it falls. If you heat water, it boils at roughly the same temperature (given the same pressure). If you shine light through glass, it bends in predictable ways. Science extends this ...

A quadratic function and its turning point. Link to graph:  https://www.desmos.com/calculator/fktyfs12st A quadratic function is any function of the form f(x) = ax² + bx + c with a ≠ 0 . Its graph is a parabola, and every parabola has exactly one turning point (also called the vertex ). Completing the square is fundamental because it rewrites the quadratic as a shifted square , which makes the turning point immediately visible. Vertex form: the turning point is built in The vertex form of a quadratic is: f(x) = a(x − h)² + k This form is powerful because it exposes two facts at once: (x − h)² ≥ 0 for all real x (a square is never negative). (x − h)² = 0 happens exactly when x = h . So: If a > 0 , then a(x − h)² ≥ 0 , so the smallest possible value of f(x) is k , achieved at x = h (a minimum). If a < 0 , then a(x − h)² ≤ 0 , so the largest possible value of f(x) is k , achieved at x = h (a maximum). Therefore, in vertex form, the turning ...

Parabolas in sight: The Clifton Suspension Bridge, Bristol, United Kingdom. A quadratic function is a function whose graph is a parabola (a U-shaped curve). One of the most useful ways to write a quadratic is in vertex form , because it shows the parabola’s turning point immediately. 1) The vertex form A quadratic function in vertex form is written as: f(x) = a(x - h) 2 + k This form is especially helpful because the values h and k tell you the vertex directly. 2) The vertex (turning point) The vertex is the point where the parabola changes direction. In vertex form: Vertex = (h, k) If the parabola opens up , the vertex is the lowest point (a minimum). If the parabola opens down , the vertex is the highest point (a maximum). 3) What the number a does The number a controls two key things: the direction the parabola opens, and how wide or narrow it is. a > 0 means the parabola opens up (U-shape). a < 0 means the parabola opens dow...

1) n! (factorial) Meaning: tells you how many permutations (complete orderings) you can generate with n objects at your disposal. Definition: n! = n × (n−1) × (n−2) × … × 2 × 1, with 0! = 1. Example: 5! = 5×4×3×2×1 = 120. 2) n!/(n−r)! (permutations of r choices from n; order matters) Meaning: tells you how many ordered outcomes you can generate when you make r choices out of a collection of n objects, without reuse. How to see it: 1st choice: n options 2nd choice: (n−1) options 3rd choice: (n−2) options … rth choice: (n−r+1) options Multiply: n × (n−1) × … × (n−r+1) = n!/(n−r)!. Example (n=5, r=2): 5P2 = 5!/(5−2)! = 5!/3! = (5×4×3×2×1)/(3×2×1) = 5×4 = 20. 3) (n!/(n−r)!)/r! = n!/((n−r)! r!) (combinations; order neglected) Meaning: tells you how many selections you can make when choosing r objects from n, where order does not matter. ...

Geometric Bites has always been about clear diagrams and full derivations that help you see the structure of mathematics. Over time it has grown into a rich, freely accessible library of explanations, proofs and visual ideas. Geometry Insights is the premium companion to that work: a dedicated article site focused on GCSE, A-Level and Further Pure mathematics, written from first principles with carefully engineered diagrams and a long-term, structured archive in mind. Visit Geometry Insights: https://geometryinsights.wordpress.com What Makes Geometry Insights Different? Where Geometric Bites offers free posts and full derivations, Geometry Insights is a curated, subscription-only library. Each article is built to answer a deeper question: not just “how do I use this formula?” but “why does this formula exist at all?” Premium-only articles that go in depth on GCSE, A-Level and Further Pure topics. First-principles derivations that start from definitions and basic f...

The angle–difference identities are: sin(α − β) = sinα cosβ − cosα sinβ cos(α − β) = cosα cosβ + sinα sinβ They can be seen geometrically using a rectangle OZYX with a few right-angled triangles inside it. All side lengths can be written in terms of sinα, cosα, sinβ and cosβ. First, draw a right triangle OPQ with hypotenuse OQ = 1 and angle β at O. By definition: OP = cosβ (horizontal side), QP = sinβ (vertical side). Next, use OP as the hypotenuse of another right triangle OPZ. The right angle is at Z, and the angle at P is α. The hypotenuse is OP = cosβ, so: OZ = sinα cosβ, ZP = cosα cosβ. In a similar way, use QP as the hypotenuse of a right triangle PQY. The right angle is at Y, and the angle at Q is α. The hypotenuse is QP = sinβ, so: QY = cosα sinβ, PY = sinα sinβ. Drop a vertical line from Y to the base at Z, and a horizontal line from Y to the left side at X. This makes OZYX a rectangle with: base OZ, height ZY. On the...

Consider a cyclic quadrilateral: all four of its vertices lie on a circle. Join the centre of the circle to each vertex. This creates four isosceles triangles, each made from two radii and one side of the quadrilateral. Label the angles of the quadrilateral at the circumference by w, x, y and z. In each isosceles triangle, the angles at the base are equal, so the angle at the centre is: π − 2w, π − 2x, π − 2y, π − 2z. These four central angles meet at a point, so together they make one full turn: (π − 2w) + (π − 2x) + (π − 2y) + (π − 2z) = 2π. Rearranging gives: −2w − 2x − 2y − 2z + 4π = 2π so 2w + 2x + 2y + 2z = 2π and therefore w + x + y + z = π. From this, the opposite-angle relations in the quadrilateral follow directly: w + z = π − (x + y), z + y = π − (w + x). So in any cyclic quadrilateral, each pair of opposite angles adds up to π radians .

The angle–addition identities for sine and cosine often appear as algebraic formulas, but they can also be understood by combining two right triangles in a simple geometric construction. The calculations for the side lengths follow directly from the definitions of sine and cosine. sin(x + y) = sin x cos y + cos x sin y cos(x + y) = cos x cos y − sin x sin y Start with a right triangle of angle y and hypotenuse 1. From basic trigonometry, its horizontal and vertical sides are: cos y and sin y. Next, attach a second right triangle with angle x . Its hypotenuse is the side of length cos y from the first triangle, so its adjacent and opposite sides become: adjacent = cos x · cos y opposite = sin x · cos y Likewise, if the first triangle's vertical side sin y is used as a hypotenuse in a similar way, it contributes: adjacent = cos x · sin y opposite = sin x · sin y When the horizontal components are combined, they give the expression for cos(x + y...

When I write mathematical proofs, clarity and precision matter. A single misplaced symbol can alter the entire meaning of an argument. That is why my writing tool must be reliable, smooth, and forgiving. After years of trying different pens, pencils and fineliners, I now rely on one tool for all my handwritten proofs: the Pilot FriXion Ball 0.7 mm . This pen has become an essential part of my workflow. It writes smoothly, erases cleanly and can be refilled easily, making it ideal for long mathematical sessions where neatness and accuracy are critical. Video Review (1 Minute) Here is a short demonstration showing the pens up close and how the ink writes and erases. Why This Pen Works Perfectly for Mathematical Proofs Proof-writing is a process of refinement. You revise, adjust, correct and restructure your ideas repeatedly. With most pens, each correction introduces visual noise — scribbles, crossings-out or rewritten pages. The FriXion Ball removes that issue entirely....

A diagonal matrix is a square matrix in which every entry away from the main (leading) diagonal is zero. The leading diagonal runs from the top-left corner of the matrix to the bottom-right corner, and these diagonal entries are the only positions that may contain non-zero values. All off-diagonal entries must be zero. The diagonal entries themselves can be any real numbers, including zero. This strict structure is what makes diagonal matrices especially simple to analyse and compute with in linear algebra. Examples of Diagonal Matrices The general 2×2 diagonal matrix has the form: (a 0) (0 b) The general 3×3 diagonal matrix has the form: (a 0 0) (0 b 0) (0 0 c) In both cases, the values on the leading diagonal (a, b, c, …) are the only entries that may be non-zero. Every position above or below this diagonal is fixed at 0. The General n×n Diagonal Matrix For an n×n dia...

Why the Line ax + by = 0 Passes Through the Point (−b, a) In ℝ² , the equation ax + by = 0 describes a line that is perpendicular to the vector (a, b) . This article explains exactly why—and why that line always passes through the point (−b, a) . 1. Start with the Vector (a, b) Consider the vector (a, b) . To find a line perpendicular to it, we need a vector whose dot product with (a, b) is zero. Try the vector (−b, a) : (a, b) · (−b, a) = a(−b) + b(a) = −ab + ab = 0 Therefore, (−b, a) is perpendicular to (a, b) . 2. Any Scalar Multiple Also Works If (−b, a) is perpendicular to (a, b) , then any multiple λ(−b, a) is also perpendicular: (a, b) · [λ(−b, a)] = λ[(a, b) · (−b, a)] = λ · 0 = 0 Let this perpendicular vector be (x, y) . Then (x, y) = λ(−b, a) Every point on the line comes from a particular choice of λ . 3. Converting to an Equation Since (x, y) is perpendicular to (a, b) , we have: (a, b) · (x, y) = 0 Expanding ...

2×2 Orthogonal Matrix Mastery — A Generalised Construction Orthogonal matrices in two dimensions reveal one of the cleanest structures in linear algebra. A 2×2 matrix is orthogonal when its columns (and rows) satisfy two conditions: They are perpendicular (their dot product is zero); They have unit length (their magnitude is one). This article presents a clear generalisation: any pair of perpendicular vectors with equal magnitude can be normalised to form an orthogonal matrix. 1. Begin with two perpendicular vectors Let the first vector be: (a, b) A perpendicular vector can be chosen as: (−b, a) Their dot products confirm orthogonality: (a, b) · (−b, a) = −ab + ab = 0 (a, −b) · (b, a) = ab − ab = 0 2. Compute their shared magnitude Both vectors have the same length: |(a, b)| = √(a² + b²) We can therefore normalise each one by dividing by √(a² + b²). 3. Form the matrix using the normalised vectors Place the two normalised vectors...

Orthogonal Matrices and Mutually Orthogonal Vectors Orthogonal matrices appear naturally throughout linear algebra, geometry, physics, and computer graphics. They preserve lengths, angles, and orientation, which makes them fundamental in describing rotations and rigid motions in three-dimensional space. This article provides a clear and carefully structured explanation of what orthogonal matrices are, why they matter, and how to verify that a given matrix is orthogonal. 1. Definition of an Orthogonal Matrix Let M be an n × n square matrix. M is called orthogonal if it satisfies: M M T = I Here: M T is the transpose of M. I is the identity matrix of the same size. Because of this property, every orthogonal matrix has a very useful consequence: M -1 = M T This means that the inverse of an orthogonal matrix is obtained simply by transposing it. This property is central to rigid-body transformations in 3D geometry and computer graphics. 2...

Linear Transformations in ℝ³ and 3×3 Matrices Matrices give us a compact way to describe linear transformations in three-dimensional space. A linear transformation is a mapping T : ℝ³ → ℝ³ that sends a point with position vector (x, y, z) to another point, according to a rule with two key properties. What Makes a Transformation Linear? A transformation T : ℝ³ → ℝ³ is called linear if, for all real numbers λ and all vectors (x, y, z) in ℝ³, T(λx, λy, λz) = λ T(x, y, z), and for all vectors (x₁, y₁, z₁) and (x₂, y₂, z₂) in ℝ³, T(x₁ + x₂, y₁ + y₂, z₁ + z₂) = T(x₁, y₁, z₁) + T(x₂, y₂, z₂). The point that (x, y, z) is sent to is called the image of (x, y, z) under T. The Standard Basis Vectors To find the matrix that represents a particular transformation, it is enough to know what happens to three special vectors, called the standard basis for ℝ³: î = (1, 0, 0) ĵ = (0, 1, 0) k̂ = (0, 0, 1) Once we know the images of î, ĵ and k̂, th...

This article presents the rules of logarithms using complete, line-by-line derivations. Every identity is built directly from its exponential origin, without shortcuts, matching the structure of formal handwritten algebra. 1. Definition We begin with fundamental exponent facts: a⁰ = 1 ⇒ logₐ(1) = 0 a¹ = a ⇒ logₐ(a) = 1 Say: aᵐ = p Then, by definition: logₐ(p) = m Raise both sides of aᵐ = p to the power 1/m (with m ≠ 0 ): p^(1/m) = a Therefore: logₚ(a) = 1/m Since m = logₐ(p) , we obtain: logₐ(p) = 1 / logₚ(a) 2. Product Rule — Full Derivation Say: aᵐ = p and aⁿ = q Multiply: aᵐ · aⁿ = p · q Using index addition: a^(m+n) = p · q Taking logarithms: logₐ(p · q) = m + n Substitute: logₐ(p · q) = logₐ(p) + logₐ(q) 3. Quotient Rule — Full Derivation Say: aᵐ = p and aⁿ = q Divide: aᵐ / aⁿ = p / q Index subtraction gives: a^(m−n) = p / q Taking logarithms: logₐ(p / q) = m − n So: log...

Finding the Inverse of a 2x2 Matrix from Scratch This post shows a complete, step-by-step derivation of the inverse of a 2x2 matrix. Everything is expressed using stable, browser-safe ASCII formatting so the layout displays correctly on all devices and all templates. FIRST PART. Start with the matrix equation: A = [[a, b], [c, d]] A^(-1) = [[w, x], [y, z]] Goal: A * A^(-1) = I This produces the column equations: [aw + by, cw + dy]^T = [1, 0]^T [ax + bz, cx + dz]^T = [0, 1]^T Which gives the four equations: aw + by = 1 cw + dy = 0 ax + bz = 0 cx + dz = 1 SECOND PART. Use the first two equations to find w. aw + by = 1 cw + dy = 0 Multiply: (ad)w + (bd)y = d (first eq multiplied by d) (bc)w + (bd)y = 0 (second eq multiplied by b) Subtract: (ad - bc)w = d w = d / (ad - bc) (ad - bc != 0) THIRD PART. Use the next pair to find x. ax + bz = 0 cx + dz = 1 Multiply: (ad)x + (bd)z = 0 (bc)x + (bd)z = b Subtract: (ad - bc)...

Converting the Vector Equation of a Line into Cartesian Form A straight line in three-dimensional space can be expressed using vectors. One important vector form is (𝐑 − 𝐀) × 𝐁 = 0 This equation states that the displacement vector from a fixed point 𝐀 to a general point 𝐑 is parallel to the direction vector 𝐁. Two non-zero vectors have a zero cross product precisely when they are parallel. From this fact, the Cartesian (symmetric) equation of the line can be derived. 1. Substituting Coordinate Vectors The general point on the line is written as 𝐑 = (x, y, z) The fixed point is 𝐀 = (x₁, y₁, z₁) The direction vector is 𝐁 = (l, m, n) Substituting these into the vector equation yields: ((x, y, z) − (x₁, y₁, z₁)) × (l, m, n) = 0 which simplifies to: (x − x₁, y − y₁, z − z₁) × (l, m, n) = 0 2. Using the Condition for a Zero Cross Product If two non-zero vectors have a zero cross product, then one is a scalar multiple of the other. T...

The Difference Between the Lines 𝐀 + t𝐁 and 𝐁 + t(𝐀 − 𝐁) A line in vector form is defined by two components: a base point that determines its position, and a direction vector that determines its orientation. Two expressions may involve the same vectors but still represent completely different lines when either the base point or the direction vector changes. The expressions L₁: 𝐀 + t𝐁 L₂: 𝐁 + t(𝐀 − 𝐁) provide a clear example of how distinct lines arise from different vector components. 1. Line L₁: 𝐀 + t𝐁 The expression 𝐀 + t𝐁 describes a line passing through the point represented by vector 𝐀 with direction vector 𝐁. As the real parameter t varies, the expression generates all points on the line. Base point: 𝐀 Direction vector: 𝐁 This is the line through 𝐀 directed along 𝐁. 2. Line L₂: 𝐁 + t(𝐀 − 𝐁) The expression 𝐁 + t(𝐀 − 𝐁) describes a different line. Its base point is 𝐁, and its direction vector is t...