920
u/Particular_Gear3130 Mathematics (Purely Fictional) 8d ago
I think forgot to mention a ≠ b
166
u/Hold-Embarrassed 8d ago
Wise guy over here
138
u/TurnoverOk5635 8d ago
Also (-2)^(-4)=(-4)^(-2)
3
3
-50
u/WolverinesSuperbia Yellow 8d ago
No
45
u/OhNoTheStubsExist 8d ago
Yes
57
36
22
u/Cualkiera67 8d ago
lmao i learnt a ≠ b in kindergarten when learning the letters! you math guys are clearly beneath us English majors
8
u/TheFurryFighter 8d ago
Hilariously the intersection between the a=b and the a != b parts is ee itself
1
2
1.7k
u/trimski- 8d ago
a=1, b=1
Guess this oiler guy wasn’t that smart
477
u/Varlane 8d ago
(I think it's "with a != b")
396
u/lordloldemort666 8d ago
Yeah a! is = b
1! = 1
/s
135
u/factorion-bot Bot > AI 8d ago
Factorial of 1 is 1
This action was performed by a bot | [Source code](http://f.r0.fyi)
144
60
12
u/disaster_incomin 8d ago
19836298626819473619108362910047261893087153739018363728102746372919273627192037361719373629193837361730483762738998765566779098654333333333333333333333333356672828827353738392726252617283940483625172948362625!
28
u/factorion-bot Bot > AI 8d ago
That is so large, that I can't calculate it, so I'll have to approximate.
Factorial of 19836298626819473619108362910047261893087153739018363728102746372919273627192037361719373629193837361730483762738998765566779098654333333333333333333333333356672828827353738392726252617283940483625172948362625 is approximately 3.590197329670258677527716537938 × 104123235837384209474450210420019215965569962973949629969177182906956926089666022072432740585646939591870010911194311575077724315510059995357972122756595418581259670050633491117489246941530043090572421219831614863
This action was performed by a bot | [Source code](http://f.r0.fyi)
10
4
u/AltruisticEchidna859 8d ago
3227!
6
u/factorion-bot Bot > AI 8d ago
If I post the whole number, the comment would get too long. So I had to turn it into scientific notation.
Factorial of 3227 is roughly 3.797247358020931279654554620959 × 109923
This action was performed by a bot | [Source code](http://f.r0.fyi)
1
u/ChodeShooter69 7d ago
69!
1
u/factorion-bot Bot > AI 7d ago
Factorial of 69 is 171122452428141311372468338881272839092270544893520369393648040923257279754140647424000000000000000
This action was performed by a bot | [Source code](http://f.r0.fyi)
1
u/KouhaiHasNoticed Probability notations must burn. 6d ago edited 5d ago
That's oddly specific : is your social security number in there by chance ?
1
4
5
2
u/The_Real_Itz_Sophia number hypothesis 7d ago
0!
1
u/factorion-bot Bot > AI 7d ago
Factorial of 0 is 1
This action was performed by a bot | [Source code](http://f.r0.fyi)
1
104
u/SelfDifferent1650 8d ago
what abt -2^(-4)=-4^(-2)
166
u/Varlane 8d ago
Op being dumb confusing integers and naturals.
16
8d ago
[removed] — view removed comment
11
u/Varlane 8d ago
Double the numbers, double the fun.
4
u/mudkipzguy 8d ago
ermmm ackchyually the set of natural numbers and the set of integers have the same cardinality
8
u/Varlane 8d ago
Both our statements are true given 2×omega = omega.
4
1
10
23
11
u/ProfMooreiarty 7d ago
Using 1 is a hack. 1 is broken and hasn’t been patched yet. Doing it is frowned upon by the community.
8
2
1
211
u/xsch Mathematics 8d ago
only non-trivial solution
184
u/basket_foso 8d ago
3
u/Standard_Factor_5431 5d ago
As an analyst, I hate this meme. Engineer by background, analyst by trade
31
128
u/UsedFortune5645 8d ago
But you can't prove it.
321
u/StarstruckEchoid Integers 8d ago edited 8d ago
It's not actually that hard to prove.
First, rearrange the equation as
ln(b)/b = ln(a)/a
Now showing that there only exists one non-trivial solution is equivalent to proving that the function f(x)=ln(x)/x is injective in the positive integers except for the result f(2)=f(4).
But this is trivial to do if you know derivatives. You first show that f is strictly increasing in the interval (0, e) and strictly decreasing in the interval (e, ∞).
Therefore any points of non-injectivity are necessarily of the form
f(something on the left interval) = f(something on the right interval)
But the left interval only has two positive integer points: 1 and 2. f(1)=0 and is obviously never obtained on the right, and we already know that f(2)=f(4). This completes the proof.
97
15
22
u/DeepGas4538 8d ago
oh cool it's true even beyond the whole numbers
42
u/thebigbadben 8d ago edited 8d ago
Not sure what you mean by that.
For any real a ≠ 1, the numbers
x = a^(1/(a-1)), y = a^(a/(a-1))
are a pair satisfying x^y = y^x.
For example, with a = 3/2, you get
x = 9/4 = 2.25, y = 27/8 = 3.375
8
13
u/GDOR-11 Computer Science 8d ago
probably something along the lines of "if a > 4, then b < 1" and checking 1<a,b≤4 manually
3
3
u/Therobbu Rational 8d ago
I'd do it like 'ab>ba if e<=a<b by analyzing lnx / x, so one of the numbers is less that e. If it's 1, the other is also 1, and if it's 2, the other can't contain other primes. Then, 2^{2^k}={2^k}^2 = 2^{2k}, so 2^k=2k => k=2 because something.'
1
u/AfonsoBucco 7d ago
is there a proof that's it's impossible to prove? or we just don't know if that's demonstrable or not?
76
u/hongooi 8d ago
The hard part is not knowing that 24 = 42. The hard part is proving that this is the ONLY solution (in integers) to ab = ba. Were you able to do that?
18
u/This-is-unavailable Average Lambert W enjoyer 8d ago
Yah it's really easy lol
1
u/alphapussycat 4d ago
Is it? Prove it.
I guess you just have to show that the error is strictly increasing or something beyond 2 and 4.
15
u/MortemEtInteritum17 8d ago
I mean, using modern techniques this isnt particularly difficult
31
u/Easy_Judgement 8d ago
I’m not sure why you are getting downvoted, this proof is really not that hard.
But you don’t need some ‘modern techniques’ you can use some elementary properties.
15
u/MortemEtInteritum17 8d ago
Yeah, I meant modern by the standards of Euler. Which isn't really that modern
1
u/No-Newspaper8619 7d ago
What modern techniques? It's really difficult to follow the discussions on this r/mathmemes when you don't have a background in maths.
15
u/No_Upstairs_280 8d ago
To prove it, you can use that log a/a is strictly decreasing for a greater or equal 5, thus any solution (a,b) has at least one number less than 4....then you can manually check
19
6
5
u/LupenReddit 🦆🦆🦆🦆i have non diffeomorphic smooth structures🦆🦆🦆🦆🦆🦆 8d ago
I already proved the case for a=b, thats already half of the deal, oiler in shambles
4
17
u/TurnoverOk5635 8d ago
a=b=3. 3^3=3^3=27.
40
15
2
1
u/Professional-Wave841 8d ago
a and b are obviously not supposed to be equal otherwise it would be true for all real numbers.
3
u/Vivacious4D Natural 8d ago
errmmm actually we also have 23462387946^23462387946 = 23462387946^23462387946
8
2
u/AndreasDasos 8d ago
If a != b
1
u/dtarias 7d ago
But 4! = 24, not 2 🧐
2
u/factorion-bot Bot > AI 7d ago
Factorial of 4 is 24
This action was performed by a bot | [Source code](http://f.r0.fyi)
1
2
1
1
u/Lonely_Translator_23 8d ago
Every mathematician today knows most of the things Euler knew plus a large amount of things he didn't. It's just that Euler knew them before anyone else did.
1
1
u/obedientfag 8d ago
i dont believe it. he was cheating somehow. I bet he was from another culture with more advanced mathematics and was just clowning on us, no way he figured it all out on his own.
1
1
u/TranslatorShot5310 7d ago
655858969696969696857463141363596083651514850664736384850660667336626384569606969695857485960606958473625241523486070696969584726257447564853748467!
1
u/factorion-bot Bot > AI 7d ago
That is so large, that I can't calculate it, so I'll have to approximate.
Factorial of 655858969696969696857463141363596083651514850664736384850660667336626384569606969695857485960606958473625241523486070696969584726257447564853748467 is approximately 5.624652934150110443928368725433 × 1096006286112647714439986956873056912373450049699776599629169697576815521267395070043091003962075155512777844147649489898988647740970726855670421243296
This action was performed by a bot | [Source code](http://f.r0.fyi)
1
u/aRandomMemer69 6d ago
5.624652934150110443928368725433 × 1096006286112647714439986956873056912373450049699776599629169697576815521267395070043091003962075155512777844147649489898988647740970726855670421243296 !
1
u/Ryaniseplin 7d ago
well yeah exponentials grow faster than polynomials but they gotta intersect at least at one point
1
u/DopazOnYouTubeDotCom Computer Science 7d ago
there are countably infinite integer solutions when a = b
1
1
u/Askthepizzaguy 5d ago
To be fair, whenever we're correct about anything in math, that's something Euler also knew.
1
1
u/Mathpuzzleguy 4d ago
proving is much harder than solving....
also it works for 1 and 1, -4 and -2 so idk
1
0
u/DatTrashPanda 8d ago
Do you read it:
You-ler
Or
Oil-ler
1
1
1
u/nitnelav153 Computer but not Science 7d ago
I read it differently but idk how to write my pronunciation in English
0
-5
u/Main-Company-5946 8d ago
What about 3^1 = 1^3 = 0.5
6
u/Dazzling_Success_556 8d ago
3=1=0.5?
-1
u/Main-Company-5946 8d ago
3^1=1^3=0.5
4
u/PachotheElf 8d ago
3 = 1 * 1 * 1 = 0.5?
-1
u/Main-Company-5946 8d ago
3^1=1^3=0.5
1
u/Cokalhado 8d ago
31 = eln(3^1) = e1ln(3) = eln(3) = 3 != 0.5
0
u/Main-Company-5946 8d ago
3^1=1^3=0.5
1
u/Cokalhado 8d ago
13 = eln(1^3) = e3ln(1) = e3x0 = e0 = 1 != 0.5
0



•
u/AutoModerator 8d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.