Posts

The Pilot FriXion Ball 0.7 mm: A Reliable Erasable Pen for Everyday Work

Image
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 Clear Introduction to Diagonal Matrices

Image
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)

Image
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

Image
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 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

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...

Rules of Logarithms

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...