Mathematics & History of Mathematics Exam Answers

Exam Answers: Mathematics and History of Mathematics
1. Operations on vectors and their properties
• Definition: A vector is a geometric object that has both a magnitude (length) and a direction.
Geometrically, it is drawn as a directed line segment from its initial point (tail) to its terminal point
(head).
• Negative Scalar Multiplication: When a vector is multiplied by a negative scalar, its direction is
reversed (undergoing a 180° rotation). Its new magnitude is scaled by the absolute value of the scalar.
If the scalar is -1, only the direction changes while the magnitude remains identical.
2. Proofs, definitions, axioms, theorems, lemmas, corollaries
• Proof: A conclusive, logically rigorous argument demonstrating that a mathematical statement is
absolutely true, constructed using valid inference steps from axioms, definitions, and already
established theorems.
• Definition & Reversibility: A mathematical definition must work bi-directionally as an "if and only if"
(biconditional) statement. If an object satisfies the technical criteria, it belongs to that classification;
conversely, if it belongs to the classification, it must satisfy the criteria.
• Axiom: A fundamental statement or proposition that is accepted as true without proof, serving as the
necessary starting point for further logical reasoning.
• Lemma: A minor, auxiliary theorem proven and used primarily as an intermediate stepping stone to
establish a larger, more significant proposition.
• Corollary: A statement or proposition that follows immediately and with little or no additional proof
directly from a higher theorem that has already been established.
3. Conjectures. Goldbach's conjecture
• Conjecture: A mathematical statement or proposition that is strongly suspected or proposed to be
true based on preliminary evidence, but has not yet been formally proven or disproven.
• Goldbach's Conjecture: It states that every even integer greater than 2 can be expressed as the
sum of two prime numbers (e.g., 4=2+2, 6=3+3, 8=5+3). Despite being verified for immense numbers,
it remains unproven.
4. The Pythagoreans' contributions to mathematics
• Axiomatic Foundation: The Pythagoreans were the first historical group to recognize that
mathematical theories and philosophical truths could be built systematically upwards from
fundamental, self-evident axioms.
• Philosophical Crisis: Their entire worldview was built on the core belief that "everything is a
number" (meaning all physical and cosmic structures could be explained by whole numbers and their
ratios). This system was completely shattered by the discovery of incommensurable (irrational)
magnitudes.
5. The Pythagorean theorem and Pythagorean triples
• Definition: A Pythagorean triple consists of a set of three positive integers (a, b, c) such that they
satisfy the Diophantine equation a2 + b2 = c2. They represent the integer side lengths of a right-angled
triangle (such as 3, 4, 5 or 5, 12, 13).
• Connection of Branches: Pythagorean triples structurally bridge Geometry (the physical side
lengths and properties of right-angled triangles) and Number Theory (the algebraic pursuit of integer
solutions to polynomial equations).
6. Proof of the irrationality of the square root of 2
• The square root of 2 (√2) was the first irrational number discovered, arising geometrically as the
length of the diagonal of a unit square. Its discovery was a shock because it proved that the diagonal is
incommensurable and cannot be written as a clean fraction, shattering the Pythagorean worldview.
7. Diophantus' method for finding Pythagorean triples
• Step 1: Identify or choose one simple, known rational point on the curve (for instance, the point (-1, 0)
on a unit circle).
• Step 2: Draw a secant line through this known rational point with a variable rational slope parameter t
(using the line equation y = t(x + 1)), and substitute this line equation into the equation of the curve.
• Step 3: Solve the resulting equation algebraically to express the coordinates of the second
intersection point purely as rational functions of t, mapping out infinitely many rational points by varying
t.
8. Fermat's last theorem
• Statement: No three positive integers a, b, and c can satisfy the equation an + bn = cn for any integer
exponent value of n strictly greater than 2.
• Fermat's Proof: We do not know what his proof was because he never wrote it down in a formal
manuscript. He merely jotted down a legendary casual note in the margin of his copy of Diophantus'
Arithmetica, stating that the margin was too narrow to contain it.
• Timeline: Fermat lived during the 17th century. The theorem was finally proved in the late 20th
century (specifically completed in 1994) by the British mathematician Andrew Wiles using advanced
modern modularity math.
9. The Elements: their contents and importance for the development of
mathematics
• Historical Importance: Written by Euclid of Alexandria, Elements was the first text to construct an
entire, massive deductive mathematical theory strictly built upwards from a small set of primary
definitions and axioms.
• Contents: The work was highly comprehensive and included 2D plane geometry, ancient geometric
number theory (properties of primes, divisibility), the theory of incommensurable magnitudes
(geometric algebra), and 3D solid geometry.
10. Primitive notions
• Definition: A primitive notion is a foundational, basic concept in an axiomatic system that is not
explicitly defined in terms of previously known terms, because definitions cannot go backward infinitely.
• Examples: It is accepted intuitively, and its operational behavior is governed by axioms; in geometry,
examples include "point", "line", and "plane".
11. The method of two loci: how it is used and why it works
• General Idea: It is used to locate a specific unknown geometric entity (such as a point) that must
simultaneously satisfy two independent criteria.
• How it works: You first construct the entire locus (the set of all points) that fulfills the first condition,
and then construct the second locus matching the second condition. The desired point(s) are found
exactly at the intersection of these two distinct curves or paths.
12. The five axioms of Euclidean geometry and the story of the Parallel Postulate
• Playfair's Statement: The most popular equivalent statement of the Parallel Postulate is: "In a plane,
given a straight line and a single point not lying on that line, there can be drawn at most one straight
line through that point that is parallel to the given line".
• Instruments: In ancient times, the constructions governed by these axioms were carried out using
only two idealized instruments: a compass and an unmarked straightedge.
13. Lobachevskian geometry and Riemannian geometry
• Lobachevskian Geometry: Another standard name for hyperbolic geometry. It features a negative
curvature (or constant negative curvature on a pseudosphere). On a pseudosphere, the Parallel
Postulate fails because infinitely many parallel lines can be drawn through a single point not on a given
line.
• Riemannian Geometry: Another standard name for elliptic geometry. It is represented by a sphere,
which has a positive curvature. On a sphere, the Parallel Postulate completely fails because no parallel
lines exist; every pair of great circles must always intersect.
• Discovery: These non-Euclidean geometries were independently discovered by Nikolai
Lobachevsky, János Bolyai, and Carl Friedrich Gauss in the first half of the 19th century.
14. Axioms for the whole of mathematics and Gödel's theorems
• Hilbert's Program: David Hilbert wanted to establish a definitive, fully comprehensive, and logically
flawless axiomatic foundation for all of mathematics, proposing three criteria: Consistency (no
contradictions), Independence (axioms cannot be derived from each other), and Completeness
(every true statement is provable).
• Gödel's Incompleteness Theorems: Proven and published by Kurt Gödel in 1931, they showed that
Hilbert's goal was impossible. They proved that any consistent axiomatic system capable of performing
basic arithmetic is inherently incomplete (there will always be true statements that can never be proven
or disproven using its own axioms) and that a system cannot prove its own consistency.
15. Al-Khw■rizm■'s Al-■abr and Art of Hindu Reckoning
• Al-■abr: Written by the Persian scholar Muhammad ibn Musa al-Khwarizmi, it separated algebraic
methods completely from concrete geometric configurations. It provided explicit, non-geometric
algorithmic steps to solve linear and quadratic equations using the universal balancing operations of
"restoring" (al-■abr) and "balancing" (al-muqabala), establishing algebra as an independent field.
• Art of Hindu Reckoning: This work introduced the advanced Hindu-Arabic numeral system to the
Islamic world and later Western Europe, establishing our modern base-10 positional notation, decimal
places, and methods involving the symbol for zero.
16. Girolamo Cardano: his life and inventions
• Timeline: Girolamo Cardano lived during the 16th century (the European Renaissance).
• Inventions/Contributions: He generalized the partial methods of his contemporaries to encompass
all distinct algebraic cases of cubic equations, systematically solved the intricate arithmetic difficulties
of the "irreducible case," and formally published the complete general formulas in his famous 1545
book titled Ars Magna (The Great Art).
17. The story of finding a geometric solution for the cubic equation: Del Ferro and
Tartaglia
• The foundational algebraic-geometric methods for solving cubic equations were discovered by the
Italian mathematicians Scipione del Ferro and subsequently Niccolò Fontana Tartaglia. Their partial
methods were later built upon and completed by Cardano.
18. The geometric solution for the cubic equation: completing the cube
• Cardano took the breakthrough steps of completing the geometric and algebraic framework by
analyzing all distinct cases of cubic equations, successfully navigating the arithmetic barriers where
square roots of negative numbers appeared.
19. The problem with the equation x³ = 15x + 4. Bombelli and the imaginary unit
• Bombelli's Breakthrough: Rafael Bombelli made the critical step of establishing precise operational
arithmetic rules for calculating with imaginary and complex numbers. He demonstrated that when
Cardano's formula yields "impossible" square roots of negative numbers for the equation x3 = 15x + 4,
treating those imaginary parts with strict rules allows them to perfectly cancel out, yielding a correct,
verified real-number solution.
• The Symbol i: The explicit symbol i to cleanly represent √(-1) was introduced later by the Swiss
mathematician Leonhard Euler in the 18th century.
20. The complex plane as a result of rotation
• The complex plane emerged out of the structural understanding of imaginary numbers. As shown by
Bombelli and later notation by Euler, the arithmetic rules allowed for a multi-dimensional treatment of
numbers where complex roots count towards the structural algebraic multiplicity of equations.
21. The fundamental theorem of algebra. The equivalence of the two statements
• Statement: Every non-zero, single-variable polynomial equation of degree n with complex
coefficients has exactly n complex roots, when counted with their structural algebraic multiplicity.
• History: Carl Friedrich Gauss was the first to provide a rigorous, universally accepted mathematical
proof of this theorem in his 1799 doctoral dissertation.
• Descartes' Rule: Separately, René Descartes contributed to polynomial theory by proving Descartes'
Rule of Signs, which determines the maximum possible number of positive and negative real roots by
analyzing sign variations between consecutive coefficients.
22. Zeno's paradoxes and their mathematical solution
• Zeno's paradoxes deal with the profound foundational problem of the continuum: the mathematical
and logical difficulties of infinitely dividing continuous time, physical space, and motion into infinitely
small segments, and explaining how an infinite series of sub-steps can add up to a finite physical
duration.
23. The birth of analytic geometry
• Definition: Analytic geometry is the systematic study of geometric shapes, figures, and spatial
relationships using an algebraic coordinate system (the Cartesian plane), allowing geometric entities to
be precisely manipulated via algebraic equations.
• Initiation: It was independently initiated by René Descartes and Pierre de Fermat during the 17th
century.
• Precursor Notation: It relied on the notation invented by François Viète in the 16th century, who
introduced the standard of using vowels for unknown variables and consonants for known constants.
24. Constructing a tangent line to power functions
• Algebraic Property: Algebraically, the geometric property of a line being tangent to a curve
corresponds to the existence of a repeated (multiple) root in the polynomial equation resulting from the
intersection of the line and curve equations.
25. Fermat's method for constructing tangent lines
• Similar to modern derivative: Both Fermat's method and the modern derivative introduce an
intentional tiny increment (e for Fermat, ∆x or h in modern calculus) to evaluate a functional slope ratio,
perform algebraic manipulations, and then eliminate that increment to isolate the exact instantaneous
slope.
• Different from modern derivative: Fermat's method was a clever algebraic trick that lacked the
rigorous, foundational concept of a dynamic mathematical limit (lim ∆x→0), which is the cornerstone of
the modern derivative.
26. The general binomial series and its applications in Newton's calculus
• Newton's Application: Sir Isaac Newton utilized his breakthrough discovery of the Generalized
Binomial Theorem (extending the binomial expansion to fractional and negative exponents) to
seamlessly expand complex functions into infinite power series.
• Integration Rules: Because Newton viewed integration fundamentally as the exact inverse operation
of finding a derivative, he could expand virtually any algebraic or transcendental function into an infinite
series and integrate it term-by-term with ease.
27. The calculus of Leibniz
• Leibniz's Approach: Leibniz approached integration geometrically and statically as an infinite
summation of infinitely thin rectangular areas under a curve. Because of this, he designed the modern
notation ∫ (an elongated 'S' standing for summa).
• Contrast with Newton: While Newton's calculus was rooted in physical, kinematic intuition (variables
as "fluents" flowing over time and rates as "fluxions"), Leibniz focused on the geometric accumulation.
Both worked independently during the 17th and early 18th centuries.
28. The definition of limit. Cauchy sequences
• Modern Definition of Limit: The formal ε-δ (epsilon-delta) definition states that a function f(x)
approaches a limit L as x approaches a value c if, for any given positive real number ε > 0, there exists
a corresponding positive real number δ > 0 such that the absolute difference |f(x) - L| < ε holds true
whenever 0 < |x - c| < δ.
• History & Development: This formal definition was established in the 19th century to remove
geometric intuition and fix the logical gaps in calculus. The rigorous arithmetic theory of limits and
mathematical continuity was primarily developed by Augustin-Louis Cauchy and later fully refined by
Karl Weierstrass.