![]() |
|
|
#23 | |
|
Dec 2012
The Netherlands
170210 Posts |
Quote:
There was a gap of 2000 years in which no notable progress was made! I see that everyone is taught the uniqueness of prime factorization. Is it hard to convince your students of that or do they find it natural (perhaps even taking it for granted)? |
|
|
|
|
|
|
#24 | |
|
"Luke Richards"
Jan 2018
Birmingham, UK
25×32 Posts |
Quote:
|
|
|
|
|
|
|
#25 |
|
Feb 2017
Nowhere
4,643 Posts |
Oh, I agree. Once you know that x - y divides xn - yn, you need to follow up with the corollary that if a > 1 and b > 1,
xa - ya divides xab - yab. I note that setting y = 1 makes the algebra considerably simpler. EDIT: I also recalled a simplified induction argument, inspired by working a specific numerical case. It uses the formula xn+1 - yn+1 = x*(xn - yn) + yn(x - y) If Qn denotes the quotient (xn - yn)/(x - y), this gives the simple formula Qn+1 = x*Qn + yn. Last fiddled with by Dr Sardonicus on 2019-05-03 at 13:41 Reason: Appending as indicated |
|
|
|
|
|
#26 |
|
Romulan Interpreter
Jun 2011
Thailand
258B16 Posts |
|
|
|
|
|
|
#27 | |
|
Feb 2017
Nowhere
4,643 Posts |
Quote:
But the simplified induction proof ain't too shabby. Armed with the the verification for n = 1 Q1 = (x1 -y1)/(x - y) = 1 and the recursion formula Qn+1 = x*Qn + yn we can just "turn the crank" to get Q2 = x*1 + y1 = x + y, Q3 = x*(x+y) + y2 = x2 + x*y + y2, etc. Again, the induction problem I recall was merely to establish divisibility; and it may have been a specific case, like showing that 19 divides 20n - 1 for every positive integer n. But the obvious proof for the specific case works, mutatis mutandis, for the algebraic version. |
|
|
|
|
![]() |
| Thread Tools | |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| GMP-ECM test question | Rysiu | GMP-ECM | 5 | 2014-08-24 09:59 |
| Question about LL test | soloral | Information & Answers | 3 | 2013-02-13 02:13 |
| LL Test : dumb question | pacionet | Math | 2 | 2007-09-06 03:16 |
| Question of efficiency: Test VS Generator | synergy | Miscellaneous Math | 13 | 2004-10-14 18:14 |
| Torture test question | philmoore | Hardware | 7 | 2004-02-15 20:44 |