All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Just Math
Dozen Divisibility Dilemma (Posted on 2010-12-02) Difficulty: 3 of 5
Each of x and y is a positive integer such that: x2 5y2 = 1.

Prove that x*y is always divisible by 12.

No Solution Yet Submitted by K Sengupta    
No Rating

Comments: ( Back to comment list | You must be logged in to post comments.)
Solution re: Possible solution | Comment 2 of 4 |
(In reply to Possible solution by broll)

Your elementary method is really cool, but since I dont see why x is invariably odd I just went and used the recurrence.

The fundamental (x1,y1) = (9,4) works

Forgive my lack of subscripts
xk+1 = x1xk + ny1yk
yk+1 = x1yk + y1xk

so for this we have
xk+1 = 9xk + 20yk
yk+1 = 9yk + 4xk

and the product xk+1*yk+1 simplifies to
36xk^2 + 161xkyk + 180yk^2

since 36, xkyk, and 180 are all divisible by 12 so does this sum.
So we have a recursive proof.

  Posted by Jer on 2010-12-03 17:52:28

Please log in:
Remember me:
Sign up! | Forgot password

Search body:
Forums (1)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (5)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Copyright © 2002 - 2019 by Animus Pactum Consulting. All rights reserved. Privacy Information