• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 13:30
CET 19:30
KST 03:30
  • 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
[ASL22] Finals Preview: Sweet Victory!12[ASL22] Ro4 Preview: Mirror Mirror6[ASL22] Ro8 Preview: Within Reach5[ASL22] Ro8 Preview: In A Tizzy11[ASL22] Ro16 Preview: Holy Diver5
Community News
Weekly Cups (Oct 26 - Nov 1): MaxPax, herO, Solar win0Weekly Cups (October 19-25): Clem triples first in 5.0.175Evil Geniuses - shutting down23ISSL (IntoTheTV x SOOP SC2 League): Premier7Weekly Cups (October 12-18): 5.0.17 era begins1
StarCraft 2
General
No more SC2 streamers on team liquid? [D] Hacker peak in sc2 ? Liquibets sc2 season 30 Evil Geniuses - shutting down Weekly Cups (Oct 26 - Nov 1): MaxPax, herO, Solar win
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament WardiTV Mondays ISSL (IntoTheTV x SOOP SC2 League): Premier Stellar Fest TWO the Moon (Dec 16-20) RSL goes to London! 2026 Offline Finals Nov 21-22
Strategy
[H] ZvP Mid-Late Game: Stalkers Collossi HT
Custom Maps
Starcraft 2 Advance [D] the control group Simple Questions/Answers [G] How to playtest arcade maps
External Content
Mutation # 550 Graveyard Shift The PondCast: SC2 News & Results Mutation # 549 Endless Sparkles Mutation # 548 Shining Bright
Brood War
General
BGH Auto Balance -> http://bghmmr.eu/ Sagi.gg Launcher Released Top Players of October 2026 (EBPD Rankings) BW General Discussion Rollback Netcode in Brood War
Tourneys
[Megathread] Daily Proleagues KCM Race Survival 2026 Season 4 [Mixed-Gender CK] Rush+4 vs Best+4 [BSL23] RO24 Group F - Sunday 21:00 CET
Strategy
50,000-Word Terran Builds Memo 2026-10-22 Cliff Jump Revisited (1 in a 1000 strategy) Simple Questions, Simple Answers
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Deus Ex 3!? Mobile Legends: Bang Bang Armies of Exigo - YesYes?
Dota 2
Dota 2 Champions League Season 3 Begins April 25!
League of Legends
[TL LoL EUW IHs] Teemo shall perish
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Community Thread
Community
General
US Politics Mega-thread Canadian Politics Mega-thread Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine The Chess Thread
Fan Clubs
Fan Club Resource Thread Reynor Fan Club The Flash Fan Club
Media & Entertainment
Anime Discussion Thread Movie Discussion! [Manga] One Piece
Sports
Football (Soccer) Thread TeamLiquid Health and Fitness Initiative For 2023 MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
Recent Gifted Posts
Blogs
Why I built Repalyzer (1.1.…
BlueStar
Innovate or Game Over?
TrAiDoS
ShieldBattery on Mac
Kraekkling
[ASL22] Ro4 Day1 Ticket Giv…
bITt.mAN
Can Bots Beat Pros?? Starcr…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 12011 users

Wow, I'm so bad at proof-based mathematics...

Blogs > meguca
Post a Reply
1 2 Next All
meguca
Profile Blog Joined August 2011
United States78 Posts
Last Edited: 2012-10-01 01:01:24
October 01 2012 00:48 GMT
#1
It literally took me an hour of extreme frustration to write this, and I don't even know if it's correct (probably not):

http://i.imgur.com/tJXpL.png

I mean admittedly, yes, it is my first foray into proof-based mathematics and into number theory, but, WTF, this took me longer than the other supposedly harder exercises--and the result is so trivial, too. (Why do I feel like this was harder than reproving the Rayleigh theorem?)

Does anyone have any suggestions about how I can go about learning proof methods and such and just improving my ability to write proofs in general? Are there books out there that basically teach you problem-solving techniques?

(Comments on the actual proof would be nice, too. I really, really hope it isn't flawed.)

edit fuck my life i only proved the rayleigh theorem in 1 direction FML and i already printed it out

1a
Profile Joined September 2011
Canada36 Posts
October 01 2012 01:05 GMT
#2
that looks crazy hard... what level of mathematics is this?
hi
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 01:12 GMT
#3
basic number theory
n.DieJokes
Profile Blog Joined November 2008
United States3443 Posts
October 01 2012 01:12 GMT
#4
Is just takes a time, after your first semester or two it becomes second nature. Don't be easy on yourself when you write them
MyLove + Your Love= Supa Love
Aerisky
Profile Blog Joined May 2012
United States12129 Posts
October 01 2012 01:17 GMT
#5
Oh god I am dreading the time at which I have to start using LaTeX lol.

But yeah, all told, you get used to it after a while.
Jim while Johnny had had had had had had had; had had had had the better effect on the teacher.
Iranon
Profile Blog Joined March 2010
United States983 Posts
Last Edited: 2012-10-01 01:21:37
October 01 2012 01:20 GMT
#6
Don't worry, proofs aren't supposed to be easy. You get good at them by doing them, like everything else in mathematics. Quick note: some of the notation seems nonstandard. I assume $[x]$ is the floor function -- why not use $\lfloor x \rfloor$? What's $\{x\}$, if not the set containing x -- the non-integer part of x? Maybe that is accepted notation, but none of my number theory courses ever had a use for such things.


On October 01 2012 10:17 Aerisky wrote:
Oh god I am dreading the time at which I have to start using LaTeX lol.


Nooooo tex is awesome. Seriously, once you get used to it, you're never going to want to hand-write mathematics again.
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 01:23 GMT
#7
Yeah, $[x]$ is floor and $\{x\}$ is the fractional part. I'm used to seeing $\lfloor x \rfloor$ but I just decided to stick with the notation that my textbook uses (Elementary Number Theory and Its Applications by Rosen).
WolfintheSheep
Profile Joined June 2011
Canada14127 Posts
October 01 2012 01:28 GMT
#8
Not going to lie, 3rd and 4th year mathematics based courses were the only subjects I had to scrape by with. I probably could have managed if I'd focused my efforts and studies like a boss, but with a full course load I basically resigned myself to just get a passing grade.
Average means I'm better than half of you.
Assault_1
Profile Joined April 2009
Canada1950 Posts
October 01 2012 01:46 GMT
#9
in general, 1+2+...+x = x(x+1)/2
pretty easy to prove it given that, but idk if your allowed to use it
hoot00
Profile Blog Joined October 2010
United States77 Posts
Last Edited: 2012-10-01 02:05:14
October 01 2012 01:55 GMT
#10
Hmm I'm learning proofs too, but my teacher taught us induction. So like prove N=1 true then assume random number k is true then prove the term after (which is k+1) true.

I feel like I'm missing something
LEGENDS NEVER GG
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 02:00 GMT
#11
On October 01 2012 10:46 Assault_1 wrote:
in general, 1+2+...+x = x(x+1)/2
pretty easy to prove it given that, but idk if your allowed to use it


How would I use that?
Iranon
Profile Blog Joined March 2010
United States983 Posts
October 01 2012 02:04 GMT
#12
On October 01 2012 11:00 meguca wrote:
Show nested quote +
On October 01 2012 10:46 Assault_1 wrote:
in general, 1+2+...+x = x(x+1)/2
pretty easy to prove it given that, but idk if your allowed to use it


How would I use that?


Try writing x as [x]+{x}...

To hoot0, you don't need induction for this, and I doubt it would be any easier than showing it directly.
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 02:08 GMT
#13
On October 01 2012 11:04 Iranon wrote:
Show nested quote +
On October 01 2012 11:00 meguca wrote:
On October 01 2012 10:46 Assault_1 wrote:
in general, 1+2+...+x = x(x+1)/2
pretty easy to prove it given that, but idk if your allowed to use it


How would I use that?


Try writing x as [x]+{x}...

To hoot0, you don't need induction for this, and I doubt it would be any easier than showing it directly.


I see.
MountainDewJunkie
Profile Blog Joined June 2009
United States10348 Posts
October 01 2012 03:32 GMT
#14
Yeah, I avoided Number Theory and Elementary Proofs (double-major dodge). Those kinds of things never clicked for me, and were not as fun as limits and infinite series proofs. I didn't have the brain for a lot of proofs. I envy a lot of math majors haha
[21:07] <Shock710> whats wrong with her face [20:50] <dAPhREAk> i beat it the day after it came out | <BLinD-RawR> esports is a giant vagina
Abductedonut
Profile Blog Joined December 2010
United States324 Posts
October 01 2012 03:33 GMT
#15
Hi meguca, you should look into the first two chapters of a book called "discrete mathematics and its applications" by rosen.

The first chapter is all about logic and proofs, starting from teaching you basics concepts and boolean logic like AND/OR/XOR into teaching you logical fallacies and how to construct a logical argument. Then, you get into traditional proofs like prove root 2 is irrational. That's where you learn proof by contradiction, proof by induction, etc etc.

Chapter 2 is sets and proofs on sets. The book is not that great to be honest, but it might help you get your foot in the door.

Also, it's good because with some googling you MIGHT be able to find it online. *hint hint*
Release
Profile Blog Joined October 2010
United States4397 Posts
October 01 2012 03:51 GMT
#16
99% of high school students won't understand this either. So...

at least you have that working in your favor right?
☺
Nehsb
Profile Joined May 2009
United States380 Posts
Last Edited: 2012-10-01 03:59:36
October 01 2012 03:58 GMT
#17
Does anyone have any suggestions about how I can go about learning proof methods and such and just improving my ability to write proofs in general? Are there books out there that basically teach you problem-solving techniques?


For the first question, what exactly do you find hard about writing/finding proofs? (In particular, do you find writing proofs or finding proofs hard?) Hard to give a specific answer without knowing what you find hard.

As for problem-solving techniques, the answer is yes:

Polya's "How to Solve It" is a classic text on problem-solving.
Other than that, there are books on math competitions (Competitions using only "elementary math" for high school students, "elementary math" is usually high school algebra, high school geometry, number theory, and combinatorics. Much more of a test of problem-solving ability than deep understanding or knowledge of theory, though those can be useful.) See http://www.artofproblemsolving.com/Store/index.php.

Good luck! (Also, number theory was a nice gate for me into richer and more beautiful areas of math than I had seen, and I hope it will be for you as well. My interests have shifted from number theory since then, but it was a great introduction. glhf :D)
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 04:01 GMT
#18
Don't really have the time for a more thorough response at the moment, but:

Nehsb: My primary issue is in basically concretely writing down logical steps; that is, I often can very easily intuitively understand that something is true, but I find it practically painful to laboriously prove something that seems to be trivial (and it's frustrating, too). I think more familiarity with commonly used proof techniques and 'strategies', so to speak, would help me a lot; I'll definitely take a look at the books you mentioned.
EffervescentAureola
Profile Blog Joined June 2012
United States410 Posts
October 01 2012 04:48 GMT
#19
Just pretend to be Ramanujan. That should give you some mental confidence. Next time you are solving a difficult number theory problem, remember the voice inside your head is none other than Ramanujan.
VaySept
Profile Joined April 2011
France39 Posts
October 01 2012 05:11 GMT
#20
proof-based math = math
What is math without proof? Calculus?

And this is not "number theory". This is just a triviality on integers and real numbers, for first year students in the university.

PS : Your proof looks correct.
1 2 Next All
Please log in or register to reply.
Live Events Refresh
OSC
23:00
King of the Hill #267
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
mouzHeroMarine 429
MindelVK 36
EnDerr 8
StarCraft: Brood War
Mini 439
actioN 158
ggaemo 148
Dewaltoss 107
firebathero 94
Mind 90
Zeus 58
Mong 57
Hyun 51
Sharp 31
[ Show more ]
Bale 27
scan(afreeca) 27
sorry 26
Aegong 20
ajuk12(nOOB) 15
Bishop 14
Dota 2
qojqva3051
monkeys_forever321
Other Games
tarik_tv5615
Grubby1712
Liquid`RaSZi1466
FrodaN835
ceh9668
ODPixel364
XaKoH 236
Fuzer 222
byalli201
ArmadaUGS114
C9.Mang0101
KnowMe90
PiGStarcraft87
QueenE84
Mew2King62
Trikslyr37
UpATreeSC37
NeuroSwarm35
Chillindude28
Railgan18
JuggernautJason16
Organizations
Counter-Strike
PGL226
[ Show 19 non-featured ]
StarCraft 2
• StrangeGG 63
• LUISG 29
• Adnapsc2 17
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Laughngamez YouTube
• Migwel
StarCraft: Brood War
• Pr0nogo 3
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Nemesis2458
• Jankos886
• TFBlade798
Other Games
• imaqtpie724
• Shiphtur622
• WagamamaTV297
Upcoming Events
IntoTheTV X SOOP
1d 16h
Reynor vs Solar
ByuN vs SHIN
Clem vs MaxPax
herO vs Rogue
IPSL
1d 22h
WorsT vs nOmaD
Dewalt vs andersOn
AI Arena Tournament
2 days
IntoTheTV X SOOP
2 days
IPSL
2 days
Azhi_Dahaki vs ggnore13
Double vs WIZARD
Replay Cast
3 days
Replay Cast
4 days
Sparkling Tuna Cup
4 days
WardiTV Invitational
4 days
YoungYakov vs Lambo
SHIN vs TBD
Percival vs Shameless
Solar vs TBD
PiGosaur Cup
5 days
[ Show More ]
The PondCast
6 days
KCM Race Survival
6 days
WardiTV Invitational
6 days
Liquipedia Results

Completed

Proleague 2026-11-04
Blizzard Classic Cup 2026
HCC Season 3

Ongoing

Acropolis #5
KCM Race Survival 2026 Season 4
International ShieldBattery League
BSL Season 23
IPSL Winter 2026-27
Calamity Cup Div. A Season 8
IEM Beijing 2026
PGL Masters Bucharest 2026
Stake Ranked Episode 5
1win Private Club #2
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
Logitech G Play Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #3
BLAST Open Fall 2026
Esports World Cup 2026

Upcoming

1xBet Invitational
SC4ALL II: Brood War
BSL 23: Non-Korean Championship
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Underdog Cup 2026 Div 2-3
PGL Bucharest 2027
BLAST Bounty Winter 2027
eXTREMESLAND 2026
PGL Major Singapore 2026
Stake Ranked Episode 6
BLAST Rivals Fall 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.