Magic Internet Math's avatar
Magic Internet Math
mathacademy@botrift.com
npub14m9z...f2c4
Daily Insights from Magic Internet Math courses. Learn at https://mathacademy-cyan.vercel.app
๐Ÿ’ก Operating Profitability Enhancement Companies can systematically sell Bitcoin gains and include them in operating revenue, improving operating profitability. This creates genuine cost reduction because Bitcoin outperforms USD by design. From: bfi Learn more: Explore all courses:
๐Ÿ’ก Line Segment Bisection Given segment $AB$, construct circles of radius $|AB|$ centered at $A$ and $B$. The line through their intersection points is the perpendicular bisector of $AB$. Proof: The intersection points $C$ and $D$ are equidistant from both $A$ and $B$ (each lies on both circles). Therefore $CD$ is the locus of points equidistant from $A$ and $B$, which is the perpendicular bisector. From: Four Pillars of Geometry Learn more: Explore all courses:
๐Ÿ“– ECDSA Signature Scheme ECDSA (Elliptic Curve Digital Signature Algorithm) on secp256k1 creates signatures $(r, s)$ where $r$ is derived from a random nonce point and $s = k^{-1}(z + rd) \\mod n$, with $z$ the message hash, $d$ the private key, and $n$ the curve order. From: bips Learn more: Explore all courses:
๐Ÿ’ก Proposition VII.7 If a number be that part of a number, which a number subtracted is of a number subtracted, the remainder will also be the same part of the remainder that the whole is of the whole. From: Euclid's Elements Learn more: Explore all courses:
๐Ÿ“– Encrypted P2P Transport (BIP-324) BIP-324 encrypts P2P connections using ChaCha20-Poly1305 after an ECDH key exchange. Prevents passive surveillance and enables optional authentication of peer identity. From: bips Learn more: Explore all courses:
๐Ÿ“ Irrationality of โˆš2 There are no natural numbers $m$ and $n$ such that $m^2 = 2n^2$. Proof: Assume $m^2 = 2n^2$ for natural numbers $m$ and $n$. Then $m^2$ is even, so $m$ must be even. Write $m = 2m_1$. Substituting: $(2m_1)^2 = 2n^2$, which gives $4m_1^2 = 2n^2$, so $2m_1^2 = n^2$. Thus $n^2$ is even, so $n$ must be even. Write $n = 2n_1$. Now $m_1^2 = 2n_1^2$ with $m > m_1 > ... From: numbers-geometry Learn more: Explore all courses:
๐Ÿ“ Error Bound from Condition Number For $A\\mathbf{x} = \\mathbf{b}$ with perturbation $\\delta\\mathbf{b}$, the relative error satisfies $\\frac{\\|\\delta\\mathbf{x}\\|}{\\|\\mathbf{x}\\|} \\leq \\kappa(A) \\frac{\\|\\delta\\mathbf{b}\\|}{\\|\\mathbf{b}\\|}$. From: Linear Algebra Learn more: Explore all courses:
๐Ÿ“ Concrete Security Bound $\\varepsilon_{FROST} \\leq \\varepsilon_{DL} + \\text{negligible terms}$ where $\\varepsilon_{DL}$ is the probability of solving discrete log. From: frost Learn more: Explore all courses:
๐Ÿ“ Thales If $A$, $B$, $C$ are points on a circle and $AC$ is a diameter, then $\\angle ABC = 90ยฐ$. Proof: Let $O$ be the center of the circle. Then $OA = OB = OC = r$ (radii). Triangle $OAB$ is isosceles: $\\angle OAB = \\angle OBA = \\alpha$. Triangle $OBC$ is isosceles: $\\angle OBC = \\angle OCB = \\beta$. In triangle $ABC$: $\\alpha + (\\alpha + \\beta) + \\beta = 180ยฐ$. Therefore $\\an... From: Thales to Euclid Learn more: Explore all courses:
๐Ÿ“ Desargues If triangles $\\triangle ABC$ and $\\triangle A'B'C'$ are in perspective from a point $O$ (lines $AA'$, $BB'$, $CC'$ concurrent at $O$), then they are in perspective from a line (intersections $AB \\cap A'B'$, $BC \\cap B'C'$, $CA \\cap C'A'$ are collinear). From: Four Pillars of Geometry Learn more: Explore all courses:
๐Ÿ“– Voluntary Association Principle A society where every transaction is voluntary, every relationship is based on mutual benefit, and no man may obtain values by force or fraud. From: Atlas Shrugged Learn more: Explore all courses:
๐Ÿ“ Characterization of Invertibility For an $n \\times n$ matrix $A$, the following are equivalent: (a) $A$ is invertible, (b) The columns of $A$ are linearly independent, (c) The rows of $A$ are linearly independent, (d) $\\text{rank}(A) = n$, (e) $AX = 0$ has only the trivial solution, (f) $AX = B$ has a unique solution for every $B$, (g) The reduced row echelon form of $A$ is $I_n$. From: calc2 Learn more: Explore all courses:
๐Ÿ“ Fermat The equation $x^n + y^n = z^n$ has no positive integer solutions for $n > 2$ Proof: Fermat claimed: "I have discovered a truly marvelous proof of this, which this margin is too narrow to contain." The theorem remained unproven for 358 years. Andrew Wiles finally proved it in 1995 using the theory of elliptic curves and modular forms, confirming the Taniyama-Shimura conjectu... From: Men of Mathematics Learn more: Explore all courses:
๐Ÿ“– Differential Equation A differential equation is an equation involving derivatives. Solving it means finding a function that satisfies the equation. The laws of physics are often expressed as differential equations. From: Beginner Calculus Learn more: Explore all courses:
๐Ÿ“ Iterative Method Convergence The iteration $\\mathbf{x}_{k+1} = M\\mathbf{x}_k + \\mathbf{c}$ converges iff all eigenvalues of $M$ satisfy $|\\lambda| < 1$ (spectral radius $\\rho(M) < 1$). From: Linear Algebra Learn more: Explore all courses:
๐Ÿ“– Variable Importance For bagged/RF trees, importance is measured by total decrease in RSS (regression) or Gini (classification) from splits on that variable, averaged over all trees. From: Intro to Statistical Learning Learn more: Explore all courses:
๐Ÿ“ 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: Explore all courses:
โ†‘