mersenneforum.org  

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

Reply
 
Thread Tools
Old 2010-06-24, 17:32   #705
jyb
 
jyb's Avatar
 
Aug 2005
Seattle, WA

2·883 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
He had stated earlier that he was familiar with the binomial theorem........
Apparently not familiar enough.
jyb is offline   Reply With Quote
Old 2010-06-24, 18:08   #706
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

164448 Posts
Default

Quote:
Originally Posted by jyb View Post
Apparently not familiar enough.
I mean no insult to Tomer in what I am going to say,
but he really thinks that he knows a lot of things that he really
doesn't know. It is surely not his fault; I'm sure that the training
he received has been inadequate to really do proofs.

He seems to have very poor training in the use of definitions, use
of variables, substitution of variables, and his derivations just lack
rigor. He would benefit greatly from a disciplined proof-based course
in Eulclidean Geometry.
R.D. Silverman is offline   Reply With Quote
Old 2010-06-24, 19:21   #707
blob100
 
Jan 2010

37910 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
I mean no insult to Tomer in what I am going to say,
but he really thinks that he knows a lot of things that he really
doesn't know. It is surely not his fault; I'm sure that the training
he received has been inadequate to really do proofs.

He seems to have very poor training in the use of definitions, use
of variables, substitution of variables, and his derivations just lack
rigor. He would benefit greatly from a disciplined proof-based course
in Eulclidean Geometry.
"but he really thinks that he knows a lot of things that he really
doesn't know." False.
I didn't say I know something about the binom (I asked about it in one of the posts, becuase I know it's idea and theme, but I lack skills on the area).

And now, after reading Wolfram's page on the binomial coefficients, I may say it is n_C_k=n!/(k!(n-k)!).

Last fiddled with by blob100 on 2010-06-24 at 19:24
blob100 is offline   Reply With Quote
Old 2010-06-24, 19:41   #708
Wacky
 
Wacky's Avatar
 
Jun 2003
The Texas Hill Country

32·112 Posts
Default

Quote:
Originally Posted by blob100 View Post
n_C_k=n!/(k!(n-k)!).
Also meaning no offense, are you able to formulate a proof?

At least to me, you have yet to demonstrate that you have the skills required.
Wacky is offline   Reply With Quote
Old 2010-06-24, 19:52   #709
jyb
 
jyb's Avatar
 
Aug 2005
Seattle, WA

2×883 Posts
Default

Quote:
Originally Posted by blob100 View Post
And now, after reading Wolfram's page on the binomial coefficients, I may say it is n_C_k=n!/(k!(n-k)!).
Okay, you may say it, but do you understand it? In what circumstances might it be useful? Can you see how it applies to the polynomial coefficient problem? This is what I meant when I said that you needed to "think about this information".
jyb is offline   Reply With Quote
Old 2010-06-24, 19:54   #710
blob100
 
Jan 2010

17B16 Posts
Default

Quote:
Originally Posted by Wacky View Post
Also meaning no offense, are you able to formulate a proof?

At least to me, you have yet to demonstrate that you have the skills required.
I'll try.
Is induction the right approach to do so?
blob100 is offline   Reply With Quote
Old 2010-06-24, 19:59   #711
Wacky
 
Wacky's Avatar
 
Jun 2003
The Texas Hill Country

44116 Posts
Default

Quote:
Originally Posted by blob100 View Post
I'll try.
Is induction the right approach to do so?
"All roads lead to Rome" -- As with many such problems, there are multiple ways to formulate a proof. Any of them would be acceptable.

A proof by induction is certainly a reasonable approach.
Wacky is offline   Reply With Quote
Old 2010-06-24, 20:03   #712
blob100
 
Jan 2010

5738 Posts
Default

Quote:
Originally Posted by Wacky View Post
"All roads lead to Rome" -- As with many such problems, there are multiple ways to formulate a proof. Any of them would be acceptable.

A proof by induction is certainly a reasonable approach.
OK.
blob100 is offline   Reply With Quote
Old 2010-06-24, 20:19   #713
jyb
 
jyb's Avatar
 
Aug 2005
Seattle, WA

2·883 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
He seems to have very poor training in the use of definitions, use
of variables, substitution of variables, and his derivations just lack
rigor. He would benefit greatly from a disciplined proof-based course
in Eulclidean Geometry.
I would say that Tomer likes math and has discovered a number of interesting things about it which make him eager to learn more. Being bright and eager is a good start, but it will only get one so far. In order to really understand math, one also needs to learn rigor, and that requires discipline (as you've said many times). The key is to impart that sense of rigor and discipline without destroying the fun which makes one eager in the first place.

He is untrained and lacks rigor. Well that's not a fatal flaw. I think he just hasn't been exposed to that way of thinking much. All of your complaints about his definitions, variables, derivations, etc. are really just symptoms of this lack of exposure. Learning to do proofs is a bit like learning a foreign language; to some degree there's just a style to which one must become accustomed, and being immersed in that is the best way to learn it.

You're probably right about a course in geometry, partly because he just needs to spend some time learning to do rigorous proofs, and partly because geometry is a good vehicle for maintaining that sense of fun: who doesn't like drawing pictures?

Of course there's really no way to give him geometry problems in this forum, but there are other kinds of problems we could give him that are very simple and would help him practice proofs.
jyb is offline   Reply With Quote
Old 2010-06-24, 20:44   #714
blob100
 
Jan 2010

379 Posts
Default

Proof by induction (binomial theorem):
We see define nCk as the number of combinations of k units taken from a set of n units.

Proposition:
nCk=(n!)/(P!k!)
P=n-k.

We will do so by induction on n.
Step 1:
Showing 0Ck agree the terms (for n=0, the proposition is true).
0Ck=1.
(0!)/(P!k!)=1/(1*1)=1.

Step 2:
Assuming that the formula is true for a given n and all 0≤ k≤n.

Step 3:
Showing that for n+1 the proposition is true if it is for n.
We assumed:
nCk=(n!)/(P!k!),
And we try to prove:
n+1Ck=((n+1)!)/(P!k!).
We see: k=0, ((n+1)!)/((n+1)!0!)=1.
And: k=n+1, ((n+1)!)/(0!(n+1)!)=1
And for 0≤ k≤n, nCk+nCk-1.
So, we try porving nCk+nCk-1 is equivallent to (n+1)!/((n+1-k)!k!).
n!/(n-k)!k!+n!/(n-k+1)!(k-1)!=n!(n-k+1)/(n-k+1)!k!+n!k/(n-k+1)!k!=
n!(n+1)/(n-k+1)!k!.
Now, we would easily propose the next equation:
n!(n+1)/(n-k+1)!k!=(n+1)!/((n+1-k)!k!),
Which is what we tried to prove.

Last fiddled with by blob100 on 2010-06-24 at 20:54
blob100 is offline   Reply With Quote
Old 2010-06-24, 21:05   #715
blob100
 
Jan 2010

5738 Posts
Default

Quote:
Originally Posted by jyb View Post
I would say that Tomer likes math and has discovered a number of interesting things about it which make him eager to learn more. Being bright and eager is a good start, but it will only get one so far. In order to really understand math, one also needs to learn rigor, and that requires discipline (as you've said many times). The key is to impart that sense of rigor and discipline without destroying the fun which makes one eager in the first place.

He is untrained and lacks rigor. Well that's not a fatal flaw. I think he just hasn't been exposed to that way of thinking much. All of your complaints about his definitions, variables, derivations, etc. are really just symptoms of this lack of exposure. Learning to do proofs is a bit like learning a foreign language; to some degree there's just a style to which one must become accustomed, and being immersed in that is the best way to learn it.

You're probably right about a course in geometry, partly because he just needs to spend some time learning to do rigorous proofs, and partly because geometry is a good vehicle for maintaining that sense of fun: who doesn't like drawing pictures?

Of course there's really no way to give him geometry problems in this forum, but there are other kinds of problems we could give him that are very simple and would help him practice proofs.
I think Discrete mathematics is as Euclidean Geometry a good course to learn proofs.
Do you agree with me?
blob100 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Some ideas regarding NFS... paul0 Factoring 3 2015-03-14 19:55
Ideas for the future beyond just-keep-encrunching Dubslow NFS@Home 13 2015-02-02 22:25
two ideas for NPLB Mini-Geek No Prime Left Behind 16 2008-03-01 23:32
GROUP IDEAS TTn 15k Search 15 2003-09-23 16:28
Domain name ideas... Xyzzy Lounge 17 2003-03-24 16:20

All times are UTC. The time now is 08:21.


Fri Aug 6 08:21:15 UTC 2021 up 14 days, 2:50, 1 user, load averages: 2.18, 2.31, 2.29

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.