• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 00:15
CEST 06:15
KST 13:15
  • 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
Classic Games #3: Rogue vs Serral at BlizzCon8[ASL20] Ro16 Preview Pt1: Ascent10Maestros of the Game: Week 1/Play-in Preview12[ASL20] Ro24 Preview Pt2: Take-Off7[ASL20] Ro24 Preview Pt1: Runway13
Community News
SC4ALL $6,000 Open LAN in Philadelphia5Weekly Cups (Sept 1-7): MaxPax rebounds & Clem saga continues23LiuLi Cup - September 2025 Tournaments3Weekly Cups (August 25-31): Clem's Last Straw?39Weekly Cups (Aug 18-24): herO dethrones MaxPax6
StarCraft 2
General
#1: Maru - Greatest Players of All Time Team Liquid Map Contest #21 - Presented by Monster Energy What happened to Singapore/Brazil servers? SC4ALL: A North American StarCraft LAN Classic Games #3: Rogue vs Serral at BlizzCon
Tourneys
SC4ALL $6,000 Open LAN in Philadelphia RSL: Revival, a new crowdfunded tournament series LANified! 37: Groundswell, BYOC LAN, Nov 28-30 2025 LiuLi Cup - September 2025 Tournaments Maestros of The Game—$20k event w/ live finals in Paris
Strategy
Custom Maps
External Content
Mutation # 490 Masters of Midnight Mutation # 489 Bannable Offense Mutation # 488 What Goes Around Mutation # 487 Think Fast
Brood War
General
ASL20 General Discussion BGH Auto Balance -> http://bghmmr.eu/ alas... i aint gon' lie to u bruh... BW General Discussion [ASL20] Ro16 Preview Pt1: Ascent
Tourneys
[ASL20] Ro16 Group B Small VOD Thread 2.0 [ASL20] Ro16 Group A [Megathread] Daily Proleagues
Strategy
Simple Questions, Simple Answers Muta micro map competition Fighting Spirit mining rates [G] Mineral Boosting
Other Games
General Games
Borderlands 3 Stormgate/Frost Giant Megathread The PlayStation 5 General RTS Discussion Thread Iron Harvest: 1920+
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
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread The Games Industry And ATVI UK Politics Mega-thread
Fan Clubs
The Happy Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread Formula 1 Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread High temperatures on bridge(s)
TL Community
BarCraft in Tokyo Japan for ASL Season5 Final The Automated Ban List
Blogs
The Personality of a Spender…
TrAiDoS
A very expensive lesson on ma…
Garnet
hello world
radishsoup
Lemme tell you a thing o…
JoinTheRain
RTS Design in Hypercoven
a11
Evil Gacha Games and the…
ffswowsucks
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1365 users

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

Blogs > meguca
Post a Reply
Normal
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 States10341 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.
meguca
Profile Blog Joined August 2011
United States78 Posts
October 01 2012 05:34 GMT
#21
i am a first year student

doing an exercise in the first section of the first chapter of my beginning number theory textbook

yes, it is trivial, i am aware.
Fyodor
Profile Blog Joined September 2010
Canada971 Posts
October 01 2012 14:10 GMT
#22
I don't understand why proofs are considered dreadful or difficult.

To me they're the most intuitive and pleasant thing in all of Mathematics.

I'd much rather prove something that is presented without artifice than solve one of those masturbatory mathematical problems that combine different fields of mathematics and physics in weird ways and give you cumbersome algebra to juggle. God do I hate those for the reason that a lot of people memorize those and consider them "important problems" that they expect you to solve quickly when in fact they aren't even usable in practical situations let alone test any relevant part of your analytic thinking. You either know the solution to the puzzle and solve it really fast or you don't already know it and it takes a long time, depending on which intuition you have at the start.

I guess I'm just dissatisfied with the quality of mathematical problems that I've had in my life. I love learning mathematics but man are the textbooks unnecessarily torturous sometimes. I haven't even talked about equations that go far beyond what can be stored in your brain so you write down everything you think so it's immediately slower and laborious.
llllllllllllllllllllllllllllllllllllllllllll
ymir233
Profile Blog Joined June 2010
United States8275 Posts
October 01 2012 15:06 GMT
#23
On October 01 2012 23:10 Fyodor wrote:
I don't understand why proofs are considered dreadful or difficult.

To me they're the most intuitive and pleasant thing in all of Mathematics.

I'd much rather prove something that is presented without artifice than solve one of those masturbatory mathematical problems that combine different fields of mathematics and physics in weird ways and give you cumbersome algebra to juggle. God do I hate those for the reason that a lot of people memorize those and consider them "important problems" that they expect you to solve quickly when in fact they aren't even usable in practical situations let alone test any relevant part of your analytic thinking. You either know the solution to the puzzle and solve it really fast or you don't already know it and it takes a long time, depending on which intuition you have at the start.

I guess I'm just dissatisfied with the quality of mathematical problems that I've had in my life. I love learning mathematics but man are the textbooks unnecessarily torturous sometimes. I haven't even talked about equations that go far beyond what can be stored in your brain so you write down everything you think so it's immediately slower and laborious.


Yeah man, fuck derivations.

It's not like they created some of the most important equations of all time or anything.
Come motivate me to be cynical about animus at http://infinityandone.blogspot.com/ // Stork proxy gates are beautiful.
Boblion
Profile Blog Joined May 2007
France8043 Posts
October 01 2012 15:18 GMT
#24
On October 02 2012 00:06 ymir233 wrote:
Show nested quote +
On October 01 2012 23:10 Fyodor wrote:
I don't understand why proofs are considered dreadful or difficult.

To me they're the most intuitive and pleasant thing in all of Mathematics.

I'd much rather prove something that is presented without artifice than solve one of those masturbatory mathematical problems that combine different fields of mathematics and physics in weird ways and give you cumbersome algebra to juggle. God do I hate those for the reason that a lot of people memorize those and consider them "important problems" that they expect you to solve quickly when in fact they aren't even usable in practical situations let alone test any relevant part of your analytic thinking. You either know the solution to the puzzle and solve it really fast or you don't already know it and it takes a long time, depending on which intuition you have at the start.

I guess I'm just dissatisfied with the quality of mathematical problems that I've had in my life. I love learning mathematics but man are the textbooks unnecessarily torturous sometimes. I haven't even talked about equations that go far beyond what can be stored in your brain so you write down everything you think so it's immediately slower and laborious.


Yeah man, fuck derivations.

It's not like they created some of the most important equations of all time or anything.

Derivation is like the most straight foward stuff in maths lol.

@OP: induction and win?

fuck all those elitists brb watching streams of elite players.
Smancer
Profile Blog Joined December 2010
United States379 Posts
October 01 2012 16:41 GMT
#25
It is a big jump from solving equations into proof based mathematics. I have a degree in mathematics, and I remember making the jump.

Get ready to spend hours in a library with a cup of coffee. As courses get more difficult, the proofs can become more complex.

My best advice to you is to really invest the time it takes to write out a nice proof. For those of us that are really good at math we get lazy. We are used to things in Calculus, and differential equations. Things we know how to solve. It truly is a big jump to go from a course where the professor tells us how to solve each "type" of equation, to where the professor shows us how things build on top of each other, and then asks us if something follows from those building blocks, if so, prove it.

It is almost like a new subject.

But I encourage you to keep at it. You are good at math because you are good at solving problems. Your problem now is learning how to write proofs.
A good way to threaten somebody is to light a stick of dynamite. Then you call the guy and hold the burning fuse up to the phone. "Hear that?" you say. "That's dynamite, baby."
ymir233
Profile Blog Joined June 2010
United States8275 Posts
October 01 2012 17:01 GMT
#26
On October 02 2012 00:18 Boblion wrote:
Show nested quote +
On October 02 2012 00:06 ymir233 wrote:
On October 01 2012 23:10 Fyodor wrote:
I don't understand why proofs are considered dreadful or difficult.

To me they're the most intuitive and pleasant thing in all of Mathematics.

I'd much rather prove something that is presented without artifice than solve one of those masturbatory mathematical problems that combine different fields of mathematics and physics in weird ways and give you cumbersome algebra to juggle. God do I hate those for the reason that a lot of people memorize those and consider them "important problems" that they expect you to solve quickly when in fact they aren't even usable in practical situations let alone test any relevant part of your analytic thinking. You either know the solution to the puzzle and solve it really fast or you don't already know it and it takes a long time, depending on which intuition you have at the start.

I guess I'm just dissatisfied with the quality of mathematical problems that I've had in my life. I love learning mathematics but man are the textbooks unnecessarily torturous sometimes. I haven't even talked about equations that go far beyond what can be stored in your brain so you write down everything you think so it's immediately slower and laborious.


Yeah man, fuck derivations.

It's not like they created some of the most important equations of all time or anything.

Derivation is like the most straight foward stuff in maths lol.

@OP: induction and win?



Regardless of whether they're straightforward or not they're relatively significant in discerning relationships that might not have seemed obvious, like with integral equations...I mean good for you if you could have figured out Maxwell relations before Maxwell but...
Come motivate me to be cynical about animus at http://infinityandone.blogspot.com/ // Stork proxy gates are beautiful.
Big J
Profile Joined March 2011
Austria16289 Posts
October 01 2012 19:04 GMT
#27
Ah, just keep it up. Everyone feels like that from time to time in math. The only thing you can do is keep it up and concentrate on the task at hand.

Also: LaTeX sucks It's just sooo f***ing stupid to type and compile and then go to google to find out that you didn't make a mistake, it's just align is that is stupid...
Kwidowmaker
Profile Blog Joined October 2007
Canada978 Posts
Last Edited: 2012-10-01 19:12:35
October 01 2012 19:11 GMT
#28
Ifucking hate LaTeX so much and one of my courses requires problem sets typed up in LaTeX (


-e- and your proof looks fine as long as the logic is good. I don't know what the notation [x] is so i can't say for sure
Kk.
Brandish
Profile Blog Joined November 2010
United States339 Posts
October 02 2012 16:44 GMT
#29
lol i just recently started using LaTeX and it has changed my life, I no longer submit any homework not written in LaTeX :D
corumjhaelen
Profile Blog Joined October 2009
France6884 Posts
Last Edited: 2012-10-02 17:22:31
October 02 2012 17:21 GMT
#30
On October 01 2012 14:11 VaySept wrote:
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.

A bit harsh, but true, unless you wrote maths before Gauss or something. Or you're Ramanujan :p
Wasn't surprised to read France at the top of the post^^
Edit : and yeah, fuck LaTeX, I did not choose maths to type nice looking things on a computer and look at stupid error messages
‎numquam se plus agere quam nihil cum ageret, numquam minus solum esse quam cum solus esset
HeavOnEarth
Profile Blog Joined March 2008
United States7087 Posts
October 03 2012 09:09 GMT
#31
ah the good ol days when all i had to worry about were proofs and physics hw
"come korea next time... FXO house... 10 korean, 10 korean"
Normal
Please log in or register to reply.
Live Events Refresh
Next event in 5h 45m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Nina 147
ProTech69
StarCraft: Brood War
Leta 156
Noble 95
Shine 84
NaDa 35
sSak 27
Icarus 11
Dota 2
monkeys_forever736
NeuroSwarm53
League of Legends
JimRising 791
Counter-Strike
Stewie2K203
Coldzera 157
Other Games
summit1g10085
C9.Mang0279
XaKoH 193
ViBE182
hungrybox179
fpsfer 2
Organizations
Other Games
gamesdonequick2132
BasetradeTV61
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 17 non-featured ]
StarCraft 2
• practicex 28
• Sammyuel 26
• Kozan
• Migwel
• sooper7s
• AfreecaTV YouTube
• intothetv
• IndyKCrew
• LaughNgamezSOOP
StarCraft: Brood War
• Diggity1
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
League of Legends
• Rush1534
• Lourlo862
• Stunt377
Other Games
• Scarra795
Upcoming Events
RSL Revival
5h 45m
Classic vs TriGGeR
ByuN vs Maru
Online Event
7h 45m
Kung Fu Cup
7h 45m
BSL Team Wars
14h 45m
RSL Revival
1d 5h
Maestros of the Game
1d 9h
ShoWTimE vs Classic
Clem vs herO
Serral vs Bunny
Reynor vs Zoun
Cosmonarchy
1d 11h
Bonyth vs Dewalt
[BSL 2025] Weekly
1d 13h
RSL Revival
2 days
Maestros of the Game
2 days
[ Show More ]
BSL Team Wars
2 days
Afreeca Starleague
3 days
Snow vs Sharp
Jaedong vs Mini
Wardi Open
3 days
Sparkling Tuna Cup
4 days
Afreeca Starleague
4 days
Light vs Speed
Larva vs Soma
LiuLi Cup
5 days
The PondCast
6 days
Liquipedia Results

Completed

Copa Latinoamericana 4
SEL Season 2 Championship
HCC Europe

Ongoing

BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
LASL Season 20
RSL Revival: Season 2
Maestros of the Game
Chzzk MurlocKing SC1 vs SC2 Cup #2
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1

Upcoming

2025 Chongqing Offline CUP
BSL Polish World Championship 2025
BSL Season 21
BSL 21 Team A
EC S1
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
MESA Nomadic Masters Fall
CS Asia Championships 2025
ESL Pro League S22
StarSeries 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.