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

Home > Just Math
Simplifying Surds (Posted on 2024-07-26) Difficulty: 3 of 5
Prove that

(2 + √2)(3 - 2√2)n + (2 - √2)(3 + 2√2)n

is an integer for every positive integer n.

No Solution Yet Submitted by Danish Ahmed Khan    
No Rating

Comments: ( Back to comment list | You must be logged in to post comments.)
Some Thoughts Solution Comment 1 of 1
Rename the expression:  A*B^n + C*D^n
C is the conjugate of A
D is the conjugate of B

For the moment, ignore A and C.
If you were to expand B^n and D^n, the 'odd' terms (all integers) would be doubled and the 'even' terms (each of which includes √2) would cancel out. 

Now reintroduce A and C, but one term at a time.
2(3 - 2√2)^n + 2(3 + 2√2)^n  must be an integer as explained just above.

√2(3 - 2√2)^n - √2(3 + 2√2)^n   Now the 'odd' terms (which all include a √2 term) cancel out and all the 'even' terms (which are integers) are doubled.

For  n = {1,2,3,4,5,...}  the expression evaluates to:
oeis A077445 which is "Numbers k such that (k^2 - 8)/2 is a square."
[4, 20, 116, 676, 3940, 22964, 133844, 780100, 4546756, ...]


The same sequence is produced for n = {0, -1, -2, -3, ...}

  Posted by Larry on 2024-07-26 19:33:53
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
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

Chatterbox:
Copyright © 2002 - 2024 by Animus Pactum Consulting. All rights reserved. Privacy Information