• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 21:58
CEST 03:58
KST 10:58
  • 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
Team Liquid Map Contest #22 - The Finalists14[ASL21] Ro16 Preview Pt1: Fresh Flow9[ASL21] Ro24 Preview Pt2: News Flash10[ASL21] Ro24 Preview Pt1: New Chaos0Team Liquid Map Contest #22 - Presented by Monster Energy21
Community News
2026 GSL Season 1 Qualifiers11Maestros of the Game 2 announced32026 GSL Tour plans announced11Weekly Cups (April 6-12): herO doubles, "Villains" prevail1MaNa leaves Team Liquid21
StarCraft 2
General
MaNa leaves Team Liquid 2026 GSL Tour plans announced Team Liquid Map Contest #22 - The Finalists Weekly Cups (April 6-12): herO doubles, "Villains" prevail Oliveira Would Have Returned If EWC Continued
Tourneys
GSL CK: More events planned pending crowdfunding 2026 GSL Season 1 Qualifiers Sparkling Tuna Cup - Weekly Open Tournament 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 # 521 Memorable Boss The PondCast: SC2 News & Results Mutation # 520 Moving Fees Mutation # 519 Inner Power
Brood War
General
BGH Auto Balance -> http://bghmmr.eu/ Gypsy to Korea ASL21 General Discussion Pros React To: Tulbo in Ro.16 Group A Data needed
Tourneys
Escore Tournament StarCraft Season 2 [Megathread] Daily Proleagues [ASL21] Ro16 Group A [ASL21] Ro16 Group B
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
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread YouTube Thread Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books [Manga] One Piece 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: 1540 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
Patches Events
22:00
5.4k Patch Clash #16
davetesta32
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft356
RuFF_SC2 196
Nina 68
StarCraft: Brood War
ggaemo 83
NaDa 24
Dota 2
monkeys_forever514
League of Legends
JimRising 558
Super Smash Bros
AZ_Axe93
amsayoshi37
Heroes of the Storm
Khaldor146
Other Games
gofns15899
tarik_tv9188
hungrybox1133
ViBE134
Mew2King31
Livibee24
Organizations
Other Games
gamesdonequick725
BasetradeTV209
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 14 non-featured ]
StarCraft 2
• musti20045 23
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• RayReign 38
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Doublelift4145
Other Games
• Scarra1100
Upcoming Events
Sparkling Tuna Cup
8h 2m
WardiTV Map Contest Tou…
9h 2m
Ladder Legends
13h 2m
IPSL
14h 2m
JDConan vs TBD
Aegong vs rasowy
BSL
17h 2m
StRyKeR vs rasowy
Artosis vs Aether
JDConan vs OyAji
Hawk vs izu
CranKy Ducklings
22h 2m
Replay Cast
1d 7h
Wardi Open
1d 8h
Afreeca Starleague
1d 8h
Bisu vs Ample
Jaedong vs Flash
Monday Night Weeklies
1d 14h
[ Show More ]
RSL Revival
2 days
Afreeca Starleague
2 days
Barracks vs Leta
Royal vs Light
WardiTV Map Contest Tou…
2 days
RSL Revival
3 days
Replay Cast
3 days
The PondCast
4 days
KCM Race Survival
4 days
WardiTV Map Contest Tou…
4 days
Replay Cast
4 days
Escore
5 days
RSL Revival
5 days
WardiTV Map Contest Tou…
6 days
Ladder Legends
6 days
uThermal 2v2 Circuit
6 days
BSL
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.