Why your favorite fractions are actually a formal mathematical proof
In short: We use fractions every day to measure time and distance, but have you ever stopped to ask what they actually are? Beyond simple division, rational numbers rely on a rigorous logical structure that allows us to prove how basic arithmetic behaves across the entire number system.
The concept of a rational number is formally defined as any number that can be expressed as n/d, where n and d are integers. In this structure, d is known as the denominator, which determines the specific fractional unit or denomination, while n is the numerator, representing how many of those units are being counted. This relationship is grounded in a fundamental property: the fractional unit 1/d is defined by the fact that d multiplied by 1/d equals exactly 1.
One of the most important characteristics of these numbers is their lack of uniqueness. Because any positive integer k can be multiplied by both the numerator and denominator without changing the fraction's value, there are infinite ways to write the same number. However, every fraction can be simplified into 'lowest terms,' where the numerator and denominator are relatively prime integers. This distinction between improper fractions (where n is greater than or equal to d) and proper fractions helps organize how we perceive magnitude.
The transition from simple counting to rational arithmetic requires a formal proof of closure—specifically, that adding two rational numbers always results in another rational number. To prove this, mathematicians use a five-step direct proof process involving the definition of assumptions and conclusions. For example, when adding two fractions with different denominators, one must find a common denominator using the least common multiple (LCM). By finding integers k and l such that kb equals ld, both fractions can be rewritten over a shared base, allowing the numerators to be added or subtracted while preserving the rational nature of the sum.
This logic ensures that the five fundamental laws of positive integers generalize perfectly to all rational numbers. It transforms arithmetic from a set of 'rules' we memorize into a consistent logical system where every operation follows predictably from the initial definition of what a fraction is.
Opens the Intellect+ feed with this card first. Swipe up for the next one.
Sources
- Summary by Intellect · source: Rational Numbers | Definition + First Proof
- Also: Arithmetic - Rational Numbers | Britannica
To cite this card, link to https://intellectplus.co.uk/app/science-rational-numbers-definition-first-proof.
How we source, check and correct cards: Editorial standards.
General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.
Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?
Related
More in Number theory · More in Science · Latest · A–Z · All topics
