Re: Help check my proof please?

On 24 Apr 2006 16:37:22 -0700, "Joe Blow" <blah_59@xxxxxxxxxxx> wrote:

I don't know the difference between an equation and inequality, sorry.
Your last couple of messages quoted old posts, I tried to make it
clearer how I got that in the last one. Here it is again:

LHS >= n/sqrt(n)

LHS >= (n/n) * sqrt(n)

LHS >= 1 * sqrt(n)

LHS >= sqrt(n)

Ok, now for the right hand side:

You want me to make the LHS symbolic? I think that means turning the
numbers into letters? so heres a shot:

1/sqrt(n) = (n/n)/sqrt(n)
so
((n-3)/(n-3))/sqrt(n) + ((n-2)/(n-2))/sqrt(n) + ((n-1)/(n-1))/sqrt(n)
+ ((n)/(n))/sqrt(n) >= RHS

No, that's not right.

Something like that?

No, look at the exact statement of what you are trying to prove.

Several times I advised you to sum the left hand side without actually
doing _any_ simplification. Don't actually add anything, and don't
simplify. Just write + symbols in between terms to indicate the
intended addition -- minimally processed as they say in the food
industry. The reason is simple -- take a good look at what you are
trying to prove.

quasi
.

Relevant Pages

  • Re: Help check my proof please?
    ... I don't know the difference between an equation and inequality, ... Your last couple of messages quoted old posts, ... clearer how I got that in the last one. ... LHS>= 1 * sqrt ...
    (sci.math)
  • Re: forall and do loop
    ... That appears to be the biggest advantage of forall when a mask condition ... it's clearer than the alternatives. ... Even the automatic copy (if lhs and rhs alias) is sometimes useful: ...
    (comp.lang.fortran)
  • Re: Newsgroup problem.
    ... is my news-server. ... disappeared from the (LHS) list. ... Now when I click on 'news.tesco.net' and 'synchronise account' all ... those posts - but those posts alone *are* downloading. ...
    (uk.telecom.broadband)
  • Re: Help check my proof please?
    ... Isn't this correct for the RHS ... LHS>= 1 * sqrt ... is it clearer now that I'm working on the right side? ...
    (sci.math)