mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2019-05-03, 08:59   #23
Nick
 
Nick's Avatar
 
Dec 2012
The Netherlands

2·23·37 Posts
Default

Quote:
Originally Posted by lukerichards View Post
These summaries clearly show that all the mathematics being taught was either known already to Euclid or did not appear until the 17th century with Descartes, Leibniz and Newton (or later).
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)?
Nick is offline   Reply With Quote
Old 2019-05-03, 11:37   #24
lukerichards
 
lukerichards's Avatar
 
"Luke Richards"
Jan 2018
Birmingham, UK

4408 Posts
Default

Quote:
Originally Posted by Nick View Post
These summaries clearly show that all the mathematics being taught was either known already to Euclid or did not appear until the 17th century with Descartes, Leibniz and Newton (or later).
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)?
Even the weakest of students I teach rarely struggle to find a prime factorisation. Conceptually most find the uniqueness of it to be a conceptual stretch. As in, I rarely get much push-back from it when I state it as a fact, but I think because it doesn't really resonate it doesn't really stick.
lukerichards is offline   Reply With Quote
Old 2019-05-03, 13:25   #25
Dr Sardonicus
 
Dr Sardonicus's Avatar
 
Feb 2017
Nowhere

110438 Posts
Default

Quote:
Originally Posted by Batalov View Post
But it is important to use n=3 here and x=8, y=1.
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
Dr Sardonicus is offline   Reply With Quote
Old 2019-05-04, 07:49   #26
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

7×1,373 Posts
Default

Quote:
Originally Posted by Dr Sardonicus View Post
...mathematical induction...
oh? the easiest way to prove that is to multiply left side with x-y, and cancel out all terms, proving that by induction sounds to me like laborious futile work...
LaurV is offline   Reply With Quote
Old 2019-05-04, 13:53   #27
Dr Sardonicus
 
Dr Sardonicus's Avatar
 
Feb 2017
Nowhere

4,643 Posts
Default

Quote:
Originally Posted by LaurV View Post
oh? the easiest way to prove that is to multiply left side with x-y, and cancel out all terms, proving that by induction sounds to me like laborious futile work...
Once you have the formula -- sure, it's easy to verify. And it is amusing to do the multiplication and watch the wholesale cancellation.

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.
Dr Sardonicus is offline   Reply With Quote
Reply



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

All times are UTC. The time now is 17:55.


Fri Jul 16 17:55:20 UTC 2021 up 49 days, 15:42, 1 user, load averages: 1.62, 1.57, 1.53

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.