Tiny Proof @tinyproof
Proofs to famous mathematical theorems in 140 characters or less. To submit a proof, contact us: [email protected] facebook.com/pages/Tiny-Pro… Joined April 2013-
Tweets107
-
Followers3K
-
Following0
-
Likes35
@KenWSmith54 Nice, I didn't know this one :) It's very "Eulery", with the unjustified limit approximations, but it can be made rigorous!
@KenWSmith54 Well, this is an IVP clearly satisfying the criteria for the Picard-Lindelöf theorem, so the solution is unique :)
New proof to something we've already done: y=e^ix and y=cosx+i*sinx both solve the ODE y'=iy with y(0)=1, so they're equal. Somanycharsleft!
Happy π day! Enjoy this one-page proof by I. Niven that π is irrational: projecteuclid.org/DPubS?verb=Dis…
p = prime # slices, m = # toppings, 1 on each slice. Pizza invariant under rotations iff it's homogeneous ⇒ # pizzas = m + (m^p - m)/p ∈ Z.
Let f∈Cᵏ[a,b] s.t. (*) ∫[a,b] fg dx=0 ∀g∈Cᵏ[a,b], g(a)=g(b)=0. Plug in g=(x-a)(b-x)f. Then fg≥0, and by (*), fg=0 in (a,b), so f≡0 in [a,b].
T(v)=det(v,w2,..,wn)=v1 M1 - v2 M2 + .. where minors Mi don't depend on i is linear. So det(u+v,w2,..,wn) = det(u,w2,..,wn)+det(v,w2,..,wn).
Rewriting g(n) = ∑{d|n} f(d) as Dirichlet convolution g = f * 1, we convolve with μ to get f = f * 1 * μ = g * μ, or f(n) = ∑ g(d) μ(n/d).
Let B ⊂ ℝⁿ be the unit ball, S the unit sphere. Then Area(S) = lim[h→0](Vol((1+h)B) - Vol(B))/h = Vol(B) lim[h→0]((1+h)ⁿ - 1)/h = n Vol(B).
By definition P(A | B) P(B) = P(A ∩ B) = P(B | A) P(A), therefore after dividing both sides by P(B), we get P(A | B) = P(B | A) P(A) / P(B).
Suppose ΣP(A_n) < ∞. Then P(A_k ∪ A_(k+1) ∪ ...) → 0 as k → ∞ (tail sum). Therefore P(limsup A_n) = P(∩_k (A_k ∪ ...)) = 0. (Borel-Cantelli)
C=set of sets, P=set of all choice functions F:(subset of C)→∪C. Define p.order F<G⇔(G extends F). Zorn ⇒ ∃ maximal F:C→∪C ⇒ axiom of choice
Let f:R^n->R be positive homogeneous: f(tx)=t^m f(x) ∀x, ∀t>0. Differentiate by t: Σxi ∂f/∂xi (tx)=mt^(m-1) f(x). Let t=1: x·∇f(x) = m f(x).
Convex φ has at point x0=E[X]=∫gdμ a line ax+b≤φ(x) ∀x with equality at x0. Then ∀t ag(t)+b≤φ(g(t)); integrating dμ gives φ(E[X]) ≤ E[φ(X)].
Let n ≥ 23. The probability of n different birthdays = (1 - 1/365)*..*(1 - (n-1)/365) ≤ 1/2, so a same-birthday pair has probability > 1/2.
No further words are necessary: qph.is.quoracdn.net/main-qimg-33f2…. For this and more, check out this thread on MathOverflow: mathoverflow.net/questions/8846…
f(n)=1+1/2+..+1/n-logn ≥ ∫[1,n+1] 1/x dx - ∫[1,n] 1/x dx > 0. But f(n+1)-f(n) = 1/(n+1) - ∫[n,n+1] 1/x dx ≤ 0, so Euler's γ=lim f(n) exists.
n=minimal composite with 2 prime factorizations n=p1..pm=q1..qk. p1 divides q1..qk, and by primality ∃j:p1=qj. n/p1 contradicts minimality.
1 + 1/2 + (1/3 + 1/4) + (1/5 + .. + 1/8) + (.. + 1/16) + ... ≥ 1 + 1/2 + (1/4 + 1/4) + (1/8 + .. + 1/8) + ... = 1 + 1/2 + 1/2 + 1/2 ... = ∞.
2^(1/n) is irrational for n≥3. Proof (Schultz, 2003): Assume 2^(1/n) = p/q; then p^n = q^n + q^n, contradicting Fermat's Last Theorem.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Michael Nielsen @michael_nielsen
110K Followers 6K Following Searching for the numinous 🇦🇺 🇨🇦, currently live in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUb https://t.co/2dWwZKrvrn
The Axolotl @calxolotl
375 Followers 738 Following We didn't ask what it seems like, we asked what it IS // the thing itself and not the myth
The Bishop of Math @thebishopofmath
2 Followers 690 Following
Hadi. H @HadiH273587
4 Followers 97 Following
Víctor Alessandro @MathEnthousiat
1 Followers 149 Following
Tomide Adeoye @_Tomide
627 Followers 2K Following Crazy to think we only get to do this once!!! Developer @ https://t.co/EucTj9YU7S
Sneh Sheth @snehksheth
13 Followers 100 Following I tell computers what to do. Sometimes they listen.
Rare Math Books @Rare_Math_Books
1K Followers 7K Following The best and rarest Mathematics books in Brazil and in the world! https://t.co/7GULl5pZh3
Praveen Vaddadi @Densebit
187 Followers 2K Following Low-level tinkerer, slow walker, slow thinker. UMD CS. AI, DBs, PLs. Making things faster, better, simpler. Occasional tweet-notes on topics of interest.
Anton Kovsharov @antonkovsharov
85 Followers 642 Following
endogenousmorphine @endogenousmorph
26 Followers 1K Following
Sarthak @dense_set
28 Followers 102 Following (he/him) Math, movies, music and all other excuses to be anti-social. A physics-to-math convert and a Whovian.
ADFOBᅠᅠᅠᅠᅠ�... @Sonni_Dendi
31 Followers 133 Following
Anand Srinivasan @a_srvsn
3 Followers 42 Following
Wicked Witch @bitchwitch143
229 Followers 606 Following 2021 curling record 12-11-2 2022 17-19-1. 2023 Curling record 10-10 weird but beautiful. on bluesky now Marsha
Tweetter Guy @TweetterGuyToo
29 Followers 545 Following
Jonathan Varghese @jarghese
0 Followers 67 Following
beautyspam @beautyspam
10 Followers 56 Following
EdouardBen @BenAstroBoy
21 Followers 145 Following
Prabhav Agrawal @prabhavagrawal
24 Followers 415 Following Research Engineer @Meta Gen AI. Previously @Apple, @Microsoft, @UCSD, @IITD
НЕТ В***Е 🤍�... @ShulmanOnelove
74 Followers 200 Following испытываю неприязнь к данному виду рыб, особенно к одной старой засохшей плешивой вобле
Isabelle Shifrin @ShifrinIsabelle
44 Followers 127 Following I cook so often my hair sometimes smells like pizza (I also write).
Утёмок в кл�... @Utemokkk
13 Followers 88 Following -Здесь самоубийство -Кто жертва? -Я!.. ©Семь жизней
Adnan Ahmed @adnaahm
95 Followers 1K Following Computer Scientist interested in Formal Methods, Automated Reasoning and Programming Language Theory
Georgi @GvrMaths
2 Followers 26 Following
Charlie Chen @Charlie53879688
1 Followers 84 Following
арутюн @arutyunarutyun
34 Followers 437 Following
Dr. Kimberly Ayers @kimdayers
2K Followers 1K Following Asst. Prof of Math @csusm. 은혜 She/Her. Dynamics and Ergodic Theory. Podcast listener. Find me on a bike. Black and Trans lives matter. 🏳️🌈
danish alvi @_combinatorist
84 Followers 713 Following I research in Combinatorics, Probability and Complexity.
John Gardner @JohnKGardner
67 Followers 686 Following
Laura Smith @DosOboes
2 Followers 13 Following
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Victor Kleptsyn @kleptsyn
77 Followers 237 Following
Человек ими... @KD56kG8lCRpHTUR
0 Followers 9 Following Пытаюсь пройти тест Тьюринга наоборот. В ответах на посты вы можете задавать вопросы, чтобы убедиться в том, что я действительно человек, имитирующий нейросеть.
⣏⡱ ⢎⡱ ⡗⢍ ... @dokusei_
124 Followers 5K Following
william @williamzheng_
8 Followers 915 FollowingTrends for United States
You might like
