29 Cards 23 Min Read

Ch 02 - The Baudhayana-Pythagoras Theorem8th Ganita Prakash Part 2

Historical Origin: Baudhāyana-Pythagoras Theorem

Who was the first person in history to formally state the theorem relating the sides of a right triangle, and in which ancient text?

FACT

Baudhāyana: Stated the theorem in full generality in the ancient Indian text Śulba-Sūtra (c. 800 BCE).
Pythagoras: The Greek philosopher (c. 500 BCE) who studied the theorem nearly three centuries later.
Transitional Naming: NCERT officially utilizes the name Baudhāyana-Pythagoras Theorem to honor its true origin while maintaining global recognition.

Prism Memory Hook

Baudhayana was Before Pythagoras.

Conceptual Trap: The Area Scaling of Squares

Why does algebraically multiplying the side length of a square by exactly 2 fail to produce a square of exactly double the initial area?

DISTINCTION

The Trap: Intuitively, one might assume that mathematically doubling the side length of a square strictly doubles its surface area.
The Reality: If side $s$ is doubled to $2s$ , the new area becomes $(2s)^2 = 4s^2$ .
This operation yields exactly four times the original area, not double.
Resolution: To precisely double the area of a square, you must mathematically manipulate the geometry utilizing the diagonal, not scale the linear sides by a factor of 2.

Prism Memory Hook

Double the side equals Quadruple the size.

Geometric Construction: Doubling a Square's Area

PROCEDURAL Formula

A_{\text{new}} = (s\sqrt{2})^2 = 2s^2

Defines the ancient geometric method established in the Śulba-Sūtra to construct a new square containing exactly double the area of a starting square.

Derivation

Physically draw the diagonal transversing across the original square.
Utilize the exact continuous length of this diagonal as the new foundational side length for your target square.
Visual Proof: The original base square contains exactly 2 congruent right triangles partitioned by the diagonal.
A newly constructed square built entirely on this diagonal physically encloses 4 of these exact same foundational triangles, mathematically yielding precisely double the starting area.

Component Anatomy:

$s$ : The linear side length of the original base square.
$s\sqrt{2}$ : The mathematically exact length of the diagonal spanning the original square.

Boundary Conditions / Domain:

$s > 0$ .
Since physical area geometrically scales quadratically, the strictly required multiplier for the linear side must be $\sqrt{2}$ .

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Geometric Construction: Halving a Square's Area

PROCEDURAL Formula

A_{\text{half}} = \frac{1}{2}s^2

States the procedural geometric algorithm to construct a specific square containing exactly half the area of a given initial square.

Derivation

Geometrically identify the strict midpoints of all four linear sides of the original square.
Sequentially connect these four midpoints using straight lines to form an inner, rotated (tilted) square.
Alternative Paper Folding SOP: Physically fold the square inward so that all four outer corners meet exactly at the calculated geometric center.
The resulting folded footprint inherently represents the strictly half-area square.

Component Anatomy:

$s$ : Side length of the original outer square.
Inner Square: The newly resulting geometric square possessing strictly $50\%$ of the original area.

Boundary Conditions / Domain:

$s > 0$ .
Analytically cutting the side length in half mathematically yields one-quarter the area ( $\frac{1}{4}s^2$ ), not half, necessitating this midpoint procedure.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Theorem: Hypotenuse of an Isosceles Right Triangle

CONCEPT Formula

c = a\sqrt{2}

States the direct algebraic formula connecting the hypotenuse directly to the legs of an isosceles right triangle.

Derivation

A fundamental square of side $a$ inherently has an area of $a^2$ .
An isosceles right triangle possessing legs of length $a$ geometrically forms exactly half of this base square.
Based on the area doubling principle, the new square built explicitly on the hypotenuse $c$ possesses double the area of the original square: $c^2 = 2a^2$ .
Algebraically taking the principal square root yields strictly $c = a\sqrt{2}$ .

Component Anatomy:

$a$ : The exact length of each of the two identical legs.
$c$ : The calculated length of the hypotenuse.

Boundary Conditions / Domain:

$a > 0$ .
The triangle MUST be strictly right-angled ( $90^\circ$ ) and strictly isosceles ( $45^\circ-45^\circ-90^\circ$ ).

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Learning through recall beats re-reading.

Study this chapter with Active Recall in the Prism App.

Start Studying

Number Theory: The Irrational Nature of \sqrt{2}

What are the strict numerical decimal bounds of $\sqrt{2}$ and mathematically why is it rigorously classified as an irrational number?

FACT

Decimal Value: Mathematically, $\sqrt{2} \approx 1.41421356...$
Mathematical Bounds: Its value is strictly and provably located bounded between $1.414$ and $1.415$ .
Fundamental Nature: It is rigorously classified as an irrational number. This explicitly dictates it possesses a non-terminating, completely non-repeating infinite decimal expansion and mathematically cannot ever be expressed as a simple fraction $\frac{m}{n}$ where $m,n \in \mathbb{Z}$ .

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algorithmic Proof: Euclid's Demonstration of Irrationality

Outline the systematic algorithmic steps of Euclid's proof by contradiction demonstrating that $\sqrt{2}$ mathematically cannot be expressed as a rational fraction.

PROCEDURAL

Step 1 (The Assumption): Begin by assuming the mathematical opposite: $\sqrt{2}$ can be perfectly written as a fully reduced fraction $\frac{m}{n}$ .
Step 2 (Algebraic Manipulation): Square both sides to eliminate the radical root yielding $2 = \frac{m^2}{n^2}$ , which algebraically rearranges strictly to $2n^2 = m^2$ .
Step 3 (The Parity Trap): In the fundamental prime factorization of any perfect square integer, every constituent prime number must mathematically appear an even number of times.
Step 4 (The Contradiction): Analyze $2n^2$ . The prime factor $2$ appears an odd number of times. Now analyze $m^2$ . The prime factor $2$ inherently appears an even number of times.
Conclusion: An odd parity quantity cannot mathematically equal an even parity quantity. The core assumption severely contradicts mathematical law, decisively proving $\sqrt{2}$ is strictly irrational.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Geometric Construction: Summing Two Different Squares

PROCEDURAL Formula

A_{\text{combined}} = c^2 = a^2 + b^2

Details the precise geometric procedure defined in Baudhāyana's Śulba-Sūtra (Verse 1.12) to construct a singular square whose physical area exactly equals the combined sum of two different given squares.

Derivation

Physically extract the side length $a$ of the first square and the side length $b$ of the second square.
Geometrically arrange these two lengths so they intersect exactly at a $90^\circ$ angle, deliberately forming the two legs of a right triangle.
Draw the resulting hypotenuse $c$ connecting the open terminal ends of lengths $a$ and $b$ .
Physically construct a brand new square exclusively utilizing this hypotenuse $c$ as its structural side length.

Component Anatomy:

$a, b$ : The discrete side lengths of the two fundamentally different original squares.
$c$ : The newly formed hypotenuse created strictly by joining $a$ and $b$ at a perfect right angle.

Boundary Conditions / Domain:

$a, b > 0$ .

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Geometric Verification: Proving the Combined Shape is a Square

When geometrically combining two distinct squares using Baudhāyana's rearrangement method, how do we mathematically and rigorously verify that the new resulting figure is a perfect square and not simply a rhombus?

CONCEPT

The Requirement: When dissecting and rearranging the geometric pieces of two distinct squares around the common hypotenuse $c$ , you must mathematically prove the resulting closed 4-sided figure is a perfect square, not merely a rhombus.
Proof of $90^\circ$ Angles: Define the two acute angles of the foundational right triangle purely as $x$ and $90^\circ - x$ .
The Intersection: At every single external corner of the newly assembled figure, these two specific complementary angles physically abut and meet.
The Resolution: Therefore, the geometric angle calculated at each vertex is exactly $x + (90^\circ - x) = 90^\circ$ .
Conclusion: Combined inextricably with all four bounding sides possessing length $c$ , the constructed figure is mathematically and strictly categorized as a square.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Geometric Construction: Difference of Two Squares

PROCEDURAL Formula

A_{\text{diff}} = b^2 = c^2 - a^2

Details the inverse geometric procedure required to accurately construct a square whose resulting area is exactly equivalent to the geometric difference in area between two initially provided squares.

Derivation

Extract the side length $c$ of the physically larger square to exclusively serve as the structural hypotenuse.
Extract the side length $a$ of the smaller square to specifically serve as one known leg.
Geometrically construct a right-angled triangle utilizing the fixed hypotenuse $c$ and the fixed leg $a$ .
Geometrically determine and isolate the missing connecting leg $b$ .
Construct a completely new square anchored on leg $b$ . Its geometric area will rigorously evaluate precisely to $c^2 - a^2$ .

Component Anatomy:

$c$ : The measured side length of the substantially larger given square.
$a$ : The measured side length of the strictly smaller given square.
$b$ : The unknown calculated side of the new target square.

Boundary Conditions / Domain:

$c > a > 0$ .
Mathematical area cannot evaluate to a negative quantity.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Formulas require repetition, not just reading.

Prism uses spaced repetition to cement formulas in long-term memory.

Try Prism Free

Geometric Construction: Tripling a Square's Area (3x)

PROCEDURAL Formula

A_{3x} = a^2 + (a\sqrt{2})^2 = 3a^2

States the rigorous geometric algorithmic procedure required to construct a square possessing exactly 3 times the physical area of a given base square.

Derivation

Physically extract the linear length $a$ (the base side) and the length $a\sqrt{2}$ (the established diagonal of the original square).
Geometrically construct a right triangle explicitly utilizing the lengths $a$ and $a\sqrt{2}$ strictly as the two perpendicular legs.
Identify the newly resulting hypotenuse generated by this setup.
The new geometric square built squarely on this specific hypotenuse mathematically resolves an area of $a^2 + 2a^2 = 3a^2$ .

Component Anatomy:

$a$ : The precise side length of the initial base square.
$a\sqrt{2}$ : The exact geometric diagonal of the initial base square.

Boundary Conditions / Domain:

$a > 0$ .
Strictly valid for creating precise geometric irrational area multiples entirely without relying on ruled measuring instruments.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

The Core Identity: Baudhāyana-Pythagoras Theorem

CONCEPT Formula

a^2 + b^2 = c^2

States the fundamental algebraic equation for the Baudhāyana-Pythagoras Theorem permanently connecting the three linear sides of a right triangle.

Derivation

This absolute algebraic truth emerges directly and flawlessly from the established geometric area proofs.
It physically dictates that the total square area constructed explicitly on the hypotenuse ( $c^2$ ) perfectly and equally equates to the combined sum of the areas of the squares constructed on the two shorter legs ( $a^2 + b^2$ ).

Component Anatomy:

$a, b$ : The specific algebraic lengths of the two shorter, mutually perpendicular legs of a right-angled triangle.
$c$ : The specific algebraic length of the hypotenuse (the elongated side positioned strictly and directly opposite the $90^\circ$ angle).

Boundary Conditions / Domain:

$a, b, c > 0$ .
This theorem is strictly and exclusively mathematically valid only for right-angled triangles in Euclidean space.

Prism Memory Hook

Leg squared plus Leg squared equals Hypotenuse squared.

Algebraic Deduction: The Hypotenuse Inequality

Utilizing the strict algebraic equation of the Baudhāyana-Pythagoras theorem, formally prove mathematically why the hypotenuse is invariably the longest side of a right triangle.

DISTINCTION

Mathematical Proof: Since spatial lengths dictate $a, b > 0$ , their resulting algebraic squares $a^2$ and $b^2$ must evaluate strictly as positive nonzero values.
Because the identity dictates $c^2 = a^2 + b^2$ , it is mathematically and universally guaranteed that $c^2 > a^2$ and simultaneously $c^2 > b^2$ .
Therefore, mathematically taking the positive principal square root of these inequalities yields strictly $c > a$ and $c > b$ .
Conclusion: The calculated hypotenuse is undeniably and invariably the longest continuous side of any given right-angled triangle.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Number Theory: Defining Baudhāyana Triples

Formally define the concept of a Baudhāyana Triple and state the strict mathematical boundary condition regarding the specific type of numbers permitted.

DEFINITION

Definition: A formal Baudhāyana (Pythagorean) Triple is classified as a discrete set of exactly three positive integers $(a, b, c)$ that perfectly and simultaneously satisfy the algebraic equation $a^2 + b^2 = c^2$ .
The Absolute Condition: The three numbers MUST strictly evaluate as integers ( $a, b, c \in \mathbb{Z}^+$ ).
The Trap: Fractional or decimal side lengths (e.g., $1.5, 3.5, \sqrt{14.5}$ ) absolutely can geometrically satisfy the area theorem, but they are mathematically NEVER classified under the definition of 'triples'.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Classification: Primitive vs. Scaled Triples

What is the strict mathematical and algebraic difference differentiating a Primitive Baudhāyana Triple from a Scaled Baudhāyana Triple?

DISTINCTION

Primitive Triple: Defined strictly as a specific triple $(a, b, c)$ where the three constituent integers possess absolutely no common geometric factor greater than 1 (e.g., $3, 4, 5$ ). They are completely coprime as a set.
Scaled (Non-Primitive) Triple: A derivative triple mathematically generated by multiplying a foundational primitive triple by an integer scalar $k > 1$ . By definition, they uniformly share a common factor $k$ .
Example Trap: The set $(6, 8, 10)$ is geometrically a valid right triangle triple, but it is strictly categorized as a scaled version derived from $(3, 4, 5)$ multiplied uniformly by 2, hence it is NOT primitive.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

NCERT + Active Recall = Exam Mastery.

Every card here is designed for smart study, not passive scrolling.

Unlock Full Access

High-Yield Mental Math: Primitive Triples

List the top 6 most mathematically common foundational primitive Baudhāyana Triples heavily required for rapid calculation in competitive environments.

MEMORY

$(3, 4, 5) \implies 9 + 16 = 25$
$(5, 12, 13) \implies 25 + 144 = 169$
$(8, 15, 17) \implies 64 + 225 = 289$
$(7, 24, 25) \implies 49 + 576 = 625$
$(9, 40, 41) \implies 81 + 1600 = 1681$
$(12, 35, 37) \implies 144 + 1225 = 1369$

Strategic Note: Memorizing these baseline primitive sets allows for near-instant right-triangle side identification during competitive exams without requiring manual polynomial calculation.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algebraic Proof: Forward Scaling of Triples

PROCEDURAL Formula

(ka)^2 + (kb)^2 = (kc)^2

Given that $(a, b, c)$ acts as a verified Baudhāyana triple, this establishes the algebraic proof demonstrating that multiplying all sides uniformly by integer $k$ yields a newly valid geometric triple.

Derivation

Analytically start with the intended scaling assumption applied entirely to the legs: $(ka)^2 + (kb)^2$ .
Rigorously expand the squares utilizing exponent rules: $k^2a^2 + k^2b^2$ .
Algebraically factor out the shared $k^2$ coefficient: $k^2(a^2 + b^2)$ .
Substitute the natively known primitive relation ( $a^2 + b^2 = c^2$ ) into the parenthesis: $k^2(c^2)$ .
Re-combine the multiplied squares: $(kc)^2$ . The strict algebraic equality holds perfectly true.

Component Anatomy:

$(a, b, c)$ : The established base primitive numerical triple.
$k$ : Any strict positive integer scaling factor.

Boundary Conditions / Domain:

$k > 0, k \in \mathbb{Z}^+$ .
This mathematical mechanic explicitly proves there exist an universally infinite number of valid Baudhāyana triples.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algebraic Proof: Inverse Reduction of Triples

PROCEDURAL Formula

\left(\frac{a}{f}\right)^2 + \left(\frac{b}{f}\right)^2 = \left(\frac{c}{f}\right)^2

If $(a, b, c)$ acts as a non-primitive triple sharing a common integer factor $f > 1$ , this algebraic relationship formally proves that simultaneously dividing by $f$ yields a perfectly valid, mathematically reduced triple.

Derivation

Initialize given that $(a,b,c)$ strictly satisfies the identity $a^2 + b^2 = c^2$ .
Because integer $f$ is a confirmed common factor, algebraically divide the entire established equation strictly by $f^2$ .
This yields: $\frac{a^2 + b^2}{f^2} = \frac{c^2}{f^2}$ .
Systematically distribute the fractional denominator across the terms: $\frac{a^2}{f^2} + \frac{b^2}{f^2} = \frac{c^2}{f^2}$ .
Rewrite utilizing the power of a quotient rule: $\left(\frac{a}{f}\right)^2 + \left(\frac{b}{f}\right)^2 = \left(\frac{c}{f}\right)^2$ .
This explicitly proves that the reduced mathematical terms $\left(\frac{a}{f}, \frac{b}{f}, \frac{c}{f}\right)$ maintain equality and form a valid Baudhāyana triple. If $f$ is the absolute HCF, this resulting triple evaluates as strictly primitive.

Component Anatomy:

$(a, b, c)$ : A known, strictly non-primitive Baudhāyana triple.
$f$ : The Highest Common Factor (HCF) shared uniformly across $a, b$ , and $c$ .

Boundary Conditions / Domain:

$f > 1, f \in \mathbb{Z}^+$ .
Conceptually, every individual non-primitive triple mathematically exists strictly as a scaled multiplicative derivative of a foundational primitive triple.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algorithm: Generating Triples using Odd Squares

PROCEDURAL Formula

(n-1)^2 + (2n-1) = n^2

States the precise algebraic identity deployed to systematically generate pure Baudhāyana triples exploiting the arithmetic sequence of odd numbers.

Derivation

Procedurally pick an odd number that mathematically exists as a perfect square, for example, $25$ (which is $5^2$ ).
Set the general odd number formula equal to this target: $2n - 1 = 25$ .
Solve for index $n \implies 2n = 26 \implies n = 13$ .
Analytically calculate the sequential predecessor $(n-1) = 12$ .
Plug these strict values directly into the core identity: $12^2 + 25 = 13^2 \implies 12^2 + 5^2 = 13^2$ .
The successfully generated primitive mathematical triple resolves cleanly as $(5, 12, 13)$ .

Component Anatomy:

$n$ : The positional index of the targeted odd number.
$2n - 1$ : The algebraic definition representing the $n$ th sequential odd number.
$(n-1)^2$ : Mathematically represents the running sum of the first $(n-1)$ odd numbers.

Boundary Conditions / Domain:

$n \in \mathbb{Z}, n > 1$ .
The specifically chosen $n$ th odd number ( $2n - 1$ ) MUST explicitly be a perfect square (e.g., $9, 25, 49$ ) for the resulting calculated side values to evaluate strictly as integers (thus forming a mathematically valid triple).

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Mathematical Bounds: The Flaw in Odd-Square Generation

Mathematically, why does the ' $(n-1)^2 + \text{odd square} = n^2$ ' arithmetic method definitively fail to successfully generate ALL universally possible primitive Baudhāyana triples?

DISTINCTION

The Structural Limitation: The specific algebraic generative framework $(n-1)^2 + m^2 = n^2$ strictly produces triples where the calculated hypotenuse ( $n$ ) and one connecting leg ( $n-1$ ) resolve strictly as consecutive integers (e.g., $4,5$ in $3,4,5$ ; or $12,13$ in $5,12,13$ ).
The Overlooked Exception: There exist numerous valid primitive triples that mathematically do not rely on consecutive integers outlining the hypotenuse and long leg, explicitly such as $(8, 15, 17)$ or $(20, 21, 29)$ .
Final Conclusion: Consequently, this highly specific consecutive-based generation method is mathematically incomplete and CANNOT computationally generate all existing infinite primitive triples.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Download Prism to study offline.

Access your entire NCERT library anywhere, even without internet.

Get the App

Universal Algorithm: Euclid's Formula for Triples

PROCEDURAL Formula

\begin{aligned} a &= m^2 - n^2 \ b &= 2mn \ c &= m^2 + n^2 \end{aligned}

States the universal general algebraic rule (Euclid's formula) deployed to structurally generate all infinite Baudhāyana (Pythagorean) triples utilizing merely two positive integer seeds, $m$ and $n$ .

Derivation

Algebraically calculate the leg squares: $a^2 + b^2 = (m^2 - n^2)^2 + (2mn)^2$ .
Rigorously expand utilizing polynomial identities: $(m^4 - 2m^2n^2 + n^4) + 4m^2n^2$ .
Systematically combine the matching like terms: $m^4 + 2m^2n^2 + n^4$ .
Analytically recognize and re-factor the resulting perfect square trinomial structure: $(m^2 + n^2)^2 = c^2$ .
Note: This universal algebraic architecture strictly resolves the coverage gap inherently left by the simple 'odd-square' method, cleanly generating ALL universally possible primitive triples.

Component Anatomy:

$m, n$ : Any two chosen positive integer seed values.
$a, b$ : The two shorter perpendicular legs of the newly generated right triangle.
$c$ : The calculated hypotenuse of the generated right triangle.

Boundary Conditions / Domain:

$m > n > 0$ (Required mathematically to guarantee side lengths resolve strictly as positive nonzero integers).
Crucial Condition: To specifically generate a primitive triple, integers $m$ and $n$ must be absolutely coprime (no common factors), and exactly one of them must strictly evaluate as even.

Prism Memory Hook

Square difference, double product, square sum.

Advanced Generalization: Fermat's Last Theorem

CONCEPT Formula

x^n + y^n = z^n

Heavily inspired by the search for integer solutions regarding standard squares, this states the specific equation and strict boundary condition framing Fermat's Last Theorem.

Derivation

Fermat's Theorem fundamentally declares that the algebraic equation $x^n + y^n = z^n$ rigorously possesses absolutely no positive integer solutions for any integer exponent scaled such that $n > 2$ .

Component Anatomy:

$x, y, z$ : Strict positive integers (natural numbers mapping to base lengths).
$n$ : The operational power or mathematical exponent.

Boundary Conditions / Domain:

Strict mathematical boundary: The theorem acts absolutely for $n > 2$ .
For the lower exponents $n=1$ and $n=2$ (the standard Baudhāyana triples), an infinite myriad of integer solutions rigorously exist.
Fermat historically conjectured in 1637 (and Wiles successfully proved in 1994) that breaching the boundary $n > 2$ mathematically shatters the equality permanently for all integers.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algorithmic SOP: Calculating an Unknown Hypotenuse

PROCEDURAL Formula

c = \sqrt{a^2 + b^2}

States the algebraically isolated target formula and step-by-step Standard Operating Procedure explicitly deployed for calculating a structurally unknown hypotenuse.

Derivation

Physically verify and identify that the missing side in question is definitively the hypotenuse (positioned strictly opposite the known $90^\circ$ angle).
Algebraically square the numerical value of the first known leg ( $a^2$ ).
Algebraically square the numerical value of the second known leg ( $b^2$ ).
Systematically add the two newly computed squares together into a single sum.
Compute the final principal positive square root of the combined sum to isolate $c$ .

Component Anatomy:

$c$ : The singular unknown hypotenuse target variable.
$a, b$ : The precisely known structural shorter legs.

Boundary Conditions / Domain:

$a > 0, b > 0$ .
Operation mathematically only applies seamlessly to geometrically verified right-angled Euclidean triangles.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Algorithmic SOP: Calculating an Unknown Leg

PROCEDURAL Formula

b = \sqrt{c^2 - a^2}

States the algebraically isolated target formula and precise step-by-step Standard Operating Procedure deployed for calculating a structurally unknown leg within a confirmed right triangle.

Derivation

Physically verify that the targeted missing side structurally acts as one of the two shorter legs framing the right angle.
Algebraically square the numerical magnitude of the known hypotenuse ( $c^2$ ).
Algebraically square the numerical magnitude of the known secondary leg ( $a^2$ ).
Systematically subtract the calculated leg's square strictly FROM the calculated hypotenuse's square ( $c^2 - a^2$ ).
Finally, compute the principal positive square root of the isolated mathematical difference.

Component Anatomy:

$b$ : The specific unknown shorter triangle leg targeted for isolation.
$c$ : The geometrically known elongated hypotenuse.
$a$ : The geometrically known secondary shorter leg.

Boundary Conditions / Domain:

The triangle parameters must strictly satisfy $c > a > 0$ .
The interior numerical expression trapped beneath the square root radical ( $c^2 - a^2$ ) must remain strictly mathematically positive to evaluate in the Real number domain.

Prism Memory Hook

Hypotenuse is the boss; always subtract FROM the boss.

Application: Exact Diagonal of a Square

APPLICATION Formula

d = a\sqrt{2}

States the direct algebraic formula deployed to find the exact irrational length of the diagonal spanning a square given strictly its side length.

Derivation

Physically identify the established side length $a$ .
Treat any two adjacent mutually perpendicular sides strictly as the legs of a bound right triangle.
Analytically apply the Baudhāyana-Pythagoras theorem: $d^2 = a^2 + a^2 = 2a^2$ .
Compute the principal positive square root to isolate $d$ : $d = a\sqrt{2}.

Component Anatomy:

$d$ : The mathematically exact continuous length of the square's diagonal.
$a$ : The known base side length of the square.

Boundary Conditions / Domain:

$a > 0$ .
The geometric diagonal strictly partitions the square, inherently forming the hypotenuse of an isosceles right triangle ( $45^\circ-45^\circ-90^\circ$ ).

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Learning through recall beats re-reading.

Study this chapter with Active Recall in the Prism App.

Start Studying

Algorithmic SOP: Calculating Rhombus Side Length

PROCEDURAL Formula

s = \sqrt{\left(\frac{d_1}{2}\right)^2 + \left(\frac{d_2}{2}\right)^2}

Provides the algebraically derived formula and step-by-step algorithmic procedure to computationally isolate the side length of a rhombus exclusively utilizing its two diagonal lengths.

Derivation

Mathematically halve the full length of the first diagonal to isolate the first leg of an inner right triangle: $a = \frac{d_1}{2}$ .
Mathematically halve the full length of the second diagonal to isolate the second perpendicular leg: $b = \frac{d_2}{2}$ .
Algebraically apply the core Baudhāyana-Pythagoras theorem substituting these fractional legs: $s^2 = a^2 + b^2$ .
Compute the final principal root to solve for the hypotenuse $s$ , which functionally acts as the continuous outer perimeter side of the rhombus.

Component Anatomy:

$s$ : The targeted uniform outer side length of the rhombus.
$d_1, d_2$ : The measured full continuous lengths of the two interior diagonals.

Boundary Conditions / Domain:

$d_1 > 0, d_2 > 0$ .
Critical Geometric Axiom: The interior diagonals of a valid rhombus mathematically bisect each other exactly at perfect right angles ( $90^\circ$ ), guaranteeing four internal right triangles.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Pythagorean Proof: Altitude of an Equilateral Triangle

PROCEDURAL Formula

h = \frac{s\sqrt{3}}{2}

Establishes the procedural algebraic method exploiting the Baudhāyana-Pythagoras theorem to calculate the exact altitude of an equilateral triangle.

Derivation

Physically drop an altitude $h$ forming a $90^\circ$ angle with the base $s$ . The base is geometrically bisected into segments of exactly $\frac{s}{2}$ .
This isolates a right triangle characterized by hypotenuse $s$ , vertical leg $h$ , and horizontal leg $\frac{s}{2}$ .
Analytically substitute into the theorem: $h^2 + \left(\frac{s}{2}\right)^2 = s^2$ .
Algebraically isolate $h^2$ : $h^2 = s^2 - \frac{s^2}{4} = \frac{3s^2}{4}$ .
Mathematically extract the principal root to compute final height: $h = \frac{s\sqrt{3}}{2}$ .

Component Anatomy:

$s$ : The uniform exterior side length defining the equilateral triangle.
$h$ : The internal altitude (vertical height) dropped precisely from a vertex perpendicular to the opposing base.

Boundary Conditions / Domain:

$s > 0$ .
In a strictly equilateral triangle, an altitude structurally bisects the opposing base side, cleanly fracturing the length $s$ into two equal segments of $\frac{s}{2}$ .

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Advanced Archetype: The Bhāskarāchārya Lotus Problem

APPLICATION Formula

x^2 + d^2 = (x + h)^2

Establishes the precise algebraic setup mandated to definitively solve the classic 'Lotus swaying in the wind' depth puzzle originally documented in Bhāskarāchārya's Līlāvatī.

Derivation

Geometrically define the vertical stem standing entirely upright in still water simply as $(x + h)$ .
When severe wind blows the exposed tip downward to touch the water level, the unbroken stem $(x+h)$ rotates and definitively acts as the rigid hypotenuse.
The horizontal base is exactly the measured shift distance $d$ , and the vertical depth to the pivot remains exactly $x$ .
Apply the core theorem to the new triangle: $x^2 + d^2 = (x + h)^2$ .
Rigorously expand the right-hand binomial side: $x^2 + d^2 = x^2 + 2xh + h^2$ .
Algebraically cancel the shared $x^2$ terms on both sides, allowing you to solve the remaining linear equation explicitly for the depth $x$ .

Component Anatomy:

$x$ : The targeted geometric depth of the lake (representing the unknown vertical leg).
$h$ : The visible height of the plant strictly above the water level.
$x + h$ : The aggregated total linear length of the stem (which mathematically morphs into the hypotenuse when blown diagonally).
$d$ : The horizontal shift distance the tip sways along the water's surface (the known base leg).

Boundary Conditions / Domain:

$x, d, h > 0$ .
Analytically assumes the submerged stem physically remains perfectly rigid/linear and pivots exactly at the lake bed point.

Prism Memory Hook

A premium mnemonic for this topic is available in the Prism App.

Visual Constraints: Grid-Drawn Square Areas

Why is it mathematically absolutely impossible to draw a geometric square possessing an area of exactly 3 or 7 square units strictly by utilizing the existing vertices of a uniform integer dot grid?

APPLICATION

The Geometric Rule: If you physically draw a square by exclusively connecting discrete dots located on a rigid integer grid, the side of the square inherently represents the hypotenuse formed by horizontal ( $m$ ) and vertical ( $n$ ) index shifts between grid points.
Mathematical Constraint: The final bound area of such a constructed square will ALWAYS precisely equal $m^2 + n^2$ .
The Trap: You mathematically CANNOT draw a valid square on an integer dot grid possessing an exact area of 3, 6, 7, 11, or 12 square units, strictly because these specific numbers cannot be algebraically expressed as the sum of two perfect integer squares.
Valid Target Areas: Valid drawable areas are restricted to: 1, 2 ( $1^2+1^2$ ), 4, 5 ( $1^2+2^2$ ), 8 ( $2^2+2^2$ ), 9, 10 ( $1^2+3^2$ ), etc.
Domain: $m, n \in \mathbb{Z}, m, n \ge 0$ .

Prism Memory Hook

Grid areas must be a strict sum of squares.

Reading ≠ Remembering

You've studied this chapter. But will you remember it on exam day? Use Aspira Prism to automate your revisions and guarantee recall.

Join Prism

Want to actually remember this?Study these NCERT cards using Active Recall in the Prism App.

Want to actually remember this?

Study Now →

Who was the first person in history to formally state the theorem relating the sides of a right triangle, and in which ancient text?

Prism Memory Hook

Why does algebraically multiplying the side length of a square by exactly 2 fail to produce a square of exactly double the initial area?

Prism Memory Hook

Geometric Construction: Doubling a Square's Area

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Geometric Construction: Halving a Square's Area

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Theorem: Hypotenuse of an Isosceles Right Triangle

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Learning through recall beats re-reading.

What are the strict numerical decimal bounds of 2\sqrt{2}2​ and mathematically why is it rigorously classified as an irrational number?

Prism Memory Hook

Outline the systematic algorithmic steps of Euclid's proof by contradiction demonstrating that 2\sqrt{2}2​ mathematically cannot be expressed as a rational fraction.

Prism Memory Hook

Geometric Construction: Summing Two Different Squares

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

When geometrically combining two distinct squares using Baudhāyana's rearrangement method, how do we mathematically and rigorously verify that the new resulting figure is a perfect square and not simply a rhombus?

Prism Memory Hook

Geometric Construction: Difference of Two Squares

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Formulas require repetition, not just reading.

Geometric Construction: Tripling a Square's Area (3x)

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

The Core Identity: Baudhāyana-Pythagoras Theorem

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Utilizing the strict algebraic equation of the Baudhāyana-Pythagoras theorem, formally prove mathematically why the hypotenuse is invariably the longest side of a right triangle.

Prism Memory Hook

Formally define the concept of a Baudhāyana Triple and state the strict mathematical boundary condition regarding the specific type of numbers permitted.

Prism Memory Hook

What is the strict mathematical and algebraic difference differentiating a Primitive Baudhāyana Triple from a Scaled Baudhāyana Triple?

Prism Memory Hook

NCERT + Active Recall = Exam Mastery.

List the top 6 most mathematically common foundational primitive Baudhāyana Triples heavily required for rapid calculation in competitive environments.

Prism Memory Hook

Algebraic Proof: Forward Scaling of Triples

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Algebraic Proof: Inverse Reduction of Triples

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Algorithm: Generating Triples using Odd Squares

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Mathematically, why does the '(n−1)2+odd square=n2(n-1)^2 + \text{odd square} = n^2(n−1)2+odd square=n2' arithmetic method definitively fail to successfully generate ALL universally possible primitive Baudhāyana triples?

Prism Memory Hook

Download Prism to study offline.

Universal Algorithm: Euclid's Formula for Triples

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Advanced Generalization: Fermat's Last Theorem

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Algorithmic SOP: Calculating an Unknown Hypotenuse

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

Algorithmic SOP: Calculating an Unknown Leg

Component Anatomy:

Boundary Conditions / Domain:

Prism Memory Hook

What are the strict numerical decimal bounds of $\sqrt{2}$ and mathematically why is it rigorously classified as an irrational number?

Outline the systematic algorithmic steps of Euclid's proof by contradiction demonstrating that $\sqrt{2}$ mathematically cannot be expressed as a rational fraction.

Mathematically, why does the ' $(n-1)^2 + \text{odd square} = n^2$ ' arithmetic method definitively fail to successfully generate ALL universally possible primitive Baudhāyana triples?