Advanced Search

Question: Missing assumption?

Question:Missing assumption?

Adam Ledger 360 Maple
assumptions homework assume
March 15 2018
0

If i was a good student i wouldnt be using the is function for these at all, but im quite tired now so i thought that it would be fine this time. But i honest cannot see what additional declarations need to be made here, and why a false is returned for the first query, then FAIL for the negation of the first in the second query, the only thing i can think of is declaring that indeed n and m are elements of N, but if maple was allowing for Gaussian n,m surely both queries would return fail, and so obvious it is indeed acknowledging the arguments are on R, anyway hopefully someone gets the chance to make me feel silly here

 


 

> 

assume(n < m, n > 1)
> 

is((3*n-1)/(n^3+2*n+1)-(3*m-1)/(m^3+2*m+1) < 0)

false

 (1)
> 

is((3*n-1)/(n^3+2*n+1)-(3*m-1)/(m^3+2*m+1) >= 0)

FAIL

 (2)
> 

``


 

Download MISSING_ASSUMPTION.mw
Please Wait...