Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2011-03-26 22:36:05

bobbym
Administrator
From: Bumpkinland
Registered: 2009-04-12
Posts: 90,562

Proving things experimentally.

Another or the cornerstones of experimental math is the OEIS. The Online Encyclopedia of Integer Sequences. The page was started by Neil Sloane and Simon Pflouffe. It is wiser than the oracle at Delphi.

To show you how this works:

Supposing you had this question.

Is a(n)  an integer for all n?

You cannot solve the recurrence, so you use it to generate some numbers. This is a typical procedure for experimental math.

1, 1, 2, 4, 9, 21, 51, 127, 323, 835, 2188...

Looks like they will all be integers but we would like to be a little bit more certain of that. Copy the sequence and go here:

http://oeis.org/

Paste the sequence into the top box and you get:

The Motzkin numbers! A well known combinatoric sequence.

So you look them up:

http://mathworld.wolfram.com/MotzkinNumber.html

You see that the Motzkin numbers count the number of paths through a lattice. They are always integers. You cannot have 2.8 paths from some point to another on a lattice.

Then you look further and see the recurrence for the Motzkin numbers. If you take that recurrence and substitute n = n-1 into ours ( just a shift of indices ), it becomes that recurrence. We are done!


In mathematics, you don't understand things. You just get used to them.

I agree with you regarding the satisfaction and importance of actually computing some numbers. I can't tell you how often I see time and money wasted because someone didn't bother to run the numbers.

Offline

Board footer

Powered by FluxBB