• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 16:50
CEST 22:50
KST 05: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
Serral wins HomeStory Cup 2914Serral wins Maestros of the Game 243ByuL, and the Limitations of Standard Play3Team Liquid Map Contest #22: Results and Winners7Code S Season 2 (2026): RO4 and Finals Preview12
Community News
Reynor: GSL Loss Wasn't About Preparation Format12[IPSL] Spring 2026 Grand Finals - This Weekend!5Weekly Cups (July 6 - 12): Protoss strike back12BSL Season 22 Full Overview & Conclusion8BSL Season 22 Full Overview & Conclusion8
StarCraft 2
General
5.0.16 patch for SC2 goes live (8 worker start) Is the larve respawn broken? BGE Stara Zagora to be held again in June 2025 Weekly Cups (July 6 - 12): Protoss strike back Serral wins HomeStory Cup 29
Tourneys
Master Swan Open (Global Bronze-Master 2) WardiTV Summer Cup 2026 GSL CK #5 Race War RSL Revival: Season 6 - Qualifiers and Main Event HomeStory Cup 29
Strategy
[G] Having the right mentality to improve
Custom Maps
New Map Maker - Looking for Advice - Love or Hate Work In Progress Melee Maps [D]RTS in all its shapes and glory <3
External Content
The PondCast: SC2 News & Results Mutation # 534 Burning Evacuation Mutation # 533 Die Together Mutation # 532 Nuclear Family
Brood War
General
Etiquete rules in Asl? Recommended FPV games (post-KeSPA) Pros Debate: Zerg Unfairly Nerfed? (ASL S22 map) BGH Auto Balance -> http://bghmmr.eu/ screpdb: new Starcraft reporting tool
Tourneys
[IPSL] Spring 2026 Grand Finals - This Weekend! Escore Tournament - Season 3 [Megathread] Daily Proleagues [ASL22] Wildcard Qualifier
Strategy
Fighting Spirit mining rates Simple Questions, Simple Answers Creating a full chart of Zerg builds Relatively freeroll strategies
Other Games
General Games
Nintendo Switch Thread General RTS Discussion Thread Path of Exile Stormgate/Frost Giant Megathread Summer Games Done Quick 2026!
Dota 2
Looking for a Dota Mentor 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
TL Mafia
TL Mafia Power Rank NeO.D_StephenKing vs This Guy From 1 Million Dance TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread UK Politics Mega-thread YouTube Thread Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club The HerO Fan Club!
Media & Entertainment
Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books Movie Discussion! Series you have seen recently...
Sports
2024 - 2026 Football Thread MLB/Baseball 2023 McBoner: A hockey love story Tennis[sport] Formula 1 Discussion
World Cup 2022
Tech Support
Simple Questions Simple Answers FPS when play League Of Legend on laptop How to clean a TTe Thermaltake keyboard?
TL Community
The Automated Ban List Northern Ireland Global Starcraft
Blogs
Poker (part 2)
Nebuchad
The Experiences We Want and …
TrAiDoS
An Exploration of th…
waywardstrategy
Gauntlet SC2: A Retrospectiv…
Ctone23
ramps on octagon
StaticNine
Funny Nicknames
LUCKY_NOOB
Evil Gacha Games and the…
ffswowsucks
Customize Sidebar...

Website Feedback

Closed Threads



Active: 7420 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
OSC
17:00
Mid Season Playoffs
Percival vs Harstem
ShoWTimE vs Krystianer
SteadfastSC283
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
mouzHeroMarine 784
SteadfastSC 283
SpeCial 109
UpATreeSC 106
JuggernautJason59
CosmosSc2 50
EmSc Tv 23
StarCraft: Brood War
Mong 184
910 52
Dota 2
elazer106
League of Legends
KnowMe66
Counter-Strike
FalleN 2472
ScreaM1825
Heroes of the Storm
Liquid`Hasu445
Other Games
tarik_tv2004
singsing1298
gofns1017
Beastyqt822
C9.Mang0162
XaKoH 101
ViBE81
Trikslyr42
Organizations
Other Games
gamesdonequick2507
StarCraft 2
EmSc Tv 23
EmSc2Tv 23
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 17 non-featured ]
StarCraft 2
• Hupsaiya 113
• LaughNgamezSOOP
• AfreecaTV YouTube
• sooper7s
• intothetv
• Migwel
• Kozan
• IndyKCrew
StarCraft: Brood War
• HerbMon 33
• blackmanpl 20
• 80smullet 19
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Other Games
• imaqtpie1193
• Scarra579
• Shiphtur282
Upcoming Events
Replay Cast
12h 10m
CrankTV Team League
14h 10m
WardiTV Qualifier
15h 10m
Epic.LAN
16h 10m
Big Brain Bouts
19h 10m
SHIN vs Elazer
Percival vs Nicoract
Reynor vs Lambo
Replay Cast
1d 3h
RSL Revival
1d 12h
Clem vs Lambo
Scarlett vs Cure
CranKy Ducklings
1d 13h
Epic.LAN
1d 16h
IPSL
1d 19h
Dragon vs Hawk
[ Show More ]
RSL Revival
2 days
Classic vs Trap
herO vs SHIN
Sparkling Tuna Cup
2 days
IPSL
2 days
Bonyth vs Ret
WardiTV Weekly
3 days
Monday Night Weeklies
3 days
PiGosaur Cup
5 days
The PondCast
5 days
Replay Cast
6 days
CrankTV Team League
6 days
Liquipedia Results

Completed

Proleague 2026-07-13
HSC XXIX
Eternal Conflict S2 E2

Ongoing

IPSL Spring 2026
Acropolis #4
CSL 2026 Summer (S21)
KCM Race Survival 2026 Season 3
RSL Revival: Season 6
CranK Gathers Season 4: BW vs SC2 Team League
SCTL 2026 Spring
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026

Upcoming

Escore Tournament S3: W3
ASL S22 SEASON OPEN Day 1
Escore Tournament S3: W4
ASL S22 SEASON OPEN Day 2
Escore Tournament S3: W5
CSLAN 4
Blizzard Classic Cup 2026
HSC XXX
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
Light Tournament 2026
Eternal Conflict S2 Finale
Eternal Conflict S2 E3
Logitech G Connect 2026
StarSeries Fall 2026
FISSURE Playground #5
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
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.