• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 23:50
CET 05:50
KST 13:50
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
RSL Revival - 2025 Season Finals Preview8RSL Season 3 - Playoffs Preview0RSL Season 3 - RO16 Groups C & D Preview0RSL Season 3 - RO16 Groups A & B Preview2TL.net Map Contest #21: Winners12
Community News
Weekly Cups (Jan 5-11): Clem wins big offline, Trigger upsets2$21,000 Rongyi Cup Season 3 announced (Jan 22-Feb 7)15Weekly Cups (Dec 29-Jan 4): Protoss rolls, 2v2 returns7[BSL21] Non-Korean Championship - Starts Jan 103SC2 All-Star Invitational: Jan 17-1823
StarCraft 2
General
Weekly Cups (Jan 5-11): Clem wins big offline, Trigger upsets SC2 All-Star Invitational: Jan 17-18 When will we find out if there are more tournament SC2 Spotted on the EWC 2026 list? Weekly Cups (Dec 29-Jan 4): Protoss rolls, 2v2 returns
Tourneys
$21,000 Rongyi Cup Season 3 announced (Jan 22-Feb 7) $25,000 Streamerzone StarCraft Pro Series announced WardiTV Winter Cup WardiTV Mondays SC2 AI Tournament 2026
Strategy
Simple Questions Simple Answers
Custom Maps
Map Editor closed ?
External Content
Mutation # 508 Violent Night Mutation # 507 Well Trained Mutation # 506 Warp Zone Mutation # 505 Rise From Ashes
Brood War
General
[ASL21] Potential Map Candidates Potential ASL qualifier breakthroughs? A cwal.gg Extension - Easily keep track of anyone BGH Auto Balance -> http://bghmmr.eu/ BW General Discussion
Tourneys
[Megathread] Daily Proleagues [BSL21] Grand Finals - Sunday 21:00 CET [BSL21] Non-Korean Championship - Starts Jan 10 SLON Grand Finals – Season 2
Strategy
Game Theory for Starcraft Simple Questions, Simple Answers Current Meta [G] How to get started on ladder as a new Z player
Other Games
General Games
Beyond All Reason Nintendo Switch Thread Awesome Games Done Quick 2026! Mechabellum Stormgate/Frost Giant Megathread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia Mafia Game Mode Feedback/Ideas
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread European Politico-economics QA Mega-thread Trading/Investing Thread
Fan Clubs
White-Ra Fan Club
Media & Entertainment
Anime Discussion Thread
Sports
2024 - 2026 Football Thread
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List TL+ Announced
Blogs
My 2025 Magic: The Gathering…
DARKING
Physical Exercise (HIIT) Bef…
TrAiDoS
Life Update and thoughts.
FuDDx
How do archons sleep?
8882
James Bond movies ranking - pa…
Topin
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2124 users

WHY!?!? fractional exponents for radicals

Blogs > rei
Post a Reply
Normal
rei
Profile Blog Joined October 2002
United States3594 Posts
February 04 2011 17:36 GMT
#1
hi, square root of 2 can be written as 2^(1/2)
I search for it on google, found a lot of hows, but not whys, can some one explain why ? Teaching some math and was doing good till a student ask me why square root of 2 can be written as 2^(1/2) and I got stuck.

*
GET OUT OF MY BASE CHILL
Seronei
Profile Joined January 2011
Sweden991 Posts
Last Edited: 2011-02-04 17:44:58
February 04 2011 17:43 GMT
#2
The better question is why is square root of 2 written as something other than 2^(1/2), the only reason it has another sign is because it's so commonly used in math.


2^(1/2) is the square root of 2 and the definition of square root is x^(1/2)
Kazius
Profile Blog Joined August 2009
Israel1456 Posts
February 04 2011 17:44 GMT
#3
Exponential arithmetic:

2^1 * 2^(-1) = 2^(1 + (-1)) = 2^0
2^(1/2) * 2^(1/2) = 2^(1/2 + 1/2) = 2^1
Friendship is like peeing yourself. Anyone can see it, but only you get that warm feeling.
Slayer91
Profile Joined February 2006
Ireland23335 Posts
Last Edited: 2011-02-04 17:46:12
February 04 2011 17:45 GMT
#4
2^2 = 2x2 2^3 is 2x2x2 so if you add one to the exponent, you multiply the original number byitself 1 more time.


Since the Square root of 2 is a number that is multiplied by itself to give 2, to get 2, that's the same as adding the exponents of 1/2 and 1/2 to get 2^1
Remember the law of indices? 2^1/2 + 2^1/2 = 2^(1/2 + 1/2) =2^1

It's really the definition of square root, that's why its hard to explain.
Inzek
Profile Blog Joined May 2008
Chile802 Posts
February 04 2011 17:47 GMT
#5
idk i "real" explanation.. but...
a*a=a^(1+1)
2^(1/2)*2^(1/2)=2

go backwards and i think you can prove something..
also finally is just notation...
like dx/dy is not dx/dy
Stork FAN!!!
Housemd
Profile Joined March 2010
United States1407 Posts
February 04 2011 17:49 GMT
#6
no...lie but i was actually thinking the same thing today. I was taking elementary physics and was told that ^1/2 is the same as square rooting something. Never knew why.
Fantasy is a beast
xlep
Profile Joined December 2009
Germany274 Posts
Last Edited: 2011-02-04 17:53:08
February 04 2011 17:52 GMT
#7
Studying electrical engineering I'm not really an expert on mathematics... Kazius explanation is pretty much on the spot.

By the definition of arithmetics when using powers (hope thats the correct word) in mathematics:

x^a * x^b = x^(a+b)

Considering that "square root of x" * "square root of x" = x; "square roof of x" must be x^(1/2)
skill is scissors beating rock
MangoTango
Profile Blog Joined June 2010
United States3670 Posts
February 04 2011 17:58 GMT
#8
One can raise any base number to any power. For example, you can raise e^(i*pi) if you want to. Which is an important identity, because e^(i*pi)=-1.
"One fish, two fish, red fish, BLUE TANK!" - Artosis
starfries
Profile Blog Joined July 2009
Canada3508 Posts
February 04 2011 18:00 GMT
#9
the 0 exponents blew my mind more
ie for x and y =/= 0
x ^ 0 = 1
0 ^ y = 0
0 ^ 0 = 1
DJ – do you like ramen, Savior? Savior – not really. Bisu – I eat it often. Flash – I’m a maniac! | Foxer Fighting!
SirKibbleX
Profile Blog Joined October 2006
United States479 Posts
Last Edited: 2011-02-04 18:12:31
February 04 2011 18:11 GMT
#10
This is a very simple explanation:

2^3 = 8
2^2 = 4
2^1 = 2
2^0 = 1 (Just keep dividing by 2 each time you decrement the exponent)
2^(-1) = 1/2

2^1 * 2^1 = 2^2
2^0 * 2^1 = 2^1, etc. (Exponents multiplied "sum")
2^(1/2) * 2^(1/2) = 2^1

Also remembering that exponents raised to another power 'multiply':
2^(1/2) * 2^(1/2) = [2^(1/2)]^2 = 2^1

It probably makes most sense backwards, by saying something like "What number squared would make two? That number must be two to the one-half power, because exponents 'sum' when multiplied."

x^(2) = 2 => x=sqrt(2)
Praemonitus, Praemunitus.
nalgene
Profile Joined October 2010
Canada2153 Posts
February 04 2011 18:19 GMT
#11
http://www.wolframalpha.com/input/?i=2^(1/2)

You can use that to check ( you can also type Engrish words into it if you need to )

is he looking for something like this?
2^3/2 = Sqrt ( 2^3 )
2^5/2 = Sqrt ( 2^5 )
2^4/3 = CubeRoot ( 2^4 )
2^5/4 = 4th Root( 2^5 )
Year 2500 Greater Israel ( Bahrain, Cyprus, Egypt, Iran, Iraq, Jordan, Kuwait, Lebanon, Oman, Gaza Strip, West Bank, Qatar, Saudi Arabia, Syria, Turkey, United Arab Emirates, Yemen )
andrewlt
Profile Joined August 2009
United States7702 Posts
February 04 2011 18:53 GMT
#12
Same reason you can use x, * or () for multiplication, some of which are better than others.
Bibdy
Profile Joined March 2010
United States3481 Posts
February 04 2011 19:01 GMT
#13
On February 05 2011 03:11 SirKibbleX wrote:
This is a very simple explanation:

2^3 = 8
2^2 = 4
2^1 = 2
2^0 = 1 (Just keep dividing by 2 each time you decrement the exponent)
2^(-1) = 1/2

2^1 * 2^1 = 2^2
2^0 * 2^1 = 2^1, etc. (Exponents multiplied "sum")
2^(1/2) * 2^(1/2) = 2^1

Also remembering that exponents raised to another power 'multiply':
2^(1/2) * 2^(1/2) = [2^(1/2)]^2 = 2^1

It probably makes most sense backwards, by saying something like "What number squared would make two? That number must be two to the one-half power, because exponents 'sum' when multiplied."

x^(2) = 2 => x=sqrt(2)


Here's your answer. Its simply logical progression. If you take the root of x (x^1/2) and square it (multiply the exponent by 2) you get x^1, as expected.
rei
Profile Blog Joined October 2002
United States3594 Posts
February 04 2011 19:08 GMT
#14
thanks guys
GET OUT OF MY BASE CHILL
micronesia
Profile Blog Joined July 2006
United States24752 Posts
February 04 2011 20:22 GMT
#15
Who were you teaching math? What math? Where Why How?
ModeratorThere are animal crackers for people and there are people crackers for animals.
Empyrean
Profile Blog Joined September 2004
17037 Posts
February 04 2011 20:36 GMT
#16
On February 05 2011 03:00 starfries wrote:
the 0 exponents blew my mind more
ie for x and y =/= 0
x ^ 0 = 1
0 ^ y = 0
0 ^ 0 = 1


The last assertion is incorrect. 0^0 is an indeterminate form.
Moderator
Djzapz
Profile Blog Joined August 2009
Canada10681 Posts
February 04 2011 21:53 GMT
#17
On February 05 2011 05:36 Empyrean wrote:
Show nested quote +
On February 05 2011 03:00 starfries wrote:
the 0 exponents blew my mind more
ie for x and y =/= 0
x ^ 0 = 1
0 ^ y = 0
0 ^ 0 = 1


The last assertion is incorrect. 0^0 is an indeterminate form.

It still gives 1 on calculators and maple so people don't know that
"My incompetence with power tools had been increasing exponentially over the course of 20 years spent inhaling experimental oven cleaners"
rei
Profile Blog Joined October 2002
United States3594 Posts
February 04 2011 22:09 GMT
#18
On February 05 2011 05:22 micronesia wrote:
Who were you teaching math? What math? Where Why How?


10th graders, advance algebra2,Thomas Jefferson high school Federal way Washington, My reason for teaching is to free students' minds and show them how deep the rabbit hole really goes. The way I teach them depends on the subject at the time and each students' prior experience that i can make a connection to, in other words, i flow like water, because if you put water in a cup it becomes the cup, if you put water in a bowl it becomes the bow, be like water my friend.
GET OUT OF MY BASE CHILL
Lemonwalrus
Profile Blog Joined August 2006
United States5465 Posts
February 04 2011 22:42 GMT
#19
Be like water micro.

Do it.
starfries
Profile Blog Joined July 2009
Canada3508 Posts
Last Edited: 2011-02-04 23:07:02
February 04 2011 22:59 GMT
#20
On February 05 2011 05:36 Empyrean wrote:
Show nested quote +
On February 05 2011 03:00 starfries wrote:
the 0 exponents blew my mind more
ie for x and y =/= 0
x ^ 0 = 1
0 ^ y = 0
0 ^ 0 = 1


The last assertion is incorrect. 0^0 is an indeterminate form.

yeah I know, but most people define it as 1 because of how nice it makes math

edit: part of the mind-blowing comes from how hilariously complicated some of the arguments are for defining it that way

it's one of the thermal exhaust ports in the death star of mathematics that we've nailed a bunch of planks over as a fairly effective but not really satisfying solution
DJ – do you like ramen, Savior? Savior – not really. Bisu – I eat it often. Flash – I’m a maniac! | Foxer Fighting!
sidr
Profile Blog Joined May 2008
United States55 Posts
February 04 2011 23:48 GMT
#21
in case anyone is interested:

One can define the function x^k for any k which is a positive integer quite naturally (ie x^k = x*x*...*x k-times). From this, the relation x^(k+m) = x^k * x^m is immediately derivable (x*x*...x k+m times is just x*x*...*x k-times followed by x*x*...*x m-times) and it is this idea that forms the basis for our extension of exponents. Indeed, for positive numbers x, to define x^(1/k) we find a positive real number a such that a^k = n (trying to define this for negative numbers leads to trouble as x^2, for example, never takes on a negative value). The fact that this number exists and is unique follows as the functions x^k are continuous and strictly increasing on [0,Infinity). One can then extend this to positive rationals (n/k) by taking integer powers as above and verify that x^((n/k) + (p/q)) = x^(n/k) * x^(p/q). By defining x^0 = 1 and x^(-a) = (1/ (x^a)), we can extend this to all rationals and guarantee that the additive property of the exponential is maintained (as x^(-a + a) = x^(-a) * x^a = x^a / x^a = 1.

The next question is how to define something like 2^x for every real number x. One can check that the above definition of c^x (where c>0) is continuous in the rationals. By some continuity theorems (rationals are dense in [a,b] for every a<b and c^x is uniformly continuous on these intervals, as well as an extension theorem), there exists a unique function c^x defined for ALL real values of x that is continuous and gives us our original function for rationals. After some playing around, one may find this function: specifically, it is exp(x log(c)) (where exp(a) = e^a, e being Euler's number, and log is log "base-e" (or "ln" aka "natural log")). Note that exp and log can be defined independent of our above derivations: log(a) being the integral from 1 to a of (dx/x) for positive a and exp being its inverse function, defined for all reals. Moreover, exp obeys our addition rule. Indeed, the derivative of exp(x+y)/exp(x) with respect to x is just [exp(x)exp(x+y)-exp(x+y)-exp(x)] / [exp(x)^2] = 0, so exp(x+y)/exp(x) is a constant by the mean value theorem. Plugging in x=0 shows this constant is just exp(0+y)/exp(0) = exp(y).

From the above, it makes sense to take the definition of a^b as exp(b log a) (for a>0). Knowing analytic expansion and absolute convergence of complex power series allows us to extend this notion to complex exponents. For any real y, we have exp(i y) = 1 + (i y) + (i y)^2 / 2! + (i y)^3 / 6! + ... which converges absolutely for every y. Hence, we may define exp(x+iy) by its series expansion for all complex numbers. A little more series manipulation shows exp(iy) = cos(y) + i sin(y). This, together with the fact that exp(x+iy) = exp(x)exp(iy) allows us to compute exp (and thus a^z for any complex z, positive a) quite easily. As mentioned above, for x+iy = i pi, this gives exp(0)[cos[pi] + i sin(pi)] = -1, ie e^(i pi) + 1 = 0.

As for 0^0, it's undefined. From limits like lim(a->0+) a^0 = 1 (a goes to 0 from above) one might think this should be 1, but from the above interpolation with 0 in place of x, one should have 0^x = 0 for x>0 and hence 0^0=0. There is no right answer, the real question is why do you want to know 0^0 in the first place. Usually it's just a limit to be found, and as such should be evaluated without explicitly plugging in 0.

On a similar note, 0! = 1 is defined mainly (from what i've seen) from convenience (indeed from the idea that the value of the empty product should be one, as the empty product multiplied by another product should be that product).
Normal
Please log in or register to reply.
Live Events Refresh
PiGosaur Cup
01:00
#64
PiGStarcraft561
SteadfastSC153
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft561
WinterStarcraft360
RuFF_SC2 193
SteadfastSC 153
StarCraft: Brood War
Britney 15033
Stork 254
Shuttle 253
ggaemo 115
BeSt 25
Mind 17
Noble 16
Icarus 10
Dota 2
monkeys_forever781
League of Legends
C9.Mang0545
Counter-Strike
Coldzera 1543
Super Smash Bros
hungrybox1286
Mew2King84
Other Games
summit1g6937
JimRising 644
XaKoH 233
Sick155
ViBE114
minikerr43
Liquid`Ken3
Organizations
Other Games
gamesdonequick2832
StarCraft: Brood War
UltimateBattle 106
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Mapu10
• intothetv
• AfreecaTV YouTube
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• RayReign 32
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Lourlo850
• Rush803
Other Games
• Scarra3215
• Shiphtur173
Upcoming Events
WardiTV Invitational
7h 11m
The PondCast
1d 5h
OSC
1d 7h
OSC
2 days
All Star Teams
2 days
INnoVation vs soO
sOs vs Scarlett
uThermal 2v2 Circuit
3 days
All Star Teams
3 days
MMA vs DongRaeGu
Rogue vs Oliveira
Sparkling Tuna Cup
4 days
OSC
4 days
Replay Cast
5 days
[ Show More ]
Wardi Open
5 days
Liquipedia Results

Completed

Proleague 2026-01-13
Big Gabe Cup #3
NA Kuram Kup

Ongoing

C-Race Season 1
IPSL Winter 2025-26
BSL 21 Non-Korean Championship
CSL 2025 WINTER (S19)
OSC Championship Season 13
Underdog Cup #3
BLAST Bounty Winter Qual
eXTREMESLAND 2025
SL Budapest Major 2025
ESL Impact League Season 8
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025

Upcoming

Escore Tournament S1: W4
Acropolis #4
IPSL Spring 2026
Bellum Gens Elite Stara Zagora 2026
HSC XXVIII
Rongyi Cup S3
Thunderfire SC2 All-star 2025
Nations Cup 2026
BLAST Open Spring 2026
ESL Pro League Season 23
ESL Pro League Season 23
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.