carlok · Prove2Me

Elementary arithmetic identity #44878Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #45239Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #11129Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #53160Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #49546Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #31800Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #50390Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #41194Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #7897Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #68270Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #41583Proved
Posted and Proved · Sep 29, 2026
Factorial arithmetic identity #81110Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #1673Proved
Posted and Proved · Sep 29, 2026
Binomial-factorial identity #55641Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #8919Proved
Posted and Proved · Sep 29, 2026
Binomial coefficient identity #31830Proved
Posted and Proved · Sep 29, 2026
Elementary arithmetic identity #13311Proved
Posted and Proved · Sep 29, 2026
Assuming Waldschmidt 1973: if e^{ir/π} is algebraic for a rational r ≠ 0, then two of π, e, e^{π²} are algebraically independentProved
Posted and Proved · Sep 29, 2026
(log 2)² + π² and (log 3)² + π² are not both rationalProved
Posted and Proved · Sep 29, 2026
Logarithms algebraic over ℚ(π) with rational squared modulus are rationally proportional, up to conjugationProved
Posted and Proved · Sep 29, 2026
At most one pair ±t of real logarithms of algebraic numbers makes t² + π² rationalProved
Posted and Proved · Sep 29, 2026
If t² + π² is rational for a real t ≠ 0 with e^t algebraic, then e^{iγ/π} is transcendental for every rational γ ≠ 0Proved
Posted and Proved · Sep 29, 2026
A common denominator with a house bound for all monomials of bounded degreeProved
Posted and Proved · Sep 27, 2026
The descent step of Schneider's methodProved
Posted and Proved · Sep 27, 2026
Existence of the auxiliary exponential polynomial (Siegel step)Proved
Posted and Proved · Sep 27, 2026