• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 23:54
CEST 05:54
KST 12:54
  • 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
[ASL21] Ro16 Preview Pt2: All Star2Team Liquid Map Contest #22 - The Finalists14[ASL21] Ro16 Preview Pt1: Fresh Flow9[ASL21] Ro24 Preview Pt2: News Flash10[ASL21] Ro24 Preview Pt1: New Chaos0
Community News
2026 GSL Season 1 Qualifiers11Maestros of the Game 2 announced32026 GSL Tour plans announced13Weekly Cups (April 6-12): herO doubles, "Villains" prevail1MaNa leaves Team Liquid22
StarCraft 2
General
Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool 2026 GSL Tour plans announced MaNa leaves Team Liquid Team Liquid Map Contest #22 - The Finalists Weekly Cups (April 6-12): herO doubles, "Villains" prevail
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament GSL CK: More events planned pending crowdfunding 2026 GSL Season 1 Qualifiers Master Swan Open (Global Bronze-Master 2) SEL Doubles (SC Evo Bimonthly)
Strategy
Custom Maps
[D]RTS in all its shapes and glory <3 [A] Nemrods 1/4 players [M] (2) Frigid Storage
External Content
Mutation # 522 Flip My Base The PondCast: SC2 News & Results Mutation # 521 Memorable Boss Mutation # 520 Moving Fees
Brood War
General
[ASL21] Ro16 Preview Pt2: All Star Data needed RepMastered™: replay sharing and analyzer site Gypsy to Korea ASL21 General Discussion
Tourneys
[ASL21] Ro16 Group C [Megathread] Daily Proleagues Escore Tournament StarCraft Season 2 [ASL21] Ro16 Group A
Strategy
Simple Questions, Simple Answers What's the deal with APM & what's its true value Any training maps people recommend? Fighting Spirit mining rates
Other Games
General Games
Nintendo Switch Thread General RTS Discussion Thread Battle Aces/David Kim RTS Megathread Stormgate/Frost Giant Megathread Starcraft Tabletop Miniature Game
Dota 2
The Story of Wings Gaming
League of Legends
G2 just beat GenG in First stand
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 TL Mafia Community Thread Five o'clock TL Mafia
Community
General
Things Aren’t Peaceful in Palestine US Politics Mega-thread Russo-Ukrainian War Thread YouTube Thread Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Manga] One Piece Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books Movie Discussion!
Sports
2024 - 2026 Football Thread McBoner: A hockey love story Formula 1 Discussion Cricket [SPORT]
World Cup 2022
Tech Support
[G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Reappraising The Situation T…
TrAiDoS
lurker extra damage testi…
StaticNine
Broowar part 2
qwaykee
Funny Nicknames
LUCKY_NOOB
Iranian anarchists: organize…
XenOsky
ASL S21 English Commentary…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1726 users

Happy 410th Birthday, Fermat! - Page 3

Blogs > EsX_Raptor
Post a Reply
Prev 1 2 3 All
]343[
Profile Blog Joined May 2008
United States10328 Posts
Last Edited: 2011-08-18 01:39:27
August 18 2011 01:36 GMT
#41
On August 17 2011 23:15 EsX_Raptor wrote:
However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.


rawrgh that's not De Moivre

De Moivre can be proven elementarily, and states that (cos n*x + i sin n*x) = (cos x + i sin x)^n for positive integer n. The fact that cos x + i sin x = e^(i*x) is deeper and requires that you do the Taylor series thing.

Since I haven't had enough quantum yet to think about entanglement, here are a few cute combinatorics problems:

1. For n a positive integer, let A_1, A_2, ... A_{n+1} be distinct subsets of {1, 2, ..., n}, each containing exactly 3 elements. Show that some two of these subsets have exactly one common element.

2. Show that any n points, not all collinear, determine at least n distinct lines.

+ Show Spoiler [hint] +
linear algebra!


edit:

http://www.teamliquid.net/forum/viewmessage.php?topic_id=246103&currentpage=4#61 on entanglement
Writer
EtherealDeath
Profile Blog Joined July 2007
United States8366 Posts
Last Edited: 2011-08-18 03:04:09
August 18 2011 02:48 GMT
#42
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

edit - How do you do the n points problem by linear algebra? I can think of a proof by induction, which tbh was the immediately obvious method for me. Not a clue atm how to proceed with linear algebra though, maybe cause I haven't used it in a while lol.
Foolishness *
Profile Blog Joined May 2009
United States3044 Posts
August 18 2011 06:04 GMT
#43
On August 18 2011 11:48 EtherealDeath wrote:
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

edit - How do you do the n points problem by linear algebra? I can think of a proof by induction, which tbh was the immediately obvious method for me. Not a clue atm how to proceed with linear algebra though, maybe cause I haven't used it in a while lol.

Likewise I think I can do the proof using graph theory and k-partite sets (proof by induction seems much simpler though ), but I can't think of a linear algebra and now I'm probably going to lose sleep over it.
geript: "Foolishness's cases are persuasive and reasonable but leave you feeling dirty afterwards. Kinda like a whore." ---- Manager of the TL Mafia forum, come play!
Antifate
Profile Blog Joined August 2004
United States415 Posts
Last Edited: 2011-08-18 07:08:12
August 18 2011 06:17 GMT
#44
On August 18 2011 10:36 ]343[ wrote:
Show nested quote +
On August 17 2011 23:15 EsX_Raptor wrote:
However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.


rawrgh that's not De Moivre

De Moivre can be proven elementarily, and states that (cos n*x + i sin n*x) = (cos x + i sin x)^n for positive integer n. The fact that cos x + i sin x = e^(i*x) is deeper and requires that you do the Taylor series thing.

Since I haven't had enough quantum yet to think about entanglement, here are a few cute combinatorics problems:

1. For n a positive integer, let A_1, A_2, ... A_{n+1} be distinct subsets of {1, 2, ..., n}, each containing exactly 3 elements. Show that some two of these subsets have exactly one common element.

2. Show that any n points, not all collinear, determine at least n distinct lines.

+ Show Spoiler [hint] +
linear algebra!


edit:

http://www.teamliquid.net/forum/viewmessage.php?topic_id=246103&currentpage=4#61 on entanglement


Just to comment on Euler's famous equality, one doesn't need to do the Taylor series, just basic derivation works (and the proof is a little sexier). I could be wrong though. Anyway, I've always thought of it like this.

f(x) = e^(i*x)
Break up the function into its real and imaginary components.
f(x) = g(x) + i*h(x)
Differentiate
f ' (x) = i*e^(ix) = i*f(x)
f ' (x) = g ' (x) + i*h ' (x)
Equate things
f ' (x) = i*f(x) = i*g(x) - h(x) = g ' (x) + i*h ' (x)
Equate the real and imaginary parts of f ' (x)
g ' (x) = - h(x)
h ' (x) = g(x)

We end up with two equations about the components functions. h(x)'s derivative is g(x) and g(x)'s derivative is the negative of h(x). So h(x) is the sine function and g(x) is the cosine function. So e^(ix) = cos(x) + isin(x). If x is pi, e^(ix) is negative one (cos(pi) is -1 and sin(pi) is 0).

Hopefully this is settled without nasty sigmas!

As for your first problem, it's kind of late, so I could be completely wrong, but I'm not getting it. If you want to have multiple subsets, n has to be greater than 3. So let's say n = 4. The subsets are {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, and {2, 3, 4}. There are no two sets here that share only one common element. If n were 5 however, it works because there are 5 unique elements that two sets of 3 can share with one (and only one) in both. So this seems to work for n > 4, or well, any n such that there are 5 unique elements in them? This seems a little simple and I'll probably have to edit this out later in shame.
No one is taller than the last man standing.
NeoLearner
Profile Blog Joined January 2010
Belgium1847 Posts
Last Edited: 2011-08-18 07:13:09
August 18 2011 07:06 GMT
#45
On August 17 2011 23:26 Iranon wrote:
Show nested quote +
On August 17 2011 23:15 EsX_Raptor wrote:
To understand the equation

e^(pi * i) = -1,

it is necessary to understand what raising a number to an imaginary power means.

However, according to de Moivre's formula, we four out e^(i * x) = cos(x) + i * sin(x) for all x. This illustrates how closely related the exponential function is to the trigonometric functions.

It thus follows that

e^(pi * i) = cos(pi) + i * sin(pi) = -1 + i * 0 = -1.

Do write out the Euler theorem!


For a neat bit of insight, look at the Taylor series for e^x. Replace x with iz in the e^z series. Now look at the Taylor series for cos x and sin x...

I was looking for the Taylor series actually. Writing it out for e^x, filling Pi*i, re-ordening the terms and getting cos(x) + i * sin(x). I was amazed the first time I did that.

EDIT: http://www.math.toronto.edu/mathnet/questionCorner/epii.html
Bankai - Correlation does not imply causation
Jumbled
Profile Joined September 2010
1543 Posts
August 18 2011 07:07 GMT
#46
On August 18 2011 11:48 EtherealDeath wrote:
Well, Nawyria does answer the question in that thread you linked lol.

The key is that if you already knew the state, it is impossible to determine whether you did the first measurement or they did. You don't actually gain any information, classically speaking.

The problem is with the way you stated your scenario. It's quite correct to say that entanglement cannot be used to instantaneously transmit classical information, but that wasn't what you described, and you didn't even mention spatial separation or a second experimenter in your original post.
On August 18 2011 02:14 EtherealDeath wrote:

Hmm...
Explain why the following scenario is true.

Suppose we have two entangled particles, let's say their state is a|1>|0>+b|0>|1> to be simple, where the values of a and b are not particularly important save that their squares sum to 1, but let's use one of the Bell States, that is a=b=1/sqrt(2). Now we measure one of the particles to determine it's actual state. We know that instantaneously, the state of the other particle is set. However, it is impossible to determine any classical information from this instantaneous effect - i.e., cannot gain any physical information. Why? Or rather, what information do you think you could gain that you didn't have before?

It is fair to say that no net information is gained in this operation, but only because the particles are in a known, pure state both before and after the measurement.
ComaDose
Profile Blog Joined December 2009
Canada10357 Posts
August 18 2011 13:01 GMT
#47

[image loading][image loading]
[image loading][image loading]
woooooo!

+ Show Spoiler +
Show that any n points, not all collinear, determine at least n distinct lines.
People have said that it was possible by induction but have not done so.
I interpret the question to mean that a distinct line must only cross 2 points.
This is logical becuase the n points are not collinear.
At least n lines are possible becuase there is a line from one of the points to all other points.
In the case that there are collinear points that lie on one of these lines preventing you from finding n distinct lines immediately, one must simply select these "wasted/overlapped" points as the new "starting point" and revisit the other points to make new lines.

I couldn't figure out how to prove a general case with linear algebra aha :S
All the reading about twin paradox etc. was fun.
BW pros training sc2 is like kiss making a dub step album.
Prev 1 2 3 All
Please log in or register to reply.
Live Events Refresh
Replay Cast
00:00
Code For Giants Cup #29
Liquipedia
BSL
19:00
RO32 Group D
StRyKeR vs rasowy
Artosis vs Aether
JDConan vs OyAji
Hawk vs izu
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
ProTech160
SpeCial 154
Nina 133
UpATreeSC 58
ROOTCatZ 30
StarCraft: Brood War
GuemChi 6187
Mind 429
Sharp 220
Snow 135
ggaemo 78
Shine 69
Bale 28
Icarus 6
Terrorterran 1
Dota 2
monkeys_forever705
NeuroSwarm144
League of Legends
JimRising 1013
Super Smash Bros
hungrybox932
Heroes of the Storm
Khaldor129
Other Games
summit1g15390
C9.Mang0503
WinterStarcraft381
ViBE169
Maynarde129
Livibee31
Mew2King29
Organizations
Other Games
gamesdonequick617
BasetradeTV331
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• Hupsaiya 80
• practicex 15
• Mapu6
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Rush707
• Lourlo696
Other Games
• Scarra1059
Upcoming Events
Replay Cast
5h 7m
Wardi Open
6h 7m
Afreeca Starleague
6h 7m
Bisu vs Ample
Jaedong vs Flash
Monday Night Weeklies
12h 7m
RSL Revival
22h 7m
GSL
1d 4h
Afreeca Starleague
1d 6h
Barracks vs Leta
Royal vs Light
WardiTV Map Contest Tou…
1d 7h
RSL Revival
2 days
Replay Cast
2 days
[ Show More ]
The PondCast
3 days
KCM Race Survival
3 days
WardiTV Map Contest Tou…
3 days
CranKy Ducklings
3 days
Escore
4 days
RSL Revival
4 days
WardiTV Map Contest Tou…
5 days
Universe Titan Cup
5 days
Rogue vs Percival
Ladder Legends
5 days
uThermal 2v2 Circuit
5 days
BSL
5 days
Sparkling Tuna Cup
6 days
WardiTV Map Contest Tou…
6 days
Ladder Legends
6 days
BSL
6 days
Replay Cast
6 days
Liquipedia Results

Completed

Escore Tournament S2: W3
RSL Revival: Season 4
NationLESS Cup

Ongoing

BSL Season 22
ASL Season 21
CSL 2026 SPRING (S20)
IPSL Spring 2026
KCM Race Survival 2026 Season 2
StarCraft2 Community Team League 2026 Spring
WardiTV TLMC #16
Nations Cup 2026
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026

Upcoming

Escore Tournament S2: W4
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
2026 GSL S2
RSL Revival: Season 5
2026 GSL S1
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
IEM Atlanta 2026
Asian Champions League 2026
PGL Astana 2026
BLAST Rivals Spring 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.