Prove me wrong.
Protip: You can't.
This is correct.
The LHS is multivalued while the RHS is only positive.
That's a definition not a theorem
>>7939175
>implying the input is what matters
The outcomes are both the same.
>>7939175
LHS is not multivalued. It'd be if it had [math]\plusminus[/math]
Why is x^1 not the same thing as x^(2/2)?
[eqn] \sqrt{i^2} = \sqrt{-1} = i [/eqn]
[eqn] |i| = 1 [/eqn]
>>7939185
but it is
>>7939183
He's not implying that. He's saying this statement is true only when x is a real number.
>>7939189
but x^(2/2) is abs(x), not x^1.
>>7939187
>using imaginary numbers
Hard more: No imaginary numbers, let alone, complex numbers.
let x = i
>>7939222
>let me just disprove a real number statement with imaginary numbers
wew lad :^)
>>7939222
trips checked
>>7939227
im still yet to get them
>>7939172
It fails if x is a complex number so no.
>>7939226
Where was it stated that x is a real number? This is obviously true then.
>>7939196
let x be a polynomial in t
let x by a differential equation in x'(t)
let x be a vector in Rn, any fixed n > 1
let be any matrix such that it is square and has more than 1 row.
literally easy mode.
>>7939372
[eqn]\color{cyan} { \mathfrak{Faggot} }[/eqn]
Are you ready to be butthurt, OP?
You are so stupid you didn’t even specify that [math]x[/math] was a real number, so I guess you wouldn’t mind if I used matrices. I’ll even get the hard mode as described by that >>7939196 retard. :^)
[eqn]\sqrt{ \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}^2 } \,=\, \sqrt{ \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} } \,=\, \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}[/eqn]
[eqn]\left\| \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \right\| \,=\, \mathrm{tr}\, \left[ \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \,\times\, \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \right] \,=\, \mathrm{tr}\, \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \,=\, 1 \,+\, 1 \,=\, 2[/eqn]
Therefore, [math]\sqrt{ \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}^2 } \,\neq\, \left\| \begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} \right\|[/math], Q.E.D. faggot.
>>7939192
you're thinking of (x^2)^1/2
i will help prove you right
first, take the completion of the rationals, call it N
elements of N are called Normans
we assume that the square root is the principal square root, making it a single-valued function of the positive Normans and the zero Norman
[math] x^2 = xx [/math] is a function of x whose image is the positive Normans, meaning you can restrict its codomain to the positive Normans
let the square root be defined as such
for any positive Norman x,
Sqrt(x) = x/Sqrt(x)
so for any x^(2n), we have
Sqrt(x^(2n)) = x^(2n)/Sqrt(x^(2n))
Sqrt(x^(2n))Sqrt(x^(2n)) = x^(2n)
Sqrt(x^(2n))^2 = x^(2n)
Sqrt(x^(2n)) = x^n
then for x^2 we have n = 1
then Sqrt(x^2) = x
because the codomain of Sqrt is the positive Normans, x is a positive Norman
so we know that x is at least always positive
now we prove that x is the absolute value of the original Norman
for any negative Norman y = -z, y^2 = (-z)(-z) = (-1)^2 z^2 = 1 z^2 = z^2 = (-y)^2
then Sqrt((-x)^2) = Sqrt(x^2) = x
we define the absolute value of a Norman to be -x when x is negative, and x when x is positive, and 0 when x is 0
so for our first case, -x, we have Sqrt((-x)^2) = x
then our next case, 0, we have Sqrt(0^2) = 0
and our final case, x, we have Sqrt(x^2) = x
this is equivalent to the absolute value function
there is a slight problem, however, and that is that the Normans do not exist
>>7939467
>first, take the completion of the rationals, call it N
>elements of N are called Normans
>>7939467
>>7939470
i don't get it
>>7939398
If you did it consistently, then you would have applied the absolute value via spectral theorem, and OP was right again.
>>7939380
can you get banned for [math]\mathbb{THIS}[/math] [math]\color{purple}{dumb}[/math] [math]\mathcal{SHIT} [/math] though?
>>7939529
[eqn]\color{red} {\mathcal{A}} \color{green} {\mathcal{S}} \; \color{yellow} {\mathbf{F}} \color{purple} {\mathbf{A}} \color{grey} {\mathbb{R}} \; \color{cyan} {\mathcal{A}} \color{yellowgreen} {\mathcal{S}} \; \sqrt{ -1 } \; \color{magenta} {\mathfrak{K}} \color{cadetblue} {\mathfrak{N}} \color{white} {\mathfrak{O}} \color{gold} {\mathfrak{W}} ... \\ N^{O^{O^{OOOOOOOOOOOOOOOOOOOOOOOOOOO!}}}[/eqn]
>>7939529
[eqn]\color{red}{ \mathcal{A} } \color{green}{ \mathcal{S} } \; \color{yellow}{ \mathbf{F} } \color{purple}{ \mathbf{A} } \color{grey}{ \mathbb{R} } \; \color{cyan}{ \mathcal{A} } \color{yellowgreen}{ \mathcal{S} } \; \sqrt{ -1 } \; \color{magenta}{ \mathfrak{K} } \color{cadetblue}{ \mathfrak{N} } \color{white}{ \mathfrak{O} } \color{gold}{ \mathfrak{W }} ... \\ NO![/eqn]
fug i hope it renders
[math] \color{purple}{ \scriptstyle \text{>not purpleposting}} [/math]
>>7939606
[eqn]\color{cyan}{ \scriptstyle \text{>not cyanposting}}[/eqn]
>>7939618
>>7939606
[math]\color{purple}>\mathcal{DA}\mathbb{NK} [/math] [math] \color{orange}{PO}\color{red}{ST}[/math]
>>7939172
This would be a legit question if counter-proofs didn't exist, yet they do.
Pro-tip, more than one counter works depending on how constrained your axioms are.
>>7939731
this isn't math
this is sudo-cyanse
>>7939429
Thats exactly the same thing dude,(x^y)^z=x^(yz)
>>7939192
It's because the square root function always has two solutions for any non 0 number, but in order to be defined as a function, it discards the negative.
>>7939172
X = -2
Rad (X^2) = abs (X)
Rad (-2*-2)=abs(-2)
Rad (-2)*rad (-2)=2
Rad(2)*i*rad(2)*i=2
-2=2
;^)
>>7939172
Prove me wrong
>>7939991
1 doesn't equal -1
QED
>>7939752
>(x^y)^z=x^(yz)
For reals with x > 0, that holds. But it certainly doesn't hold for x=-1, y=2, z=1/2.
>>7940104
But it does. 1^.5 is either 1 or -1.
>>7939574
This is an amazing discovery, stupid admin
[math] \color{red} {\mathbf{(USER ~~WAS ~~BANNED ~~FOR ~~THIS ~~POST)} }[/math]
>>7939529
At least on /g/ misusing code tags can lead to a ban
>>7940166
any retard can do that m8
[eqn]\color{red}{\mathcal{USER WAS BANNED FOR THIS POST}}
>>7940211
dumbass nigga
[eqn]\color{red}{\mathcal{USER WAS BANNED FOR THIS POST}}[\eqn]
>>7940212
[eqn]\color{red}{\mathcal{why is this so hard}\[\eqn]
>>7940213
[eqn]\color{red}{ \mathcal{top kek} } \[/eqn]
\color{red} {\mathbf{(USER ~~WAS ~~BANNED ~~FOR ~~THIS ~~POST)} }
[eqn] \color{red} {\mathbf{(USER ~~WAS ~~BANNED ~~FOR ~~THIS ~~POST)} } [/eqn]
if this one doesnt work im literally killing myself
>>7940251
why was he banned?
\color{red} {\mathbf{(USER ~~WAS ~~BANNED ~~FOR ~~THIS ~~POST)} }