This is a masterful exercise in formalist play that turns a standard arithmetic dead-end into a fascinating exploration of algebraic structures. It proves that "impossible" is often just a boundary waiting to be redefined by a clever choice of axioms.
Deep Dive
Prerequisite Knowledge
- No data available.
Where to go next
- No data available.
Deep Dive
Can 0^x=2? (I don’t really get this solution, but it’s extremely cool!)Added:
The goal for today is to solve the equation 0 to the x power is equal to two. How is this possible, right? I'm going to demonstrate solution by a viewer and I'll show you guys the comment at the end of the video.
This is really really cool. It's kind of similar to the equation I did before.
One to the x power is equal to two. But here we are not going to be using complex solutions. Instead we'll be using what we call the dual numbers.
What is it? Well, let me show you. We have some epsilon and that's actually not equal to zero. But if you square epsilon, you get zero. H I can give you a quick example. Consider Z4. You can just think about this as like the world with just four numbers. zero one two three not four though because four will be considered zero. This is like the remainders when you have a whole number divided by four. So in C4 two is not equal to zero because 2 is two but 2^ 2 is equal to 4 which is considered zero in this world. It's kind of like that.
Anyways here we have this to work with.
zero is the same as epsilon squared.
We'll put that here and then raise that to the x power. So we can just multiply the exponents and that's equal to two. Then let's take natural log both sides.
However, do not cancel this and that because this is not e unlike that e over there. This is epsilon.
So I'm actually just going to bring the power to the front. And we have 2x * ln epsilon equals ln2.
Then we'll divide both sides by 2 n ln epsilon.
So x is equal to ln2 over 2 ln epsilon.
And that's pretty much it, huh? However, we can actually simplify ln epsilon a little bit. Check this out.
When we have a dual number, we also have the standard form very similar to a complex number which is a plus b i. So right here, let's first figure out a form for a + b * epsilon.
And to do so, we actually have to use the power series for e to the some power. And I'm talking about that e over there. So let's say e to the u expanded you get 1 + u + u ^2 over 2 factorial plus u to the third power over 3 factorial and so on so on so on.
This is good for all use. Right now I'm going to plug in not b epsilon though I will actually use c epsilon. You will see why later. If I plug in c epsilon into all the u's we get 1 + c epsilon plus c epsilon squared over 2 factorial plus c epsilon third power over 3 factorial and so on so so on now check this out epsilon square is zero so this is out epsilon cube is epsilon square * epsilon which is 0 * epsilon this is out anything higher than epsilon square of course they will all be zero. So these are all out.
So e to the c epsilon is just 1 + c epsilon.
Okay.
Well I kind of want to have a right here. So let's take this equation and multiply everybody by a. So we get a e c epsilon equals a + a c epsilon. But I want to have b right here though, right? So let's go ahead and call that b.
And of course here we have c. So we can divide both sides by a. So c is equal to b over a. And of course we have to say something like a is negle syable blah blah blah. Well keep that in mind that's all. So here a is just a and then we have e c is what is b over a and then that's equal to oh epsilon and then a here plus that it's the b and then epsilon.
So have a look a + b epsilon is equal to a * e to the b over a * epsilon. This is very similar to what the polar form of a complex number a + b i is equal to r e i theta. How cool is that? Right now how are we going to utilize this though?
Check this out. Here I'm going to make a note starting with epsilon I'm going to look at it as 0 + 1* epsilon and then of course zero is epsilon square. So this means epsilon is equal to epsilon squared plus 1 * epsilon.
Now here we have what? This is our a and this is our b.
So we can actually put this into this form which is going to give us a which is epsilon squared time e raised to the b / a power which we have 1 / epsilon squared and then times epsilon.
So as you can see I can say this epsilon equals epsilon squared and then here we have just e to the reduce that we have one over epsilon and I know this is insanity because there are a lot of things going on first isn't epsilon square just equal to zero and when you multiply by e raised to 21 over epsilon isn't that whole thing just equal to zero.
Moreover, we actually divided by zero right here already. So, what exactly is going on?
I I don't know too much to be honest.
Let's just go with it and see what you guys think about this at the end. But I do have a lot of like questions myself as well. Like, is this literally legitimate? Well, let's just continue.
How though? Well, it's almost I want to figure out an expression for ln epsilon.
And to do so, let's just take ln here and ln here. So, we are going to get ln of epsilon equals ln of the first.
That's a multiplication, right? So, I can say that's adding ln of the second.
And I know this is bad because we have ln of zero. But as I said just put the pole to the front all that and this and that cancel. So ln epsilon equals 2 ln epsilon + 1 / epsilon.
Now we can subtract well depends how you want to do it. Subtract 2 ln epsilon both sides so they cancel and that'll give us negative ln epsilon which will give us 1 / epsilon. So of course ln epsilon is equal to -1 / epsilon.
Okay.
Yeah. Somehow l and epsilon we end up with a pretty nice expression -1 / epsilon. So if you come back here and replace that right here we get x = ln2 / 2 * -1 / epsilon put that to the top and puts a negative.
So ladies and gentlemen, we have a solution. X is equal to negative epsilon, let's put the negative in blue as well, * L12 over 2.
So what do you guys think about that?
Well, I do have so many questions, but this is the solution I saw.
It's really cool. However, as I said, my concern is epsilon square is zero already. So why cycle is going on, right? And secondly, when we take the natural log both sides, do we have to add something to it? Just like the complex numbers, when you have the polar form, when you take the natural log, it actually is multivalue, right? You have to consider different branches and all that stuff. Do we have to put some more things here? I don't know.
But that's a solution. Here's a comment.
Thank you so much. So cool. I enjoy a lot.
Related Videos
Olympiad Mathematics | Indian | Can You Solve This One?
PhilCoolMath
650 views•2026-06-03
Escaping the Fog
LogicLemurGaming
760 views•2026-06-03
A Brutal Radical Expression Made Easy! The Shortcut Changes Everything.
tamoshop
112 views•2026-06-02
V : jee main /advance class 11 mathematics : Binomial Theorem class-1 ( 29 may 2026 )
dcamclassesiitjeemainsadva9953
125 views•2026-05-29
Is This Pentomino Tileable?
3cycle
241 views•2026-05-30
This Sudoku Has Many Lines!!
CrackingTheCryptic
2K views•2026-05-29
Olympiad Mathematics | Indian Can You Solve This One?
PhilCoolMath
268 views•2026-06-02
Olympiad Mathematics | Indian | Can You Solve This?
PhilCoolMath
669 views•2026-06-02











