Re: Simple versus formal proof?




tamiry wrote:
Ross Clement (Email address invalid - do not use) wrote:
Hey, what's wrong with
k^2+k = k(k+1).
?

That's another question I have about proofs. While anyone can see that
one of k and k+1 must be even and hence the product is even, is it
really excessively verbose to mention that when giving the proof?

Cheers,

Ross-c

.