Re: Simple versus formal proof?


Ross Clement (Email address invalid - do not use) wrote:
Is there a useful (for any possible meaning of the word "useful") more
formal proof for k^2 + k being even for all k
Ross-c

Hey, what's wrong with
k^2+k = k(k+1).
?

.

Relevant Pages

  • Re: A22972
    ... that may be because of the siteswap: Juggling Lab says "Invalid ... pattern average" like Duh-uh. ... And hey, how about in a weird setting this time, maybe smoke drifting ...
    (rec.juggling)
  • Re: Simple versus formal proof?
    ... Ross Clement (Email address invalid - do not use) wrote: ... Mohab is completely wrong here. ... It's quite a sweet proof, and every bit as valid as the "k or k+1 must be..." ...
    (sci.math)
  • Re: Negative Group Delay ... again!
    ... is LTI, therefore we can apply the LT. ... Hey, fellows, this had been rehashed often in the past under a different guise. ...
    (comp.dsp)
  • Returning argument as a number problem
    ... Hey guys, I have a method as such: ... def random ... pub_send "Invalid number" ... pub_send "No more then 30 chars" ...
    (comp.lang.ruby)
  • Re: Simple versus formal proof?
    ... Ross Clement (Email address invalid - do not use) wrote: ... Depends on who you're writing for. ... how to fill in the gaps". ...
    (sci.math)