![]() |
|
|
#23 | |
|
Dec 2012
The Netherlands
110101001102 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
1001000002 Posts |
Quote:
|
|
|
|
|
|
|
#25 |
|
Feb 2017
Nowhere
10010001000112 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
7×1,373 Posts |
|
|
|
|
|
|
#27 | |
|
Feb 2017
Nowhere
464310 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. |
|
|
|
|
![]() |
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 |