📐 Division Property For any natural numbers $a$ and $b$, we can write $a = qb + r$, where $0 \\leq r < b$. Proof: Consider the set of non-negative remainders $\\{a - qb : q \\in \\mathbb{Z}, a - qb \\geq 0\\}$. This set is non-empty (take $q = 0$) and bounded below by $0$. By the well-ordering principle, there exists a smallest such remainder $r = a - qb$. If $r \\geq b$, then $a - (q+1)b = r - b \\geq... From: numbers-geometry Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition III.17 From a given point to draw a straight line touching a given circle. From: Euclid's Elements Learn more:

Euclid's Elements | Math Academy

The foundational text of Western mathematics. Study all 13 books of Euclid

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Maximal Margin Classifier The maximal margin classifier finds the hyperplane that has the largest perpendicular distance (margin) to the nearest training observations (support vectors). From: Intro to Statistical Learning Learn more:

Introduction to Statistical Learning | Magic Internet Math

An interactive course based on James et al.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Definition 3.45 (Absolute Convergence) A series $\\sum a_n$ **converges absolutely** if $\\sum |a_n|$ converges. From: rudin Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Theorem 8.16 (Parseval If $f \\in \\mathcal{R}$ on $[-\\pi, \\pi]$, then $\\frac{1}{2\\pi} \\int_{-\\pi}^{\\pi} |f|^2 = \\sum_{-\\infty}^{\\infty} |c_n|^2$. From: rudin Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Commitment Scheme A cryptographic method that allows you to "commit" to a value without revealing it. Later, you can "open" the commitment to prove what value you committed to. From: branta Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition V.6 If two magnitudes be equimultiples of two magnitudes, and any magnitudes subtracted from them be equimultiples of the same, the remainders also are either equal to the same or equimultiples of them. From: Euclid's Elements Learn more:

Euclid's Elements | Math Academy

The foundational text of Western mathematics. Study all 13 books of Euclid

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

🎯 Element Order Divides Group Order The order of any element $a \\in G$ divides $|G|$. Proof: Since $|a| = |\\langle a \\rangle|$ and $\\langle a \\rangle \\le G$, by Lagrange\'s Theorem, $|a|$ divides $|G|$. From: df-course Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Theorem 11.5.3 (Monotone Functions are Integrable) Let $f : [a, b] \\to \\mathbb{R}$ be monotone. Then $f$ is Riemann integrable. From: tao-analysis-1 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Uniqueness of Negatives In any linear space every element has exactly one negative. That is, for every $x$ there is one and only one $y$ such that $x + y = 0$. Proof: Axiom 6 tells us that each $x$ has at least one negative, namely $(-1)x$. Suppose $x$ has two negatives, say $y_1$ and $y_2$. Then $x + y_1 = 0$ and $x + y_2 = 0$. Adding $y_2$ to both members of the first equation: $y_2 + (x + y_1) = (y_2 + x) + y_1 = 0 + y_1 = y_1$ and $y_2 + (x + y_1) = y_2 + ... From: calc2-course Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition VII.30 (Euclid If two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers. From: Euclid's Elements Learn more:

Euclid's Elements | Math Academy

The foundational text of Western mathematics. Study all 13 books of Euclid

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Definite Integral A definite integral has specific limits ($a$ and $b$) and gives a specific numerical answer. It represents the area under a curve: Area $= \\int_a^b f(x) \\, dx$. From: Beginner Calculus Learn more:

Introductory Calculus | Math Academy

Calculus Made Easy - An interactive introduction to calculus

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Structure Theorem for Elliptic Curve Groups $E(\\mathbb{F}_q) \\cong \\mathbb{Z}/n_1\\mathbb{Z} \\times \\mathbb{Z}/n_2\\mathbb{Z}$ with $n_2 | n_1$ and $n_2 | (q-1)$. From: Algebraic Number Theory Learn more:

Number Theory and Cryptography | Math Academy

Interactive course for learning Number Theory and Cryptography

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Hard Money Money that is difficult to produce and easy to verify, enabling capital accumulation and rational economic calculation. Bitcoin is the hardest money ever created with a fixed supply cap of 21 million. From: bfi Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Heat Equation $\\frac{\\partial u}{\\partial t} = \\alpha \\nabla^2 u$. Describes how heat diffuses through a material over time. From: Calculus: A Liberal Art Learn more:

Calculus as a Liberal Art | Math Academy

An interactive course exploring calculus through a liberal arts lens

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Definition 2.15 (Metric Space) A **metric space** is a set $X$ with a function $d: X \\times X \\to [0, \\infty)$ such that: (a) $d(p,q) = 0 \\Leftrightarrow p = q$. (b) $d(p,q) = d(q,p)$. (c) $d(p,q) \\leq d(p,r) + d(r,q)$ (triangle inequality). From: rudin-course Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Inscribed Angle Theorem An inscribed angle is half the central angle subtending the same arc: $\\theta_{\\text{inscribed}} = \\frac{1}{2}\\theta_{\\text{central}}$. Proof: Case 1: One side of inscribed angle passes through center $O$. Let inscribed angle be $\\angle BAC$ with $A$ on circle, $O$ on $AC$. Triangle $OAB$ is isosceles ($OA = OB$ = radius). Let $\\angle OAB = \\angle OBA = \\alpha$. External angle $\\angle BOC = 2\\alpha$ (central angle). So i... From: Numbers and Geometry Learn more:

Numbers and Geometry | Math Academy

Interactive course exploring the deep connections between numbers and geometry

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Definition 2.1 (Countable Set) A set $A$ is **countable** if there is a bijection between $A$ and a subset of $\\mathbb{N}$. A set is **at most countable** if it is finite or countable. An **uncountable** set is an infinite set that is not countable. From: rudin-course Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Pre-Payment Verification The process of confirming that a Bitcoin address or Lightning invoice belongs to the intended recipient before executing a transaction, without touching keys, addresses, or transaction flow. From: branta Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Leibniz Notation for Integrals The integral is written as $\\int y\\,dx$, where the elongated S stands for "summa" (sum) and $dx$ represents an infinitesimally thin width. From: Calculus: A Liberal Art Learn more:

Calculus as a Liberal Art | Math Academy

An interactive course exploring calculus through a liberal arts lens

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.