• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 14:31
CET 20:31
KST 04:31
  • 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
TL.net Map Contest #21: Winners0Intel X Team Liquid Seoul event: Showmatches and Meet the Pros10[ASL20] Finals Preview: Arrival13TL.net Map Contest #21: Voting12[ASL20] Ro4 Preview: Descent11
Community News
Starcraft, SC2, HoTS, WC3, returning to Blizzcon!20$5,000+ WardiTV 2025 Championship5[BSL21] RO32 Group Stage3Weekly Cups (Oct 26-Nov 2): Liquid, Clem, Solar win; LAN in Philly2Weekly Cups (Oct 20-26): MaxPax, Clem, Creator win9
StarCraft 2
General
TL.net Map Contest #21: Winners Starcraft, SC2, HoTS, WC3, returning to Blizzcon! RotterdaM "Serral is the GOAT, and it's not close" Weekly Cups (Oct 20-26): MaxPax, Clem, Creator win 5.0.15 Patch Balance Hotfix (2025-10-8)
Tourneys
$5,000+ WardiTV 2025 Championship Constellation Cup - Main Event - Stellar Fest Merivale 8 Open - LAN - Stellar Fest Sea Duckling Open (Global, Bronze-Diamond) $3,500 WardiTV Korean Royale S4
Strategy
Custom Maps
Map Editor closed ?
External Content
Mutation # 498 Wheel of Misfortune|Cradle of Death Mutation # 497 Battle Haredened Mutation # 496 Endless Infection Mutation # 495 Rest In Peace
Brood War
General
BGH Auto Balance -> http://bghmmr.eu/ SnOw's ASL S20 Finals Review [BSL21] RO32 Group Stage Practice Partners (Official) [ASL20] Ask the mapmakers — Drop your questions
Tourneys
[Megathread] Daily Proleagues [BSL21] RO32 Group B - Sunday 21:00 CET [BSL21] RO32 Group A - Saturday 21:00 CET BSL21 Open Qualifiers Week & CONFIRM PARTICIPATION
Strategy
Current Meta How to stay on top of macro? PvZ map balance Soma's 9 hatch build from ASL Game 2
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Dawn of War IV ZeroSpace Megathread General RTS Discussion Thread
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
TL Mafia Community Thread SPIRED by.ASL Mafia {211640}
Community
General
Russo-Ukrainian War Thread US Politics Mega-thread Things Aren’t Peaceful in Palestine YouTube Thread Dating: How's your luck?
Fan Clubs
White-Ra Fan Club The herO Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread Korean Music Discussion Series you have seen recently...
Sports
2024 - 2026 Football Thread NBA General Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023 Formula 1 Discussion
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List Recent Gifted Posts
Blogs
Saturation point
Uldridge
DnB/metal remix FFO Mick Go…
ImbaTosS
Why we need SC3
Hildegard
Career Paths and Skills for …
TrAiDoS
Reality "theory" prov…
perfectspheres
Our Last Hope in th…
KrillinFromwales
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1599 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 States24734 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
17014 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
LAN Event
18:00
Day 3: Ursa 2v2, FFA
SteadfastSC341
IndyStarCraft 163
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
mouzHeroMarine 485
SteadfastSC 320
IndyStarCraft 156
UpATreeSC 128
ProTech86
MindelVK 33
Codebar 27
White-Ra 0
StarCraft: Brood War
Shuttle 442
firebathero 179
BRAT_OK 71
scan(afreeca) 25
ivOry 10
Shine 7
Dota 2
qojqva3103
Dendi1056
Counter-Strike
fl0m1018
pashabiceps728
Other Games
FrodaN1137
Beastyqt593
Mlord538
ceh9478
KnowMe160
ArmadaUGS155
C9.Mang071
Mew2King65
QueenE55
Trikslyr49
OptimusSC21
Organizations
Counter-Strike
PGL183
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 19 non-featured ]
StarCraft 2
• Reevou 12
• Adnapsc2 4
• intothetv
• Kozan
• sooper7s
• AfreecaTV YouTube
• Migwel
• LaughNgamezSOOP
• IndyKCrew
StarCraft: Brood War
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• C_a_k_e 2562
• Ler94
League of Legends
• Nemesis1638
• TFBlade964
Other Games
• imaqtpie1075
• WagamamaTV353
• Shiphtur233
Upcoming Events
OSC
2h 30m
Replay Cast
3h 30m
OSC
16h 30m
LAN Event
19h 30m
Korean StarCraft League
1d 7h
CranKy Ducklings
1d 14h
LAN Event
1d 19h
IPSL
1d 22h
dxtr13 vs OldBoy
Napoleon vs Doodle
BSL 21
2 days
Gosudark vs Kyrie
Gypsy vs Sterling
UltrA vs Radley
Dandy vs Ptak
Replay Cast
2 days
[ Show More ]
Sparkling Tuna Cup
2 days
WardiTV Korean Royale
2 days
LAN Event
2 days
IPSL
2 days
JDConan vs WIZARD
WolFix vs Cross
BSL 21
3 days
spx vs rasowy
HBO vs KameZerg
Cross vs Razz
dxtr13 vs ZZZero
Replay Cast
3 days
Wardi Open
3 days
WardiTV Korean Royale
4 days
Replay Cast
5 days
Kung Fu Cup
5 days
Classic vs Solar
herO vs Cure
Reynor vs GuMiho
ByuN vs ShoWTimE
Tenacious Turtle Tussle
6 days
The PondCast
6 days
RSL Revival
6 days
Solar vs Zoun
MaxPax vs Bunny
Kung Fu Cup
6 days
WardiTV Korean Royale
6 days
Liquipedia Results

Completed

BSL 21 Points
SC4ALL: StarCraft II
Eternal Conflict S1

Ongoing

C-Race Season 1
IPSL Winter 2025-26
KCM Race Survival 2025 Season 4
SOOP Univ League 2025
YSL S2
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025

Upcoming

BSL Season 21
SLON Tour Season 2
BSL 21 Non-Korean Championship
Acropolis #4
HSC XXVIII
RSL Offline Finals
WardiTV 2025
RSL Revival: Season 3
Stellar Fest
META Madness #9
BLAST Bounty Winter 2026: Closed Qualifier
eXTREMESLAND 2025
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
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 © 2025 TLnet. All Rights Reserved.