Jump to content
  • Advertisement
Sign in to follow this  
TimChan

algebraic identity

This topic is 4703 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

how could the mathematicans construct algebraic identities from scratch? Some examples of algebraic identities are 1+2+3+...+n = [n(n+1)]/2 and, more complex, 1^2+2^2+3^2+...n^2 = [n(n+1)(2n+1)]/6.

Share this post


Link to post
Share on other sites
Advertisement
Do you mean how to proove these identities are true?
I believe you proove it with induction.
Or do you ask how did they discover it is true?
They probably did some examples and then "saw" the right equation with intuition.
They might have used talyor series, or all kind of methods.

Share this post


Link to post
Share on other sites
Of course not.
I am asking how to construct a formula to find the sum of a sequence.
While M.I. is used for proving whether it is true or not.

Share this post


Link to post
Share on other sites
A sum is usually very close to an integral. For instance, you know that the integral of n2 is (1/3)n3, which means the partial sum will be equivalent, for large values of n, to this. So you know you will have to look for a polynomial of degree 3, the greatest coefficient of which is (1/3).

Share this post


Link to post
Share on other sites
Quote:
Original post by TimChan
I am asking how to construct a formula to find the sum of a sequence.

Apply axioms in any order.

To find a simple formula you have to apply them in the right order which is very hard find algorithmically.

Share this post


Link to post
Share on other sites
The story I was told was that Gauss was assigned a punishment to calculate 1+2+3+...+n for some large n. He sat for a few minutes, then noticed that if he grouped the numbers like so,

(n + 1) + (n-1 + 2) + (n-2 + 3) + ...

eg.

1 + 2 + 3 + 4 = (1+4) + (2+3)

and noting that since each term in the above is equal to (n + 1), and that since each term is a grouping of two of the original n terms, there are a total of n/2 of them, thus the whole sequence is really n/2*(n+1). Or:

1+2+3+...+n = n*(n+1)/2

Of course if n is odd, the regrouped sequence has an extra term for the ((n+1)/2)th entry... eg.

1 + 2 + 3 + 4 + 5 = (1+5) + (2+4) + 3

which throws a wrench into things... though I guess the punishment Gauss got was an even number...

Or he noticed that there are (n-1)/2 terms of sum (n+1) and one term of (n+1)/2. So,

(n-1)*(n+1)/2 + (n+1)/2 = (n - 1 + 1)*(n+1)/2 = n*(n+1)/2

so it works out either way.

[Edited by - Geoff the Medio on December 4, 2005 6:09:50 AM]

Share this post


Link to post
Share on other sites
Such things is discovered by thinking, I'd say. Since nobody knows how thinking really works (when it is something more or less complicated), there is no answer.
Automatic theorem provers do that similarly to how computer play chess: by exploring the tree of possibilities. Tree branching is defined by rules of chess or axioms of math and logic. For example at some position i can move pawn on b2 or pawn on c2 , similarly, in math when figuring out sum i can try to regroup terms one way or other way.
It is believed that brain is doing something like that. (so the speed and maximal depth of search depends to many factors such as genetics of said individual, nutrition, training, brain injuries if any, and so on. Training is probably most important)

Share this post


Link to post
Share on other sites
but how about the other identities? how did mathematicans know that 1^2+2^2+3^2+...n^2 is equivalent to [n(n+1)(2n+1)]/6?

i'm reading a book which tells that those algebraic identities are derived from the combination formula, C(r,n) = C(r,n-1)+C(r-1,n-r). For example, put r be 2, we get [n(n+1)]/2 - [n(n-1)]/2 = n. But i don't know how it works.

Share this post


Link to post
Share on other sites
Well, for most proofs you can know how it is done. You can even have explanations how one might arrive at certain identity (most often explanations has nothing to do with how it was done for first time)
But the discovery of something new is "creative" process and it is not quite known how brain does that (we don't know HOW we think. If we would, we'd make smart AI). Most likely brain does check really many possibilities "in background", somehow. Like chess, with enough training brain becomes capable of checking really many different ways of game.
(Heck, we don't even know how when you look at cat you recognize that it is cat. [smile])

Share this post


Link to post
Share on other sites
Sign in to follow this  

  • Advertisement
×

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

We are the game development community.

Whether you are an indie, hobbyist, AAA developer, or just trying to learn, GameDev.net is the place for you to learn, share, and connect with the games industry. Learn more About Us or sign up!

Sign me up!