Comprehensive Summary: High School Mathematics

Mathematical Logic: Propositions and Converses

• Proposition: A mathematical statement that is deterministically either true or false. A conditional proposition is typically expressed as "If $P$, then $Q$" ($P \implies Q$).
• Converse: The statement formed by reversing the hypothesis and conclusion: "If $Q$, then $P$" ($Q \implies P$).
• Logical Independence: The truth of a proposition does not guarantee the truth of its converse:
  • Both may be true (e.g., the Baudhāyana–Pythagoras Theorem: a triangle with side lengths $a, b, c$ has $a^2 + b^2 = c^2$ if and only if it is a right triangle).
  • The proposition may be true while the converse is false (e.g., "If a number is a multiple of $6$, it is a multiple of $3$" is true, but its converse is false).
  • Both may be false.
• Counterexample: A single valid instance contradicting a proposition, sufficient to prove the proposition false (e.g., Leonhard Euler disproved Pierre de Fermat's conjecture that all numbers of the form $2^{2^n} + 1$ are prime by demonstrating that $2^{2^5} + 1$ is composite).
• Divisor Pairs of Square Numbers: An integer $n$ is a perfect square if and only if it has an odd number of factors, because non-square integers have factors that pair up distinctly ($f_1 \times f_2 = n$ with $f_1 \ne f_2$), whereas a square has a repeating pair ($f \times f = n$).

Understanding Data and Combining Quantities

• Combined Mean (Average of Averages): The simple average of multiple group averages produces a mathematically correct overall average only when all groups contain an identical number of data points. When group sizes differ, the weighted average must be calculated.
• Weighted Mean Formula:

$\bar{x} = \frac{w_1 x_1 + w_2 x_2 + \dots + w_n x_n}{w_1 + w_2 + \dots + w_n}$

  where $x_i$ represents the value of each category or group and $w_i$ represents its corresponding weight, size, volume, or importance.

• Historical Precedents: Brahmagupta formulated the weighted mean in the Brāhmasphuṭasiddhānta ($628\text{ CE}$) to calculate the mean depth of irregular excavations. Śrīdharācārya ($750\text{ CE}$) applied weighted averages in Pāṭīgaṇita to determine the purity of gold alloys measured in varṇa ($16\text{ varṇa} = 24\text{ karat}$).
• Data Visualisation Formats:
  • Cluster-Column Chart: Compares individual values across categories side by side, but does not display total sums across subcategories directly.
  • Stacked Bar Chart: Places segment lengths end-to-end to show aggregate totals while maintaining individual component breakdowns.
  • $100\%$ Stacked Bar Chart: Proportional alternative to a pie chart; standardises all total bar lengths to $100\%$ to compare relative shares rather than absolute quantities.

Foundations of Algorithms and Number Theory

• Algorithm: A finite, well-defined, step-by-step procedure designed to execute a computation or solve a specific problem class.
• Data Structure: A systematic method of organising and storing data (such as an ordered list) to facilitate efficient computation.
• Greatest Common Divisor (GCD):
  • Exhaustive Factorisation: Scans integers from $1$ to $\min(m, n)$; computational work scales directly with the magnitude of the numbers.
  • Euclid's Subtraction Algorithm: Based on the principle that any common divisor of $m$ and $n$ ($m \ge n$) also divides their difference: $\gcd(m, n) = \gcd(n, m - n)$. Terminates when $\gcd(m, 0) = m$.
  • Āryabhaṭa's Division Algorithm: Replaces repeated subtractions with division with remainder: $\gcd(m, n) = \gcd(n, m \bmod n)$. The number of steps scales proportionally with the number of digits in the inputs rather than their absolute numerical value.
• Etymology: The term derives from algorismus, the Latinized surname of the Persian mathematician Muḥammad ibn Mūsā al-Khwārizmī ($780\text{--}850\text{ CE}$), whose Latin-translated treatise Liber Algorismi de numero Indorum introduced Indian decimal place-value arithmetic to Europe.

Geometry of Quadrilaterals and Tilings

• Planar Quadrilateral Definition: A figure formed by four distinct coplanar vertices $A, B, C, D$ such that no three are collinear, and each point on the segments $AB, BC, CD, DA$ (other than the vertices) lies on exactly one segment.
• Convexity: A quadrilateral is convex if all its interior angles are strictly less than $180^\circ$. Equivalently, its diagonals intersect within the interior of the quadrilateral.
• Parallelogram Theorems and Converses:
  • Opposite sides are equal ($AB = CD$ and $AD = BC$) if and only if the quadrilateral is a parallelogram.
  • Opposite angles are equal ($\angle A = \angle C$ and $\angle B = \angle D$) if and only if the quadrilateral is a parallelogram.
  • Diagonals bisect each other if and only if the quadrilateral is a parallelogram.
  • Equal and Parallel Side Test: A quadrilateral with one pair of opposite sides that are both equal and parallel is a parallelogram.
• Triangle Properties:
  • Midpoint Theorem: The line segment joining the midpoints of two sides of a triangle is parallel to the third side and equal to half its length.
  • Converse of the Midpoint Theorem: A straight line drawn through the midpoint of one side of a triangle parallel to another side bisects the third side.
  • Centroid Theorem: The three medians of a triangle are concurrent at the centroid, which divides each median in a $2:1$ ratio (measured from the vertex to the base midpoint).
• Varignon's Theorem: Connecting the midpoints of the consecutive sides of any quadrilateral forms a parallelogram.
• Plane Tiling: Any quadrilateral (convex, non-convex, or irregular) can tile the Euclidean plane without gaps or overlaps using successive $180^\circ$ rotations around the midpoints of its edges, or by constructing a grid of its Varignon parallelograms.

Linear Equations in Two Variables and Linear Systems

• Standard Form: $ax + by + c = 0$, where $a, b, c \in \mathbb{R}$ and $a$ and $b$ are not both zero. A single linear equation in two variables has infinitely many solutions $(x, y)$.
• Slope-Intercept Form: $y = mx + d$, where $m = -\frac{a}{b}$ is the slope and $d = -\frac{c}{b}$ is the $y$-intercept ($b \ne 0$).

• Slope ($m$): Defined across any two points $(x_1, y_1)$ and $(x_2, y_2)$ on the line as:

$m = \frac{\text{Rise}}{\text{Run}} = \frac{y_2 - y_1}{x_2 - x_1}$

• $m > 0$: Line rises from left to right.
• $m < 0$: Line falls from left to right.
• $m = 0$: Horizontal line ($y = d$).
• Undefined: Vertical line ($x = k$).
  • Pairs of Linear Equations: For a system $a_1 x + b_1 y + c_1 = 0$ and $a_2 x + b_2 y + c_2 = 0$:
• Unique Solution (Intersecting lines):

$\frac{a_1}{a_2} \ne \frac{b_1}{b_2}$

• Infinitely Many Solutions (Coincident lines):

$\frac{a_1}{a_2} = \frac{b_1}{b_2} = \frac{c_1}{c_2}$

• No Solution (Parallel lines):

$\frac{a_1}{a_2} = \frac{b_1}{b_2} \ne \frac{c_1}{c_2}$

Questions & Discussion

• Prompt: If $c = 0$ in the standard form of a line $ax + by + c = 0$, does the line always pass through the origin?
  • Ranju: Noticed that if $c = 0$, substituting $x = 0$ and $y = 0$ into $ax + by = 0$ satisfies the equation ($a(0) + b(0) = 0$), proving the origin lies on the line.
  • Farhan: Tested the specific equation $2x + 3y = 0$ where $a = 2, b = 3, c = 0$. Substituting $x = 0$ yields $3y = 0 \implies y = 0$, confirming that $(0, 0)$ lies on the line.
  • Toshi: Examined the degenerate case $b = c = 0$, taking $5x = 0 \implies x = 0$, which represents the $y$-axis and passes through the origin.
  • Meena: Examined the case $a = c = 0$, taking $7y = 0 \implies y = 0$, which represents the $x$-axis and also passes through the origin.
  • Conclusion: Whenever $c = 0$, the line $ax + by + c = 0$ invariably passes through the origin $(0, 0)$, irrespective of the non-zero values of $a$ or $b$.

Surface Area and Volume of Three-Dimensional Solids

• Cuboid and Cube:
  • Cuboid of dimensions $l, w, h$:

$\text{Total Surface Area (TSA)} = 2(lw + wh + hl)$

$\text{Volume} = lwh$

• Cube of side length $a$:

$\text{TSA} = 6a^2$

$\text{Volume} = a^3$

• Right Circular Cylinder: Base radius $r$, height $h$:

$\text{Curved Surface Area (CSA)} = 2\pi rh$

$\text{TSA (both ends closed)} = 2\pi r(h + r)$

$\text{TSA (one end open)} = \pi r(2h + r)$

$\text{Volume} = \pi r^2 h$

• Right Circular Cone: Base radius $r$, vertical height $h$, slant height $l = \sqrt{h^2 + r^2}$:

$\text{CSA} = \pi rl$

$\text{TSA} = \pi r(l + r)$

$\text{Volume} = \frac{1}{3}\pi r^2 h$

• General Pyramids:

$\text{Volume} = \frac{1}{3} \times \text{Base Area} \times h$

• Sphere and Hemisphere:
  • Sphere of radius $r$:

$\text{Surface Area} = 4\pi r^2$

$\text{Volume} = \frac{4}{3}\pi r^3$

• Hemisphere of radius $r$:

$\text{CSA} = 2\pi r^2$

$\text{TSA} = 3\pi r^2$

$\text{Volume} = \frac{2}{3}\pi r^3$

• Archimedes' Cylinder–Sphere Ratio: A sphere of radius $r$ inscribed inside a cylinder of radius $r$ and height $h = 2r$ shares the cylinder's curved surface area ($2\pi r(2r) = 4\pi r^2$), and the sphere occupies exactly $\frac{2}{3}$ of the enclosing cylinder's volume.