• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 12:16
CEST 18:16
KST 01:16
  • 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
[ASL20] Ro8 Preview Pt2: Holding On8Maestros of the Game: Live Finals Preview (RO4)5TL.net Map Contest #21 - Finalists4Team TLMC #5: Vote to Decide Ladder Maps!0[ASL20] Ro8 Preview Pt1: Mile High15
Community News
PartinG joins SteamerZone, returns to SC2 competition(?)105.0.15 Balance Patch Notes (Live version)73$2,500 WardiTV TL Map Contest Tournament 151Stellar Fest: StarCraft II returns to Canada11Weekly Cups (Sept 22-28): MaxPax double, Zerg wins, PTR12
StarCraft 2
General
PartinG joins SteamerZone, returns to SC2 competition(?) 5.0.15 Balance Patch Notes (Live version) ZvT - Army Composition - Slow Lings + Fast Banes Stellar Fest: StarCraft II returns to Canada Had to smile :)
Tourneys
$2,500 WardiTV TL Map Contest Tournament 15 Stellar Fest Sparkling Tuna Cup - Weekly Open Tournament LANified! 37: Groundswell, BYOC LAN, Nov 28-30 2025 Maestros of The Game—$20k event w/ live finals in Paris
Strategy
Custom Maps
External Content
Mutation # 493 Quick Killers Mutation # 492 Get Out More Mutation # 491 Night Drive Mutation # 490 Masters of Midnight
Brood War
General
Question regarding recent ASL Bisu vs Larva game Thoughts on rarely used units [ASL20] Ask the mapmakers — Drop your questions BW General Discussion RepMastered™: replay sharing and analyzer site
Tourneys
[Megathread] Daily Proleagues [ASL20] Ro8 Day 4 [ASL20] Ro8 Day 3 Small VOD Thread 2.0
Strategy
Current Meta I am doing this better than progamers do. Simple Questions, Simple Answers Cliff Jump Revisited (1 in a 1000 strategy)
Other Games
General Games
Dawn of War IV Stormgate/Frost Giant Megathread Nintendo Switch Thread Path of Exile Liquipedia App: Now Covering SC2 and Brood War!
Dota 2
Official 'what is Dota anymore' discussion LiquidDota to reintegrate into TL.net
League of Legends
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
TL Mafia Community Thread
Community
General
US Politics Mega-thread The Games Industry And ATVI Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine Canadian Politics Mega-thread
Fan Clubs
The herO Fan Club! The Happy Fan Club!
Media & Entertainment
Anime Discussion Thread Movie Discussion! [Manga] One Piece
Sports
2024 - 2026 Football Thread MLB/Baseball 2023 Formula 1 Discussion TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
Recent Gifted Posts The Automated Ban List BarCraft in Tokyo Japan for ASL Season5 Final
Blogs
Mental Health In Esports: Wo…
TrAiDoS
[AI] Sorry, Chill, My Bad :…
Peanutsc
Try to reverse getting fired …
Garnet
[ASL20] Players bad at pi…
pullarius1
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1790 users

Proving relation between numbers

Forum Index > General Forum
Post a Reply
Hippopotamus
Profile Blog Joined October 2004
1914 Posts
April 04 2007 06:47 GMT
#1
I picked up some catalogues of math puzzles to do for fun and it's going pretty well so far but now I'm getting to the harder ones. The catalogue claims you don't need anything beyond calculus to do the problems, and that without calculus you should be able to do all but 4 of them. Now I graduated 2 years ago but I really don't remember ever learning how to prove something like X^a + X^b will always produces numbers divisible by c if and only if a and b are certain type of number. I kinda know why it's true, but I don't know how to put it into a proof. So uhh, TL math people, could you explain this or link me to some tutorial on doing this stuff? I just want the basics of how you prove stuff like this.
Vin{MBL}
Profile Blog Joined September 2006
5185 Posts
April 04 2007 06:50 GMT
#2
hmm you can PM WhatisProtoss... hes a math major if im not mistaken
MathAreHard
Profile Joined April 2007
United States74 Posts
April 04 2007 06:53 GMT
#3
Goodness gracious...
Math problems? Call 1-800-[(12x)(9.2i)²]-[sin(xy)]
Hippopotamus
Profile Blog Joined October 2004
1914 Posts
Last Edited: 2007-04-04 06:59:43
April 04 2007 06:55 GMT
#4
Yeh... I should have majored in math but my high school had such a shitty program that I actually hated math. I actually got trig/geo/alg for dummies before getting this catalogue and it actually turned out that in several semesters of math that I took in my high school only the algebra was fully covered, half the stuff in the geometry and trig books I was never even taught.
Vin{MBL}
Profile Blog Joined September 2006
5185 Posts
April 04 2007 06:59 GMT
#5
On April 04 2007 15:53 MathAreHard wrote:
Goodness gracious...



HOLY HELL
ROFLMAO

if there was liquiscoop... post of the YEAR
thedeadhaji *
Profile Blog Joined January 2006
39489 Posts
April 04 2007 06:59 GMT
#6
hmm, I feel like this step:
X^a + X^b -> X^a[ 1 + X^(b-a)]

is the first step..?
thedeadhaji *
Profile Blog Joined January 2006
39489 Posts
Last Edited: 2007-04-04 07:06:35
April 04 2007 07:04 GMT
#7
X^a + X^b -> X^a[ 1 + X^(b-a)]

if a is greater than b, then X^(b-a) will have a negative exponent, which means that it will be a fraction.

Assuming that "divisible" means "resulting in whole number quotients", and that X is a whole number as well, we cannot allow this to happen.

But on the other hand, if we take out X^b, then we get:
X^b [ X^(a-b) + 1], and if b is greater than a, we are left with a fraction again.

This means that a must equal b for X^a + X^b to be divisible by c.

does this sound right?

edit: wait hmm, even if we get a fraction b/c a is greater than b, if the +1 makes it greater than 1, the multiplication with X^a could make the expression a whole number again...? hmm...
MathAreHard
Profile Joined April 2007
United States74 Posts
April 04 2007 07:07 GMT
#8
Hey, what is liquiscoop? I only see "liquibet"
Math problems? Call 1-800-[(12x)(9.2i)²]-[sin(xy)]
zdd
Profile Blog Joined October 2004
1463 Posts
Last Edited: 2007-04-04 07:18:04
April 04 2007 07:14 GMT
#9
I think he means specific values for a,b,c (because x^a+x^b will always be divisible by c=x^a+x^b)
sort of like for what values a and b is x^a+x^b divisible by 5?
or even like for what values a,b is 6^a+6^b div. by 5?
All you need in life is a strong will to succeed and unrelenting determination. If you meet these prerequisites, you can become anything you want with absolutely no luck, fortune or natural ability.
Hippopotamus
Profile Blog Joined October 2004
1914 Posts
Last Edited: 2007-04-04 07:18:16
April 04 2007 07:16 GMT
#10
Well, yeah... ok that made sense but there're like 50 more of those left and they're not all like that. Thanks, at least I can do a couple of them now. But this is exactly what I struggle with, the reformulation in your first step was fairly basic but it didn't even come across to me to do that first. Another thing is proving divisibility though, for specific numbers.
azndsh
Profile Blog Joined August 2006
United States4447 Posts
April 04 2007 07:26 GMT
#11
you should give a lot more details... I feel it's a bit too vague to have any idea what you're talking about
Hippopotamus
Profile Blog Joined October 2004
1914 Posts
Last Edited: 2007-04-04 07:39:44
April 04 2007 07:39 GMT
#12
Well that's just the general form of a few I encountered, a bunch of others involve proving whether numbers are rational or not. A bunch of them have just symbols. I am given several integers defined by letters and then it's like xy, wz + xy, wz and I need to prove that every listed of multiple of those integers (xy, wz, xy, wz) are divisble by the same number provided that all three expressions (wz + xy counts as one) are divisble by it as well. I'm not sure I even understand haji's proof. It seems to me that X^a times a fraction ie 1+X^(negative number) could sometimes end up as a whole number
Vin{MBL}
Profile Blog Joined September 2006
5185 Posts
April 04 2007 07:45 GMT
#13
On April 04 2007 16:07 MathAreHard wrote:
Hey, what is liquiscoop? I only see "liquibet"


it was a section where every week there was a news post on the best parts of the forum like notable threads , funny posts, funny pics etc...its been discontinued though
BuGzlToOnl
Profile Blog Joined November 2006
United States5918 Posts
April 04 2007 08:04 GMT
#14
On April 04 2007 16:45 Vin[MBL] wrote:
Show nested quote +
On April 04 2007 16:07 MathAreHard wrote:
Hey, what is liquiscoop? I only see "liquibet"


it was a section where every week there was a news post on the best parts of the forum like notable threads , funny posts, funny pics etc...its been discontinued though


has it really been discountinued or have the admist just been really lazy? :p
If you want to make God laugh, tell Him your plans.
Zalfor
Profile Blog Joined October 2005
United States1035 Posts
April 04 2007 09:07 GMT
#15
i'm majoring in math.
555, kthxbai
.kaz
Profile Blog Joined January 2007
1963 Posts
April 04 2007 09:18 GMT
#16
On April 04 2007 18:07 Zalfor wrote:
i'm majoring in math.


Well thats nice and all, but why don't you try to help him?
Yeah, during high school I got up to calculus in math, and after high school I realized that they skipped about half of the courses and some parts were pretty important.
Pressure - "rock is the defender of justice" 이병민 / 박영민 Hwaiting~
yisun518
Profile Joined August 2004
Canada480 Posts
Last Edited: 2007-04-04 09:29:13
April 04 2007 09:26 GMT
#17
i remember part of this from classical algebra, remainder theorem, little fermat theorem.

if u provide a specific question, maybe i can try to dig my past notes up, and see if i can still do them last time someone asked some remainder problem in a study room, took me 20 min to come up with the proof -_-... it was a lot faster when i was taking the course, guess im getting old

p.s. o, those rational number proofs, have to do in the form of P/Q where P and Q are both integers. something like that o.o tedious proofs.
Please log in or register to reply.
Live Events Refresh
Next event in 44m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Hui .660
SpeCial 447
TKL 83
Livibee 59
StarCraft: Brood War
Britney 32771
Calm 3974
Bisu 2884
Rain 2002
Light 1034
Horang2 799
Mini 531
Soma 491
Shuttle 488
Stork 377
[ Show more ]
ZerO 341
Snow 295
BeSt 277
firebathero 229
EffOrt 212
Rush 193
ggaemo 192
Hyun 161
Leta 112
Soulkey 98
Barracks 64
Sharp 60
sorry 42
Backho 31
Terrorterran 23
Killer 19
scan(afreeca) 18
Bale 17
Free 13
ajuk12(nOOB) 10
Shine 9
Dota 2
Gorgc6450
qojqva3270
Cr1tdota950
XcaliburYe187
Fuzer 187
Other Games
FrodaN2496
singsing2367
B2W.Neo1296
KnowMe407
crisheroes383
Beastyqt255
ArmadaUGS118
QueenE89
Trikslyr59
XaKoH 57
NeuroSwarm35
ZerO(Twitch)14
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 19 non-featured ]
StarCraft 2
• sooper7s
• Migwel
• AfreecaTV YouTube
• LaughNgamezSOOP
• IndyKCrew
• intothetv
• Kozan
StarCraft: Brood War
• HerbMon 17
• FirePhoenix5
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• C_a_k_e 3683
• WagamamaTV543
• Ler74
League of Legends
• Nemesis3952
• Jankos1687
• TFBlade824
Other Games
• Shiphtur263
Upcoming Events
Online Event
44m
TKL 83
Online Event
18h 44m
[BSL 2025] Weekly
1d 1h
Safe House 2
1d 1h
Sparkling Tuna Cup
1d 17h
BSL Team Wars
2 days
Team Bonyth vs Team Dewalt
Dewalt vs kogeT
JDConan vs Tarson
RaNgeD vs DragOn
StRyKeR vs Bonyth
Aeternum vs Hejek
Replay Cast
2 days
Map Test Tournament
3 days
Map Test Tournament
4 days
The PondCast
5 days
[ Show More ]
Map Test Tournament
5 days
Map Test Tournament
6 days
OSC
6 days
Liquipedia Results

Completed

KCM Race Survival 2025 Season 3
Maestros of the Game
HCC Europe

Ongoing

BSL 20 Team Wars
BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
Acropolis #4 - TS2
EC S1
ESL Pro League S22
Frag Blocktober 2025
Urban Riga Open #1
FERJEE Rush 2025
Birch Cup 2025
DraculaN #2
LanDaLan #3
StarSeries Fall 2025
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

Upcoming

IPSL Winter 2025-26
SC4ALL: Brood War
BSL Season 21
BSL 21 Team A
RSL Revival: Season 3
Stellar Fest
SC4ALL: StarCraft II
WardiTV TLMC #15
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
CS Asia Championships 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.