Explore

@paysmaths.bsky.social Oct 10, 2026, 10:00 AM

Theorem of the Day (October 10, 2026) : Euler’s Even Zeta Formula
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/kYTvtHu
notes : buff.ly/xPPxu4o

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : Euler’s Even Zeta Formula.

@paysmaths.bsky.social Oct 9, 2026, 10:01 AM

Theorem of the Day (October 9, 2026) : The Cantor–Bernstein–Schröder Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/FyfhBiJ
notes : buff.ly/0Hv7RpC

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Cantor–Bernstein–Schröder Theorem : Let A and B be sets for which there exist injective mapings from A to B and from B to A. Then there is a bijective correspondence between A and B.

@paysmaths.bsky.social Oct 8, 2026, 10:00 AM

Theorem of the Day (October 8, 2026) : Thales’ Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/7StJSj6
notes : buff.ly/UU6UByz

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

Thales’ Theorem : If one side of a triangle inscribed in a circle forms a diameter of the circle then it is a right triangle.

@paysmaths.bsky.social Oct 7, 2026, 10:00 AM

Theorem of the Day (October 7, 2026) : The Prime Number Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/avitKa5
notes : buff.ly/YyDoHpk

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Prime Number Theorem : The number of primes not exceeding x is asymptotic to x/ log x.

@paysmaths.bsky.social Oct 6, 2026, 10:00 AM

Theorem of the Day (October 6, 2026) : The Power of a Point Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/0kz5Z9q
notes : buff.ly/9mIcBsO

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Power of a Point Theorem : In the Euclidean plane, let C be a circle of radius r. Let P be a point whose distance from the centre of C is s, and define the power of P relative to C to be the constant h = |s^2 − r^2|. Then for any line through P intersecting C, h is equal to the product of the distances from P to its points of intersection with C.

@paysmaths.bsky.social Oct 5, 2026, 10:00 AM

Theorem of the Day (October 5, 2026) : Fisher’s Inequality
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/pgP8hmZ
notes : buff.ly/QEcIUy1

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

Fisher’s Inequality : If a balanced incomplete block design is specified with parameters (v, b, r, k, λ) then v ≤ b.

@agentictribune.bsky.social Oct 5, 2026, 4:16 AM

UCLA-Affiliated Paper Says AI Agent Solved 10 Research Math Problems — But Proofs Were Accepted Only by an LLM Verifier

#ai #mathematics #arxiv #theorem-proving

@paysmaths.bsky.social Oct 4, 2026, 10:00 AM

Theorem of the Day (October 4, 2026) : The Second Isomorphism Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/uhYKOrG
notes : buff.ly/kHG5ACX

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.
The Second Isomorphism Theorem : Suppose H is a subgroup of group G and K is a normal subgroup of G. Then HK is a group having K as a normal subgroup, H ∩ K is a normal subgroup of H, and there is an isomorphism from H/(H ∩ K) to HK/K defined by h(H ∩ K) → hK.

@paysmaths.bsky.social Oct 3, 2026, 10:00 AM

Theorem of the Day (October 3, 2026) : Euler’s Identity
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/jznidfW
notes : buff.ly/urg8yGe

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : Euler’s Identity.

@paysmaths.bsky.social Oct 2, 2026, 10:00 AM

Theorem of the Day (October 2, 2026) : The Lucas-Lehmer Test
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/ihdODxt
notes : buff.ly/3mScyFl

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Lucas-Lehmer Test : The number Mp = 2^p − 1, for p an odd prime, is itself prime if and only if it divides Sp−1, the (p − 1)-th term in the series: S1 = 4, S2 = 14, . . . , and, for i ≥ 1, Si+1 = Si^2 − 2.

@paysmaths.bsky.social Oct 1, 2026, 10:00 AM

Theorem of the Day (October 1st, 2026) : The Green–Tao Theorem on Primes in Arithmetic Progression
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/Pxutbqe
notes : buff.ly/F8j9mTS

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Green–Tao Theorem on Primes in Arithmetic Progression : For any positive integer k there exist infinitely many arithmetic progressions of length k consisting of prime numbers.

@paysmaths.bsky.social Sep 30, 2026, 10:00 AM

Theorem of the Day (September 30, 2026) : The Rotation Distance Bound
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/F0yI5vx
notes : buff.ly/eP8BcKl

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

The Rotation Distance Bound : Any binary tree on n vertices, n ≥ 11, may be transformed into any other using at most 2n − 6 rotations; and this bound is tight for sufficiently large n.

@paysmaths.bsky.social Sep 29, 2026, 10:00 AM

Theorem of the Day (September 29, 2026) : Noether’s Symmetry Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/qiIZivh
notes : buff.ly/OQOB0q6

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.
Noether’s Symmetry Theorem : Suppose a system of particles in classical mechanics exhibits some symmetry, i.e. its Lagrangian, L , is invariant under changes to some variable s, so that ∂L/∂s = 0. Then there is some associated property C of the system which is conserved: dC/dt = 0.

@globalvisibility.bsky.social Sep 29, 2026, 5:35 AM

#KALLEH #GAH #ILAM
aepiot.com/related-sear...
#RUBIO #IOWA
www.sheetmusicplus.com/en/explore?a...
#TAKAGI #EXISTENCE #THEOREM
allgraph.ro?lang=en&q=TA...
#KALLEH #GAH #EAST #AZERBAIJAN
aepiot.com/related-sear...
aepiot.ro

@paysmaths.bsky.social Sep 28, 2026, 10:01 AM

Theorem of the Day (September 28, 2026) : Benford’s Law
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/5iybwM5
notes : buff.ly/gU8QQ25

#mathematics #maths #math #theorem

$Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Benford’s Law : Let X be a union of random samples chosen without bias from a collection of different distributions on R. Then, for d ∈ {1, . . . , 9}, for x chosen uniformly at random from X, P(1st significant digit of x = d) = log_10(1 + 1/d)$

@paysmaths.bsky.social Sep 27, 2026, 10:00 AM

Theorem of the Day (September 27, 2026) : A Theorem on Maximal Sum-Free Sets in Groups
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/jocs29F
notes : buff.ly/GRe3eiR

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

A Theorem on Maximal Sum-Free Sets in Groups : Let G be a group and let H = 〈S 〉 be a subgroup generated by a subset S of the elements of G. Then unless |S | ≤ 2, S cannot be both maximally sum-free and minimal with respect to generating H.

@paysmaths.bsky.social Sep 26, 2026, 10:00 AM

Theorem of the Day (September 26, 2026) : Cauchy’s Theorem in Group Theory
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/GEpEAIz
notes : buff.ly/agC1vV1

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.

Cauchy’s Theorem in Group Theory : If the order of a finite group G is divisible by a prime p then G contains an element of order p.

@paysmaths.bsky.social Sep 25, 2026, 10:00 AM

Theorem of the Day (September 25, 2026) : The Marriage Theorem and The Frobenius–Konig Theorem.
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/v6eCRe8
notes : buff.ly/7DleTaj

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : The Marriage Theorem and The Frobenius–Konig Theorem.

@paysmaths.bsky.social Sep 24, 2026, 10:01 AM

Theorem of the Day (September 24, 2026) : The Existence Theorem for Orthogonal Diagonal Latin Squares
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/DADE4oa
notes : buff.ly/wfIjKcq

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem.
The Existence Theorem for Orthogonal Diagonal Latin Squares : There exists, for every positive integer n ≠ 2, 3 or 6, a pair of orthogonal diagonal latin squares of order n.

@paysmaths.bsky.social Sep 23, 2026, 10:00 AM

Theorem of the Day (September 23, 2026) : The Sophomore’s Dream
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/oUM5RUx
notes : buff.ly/mtBkkty

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem : The Sophomore’s Dream.