- #1
garyljc
- 103
- 0
i was wondering if I'm using the right approach for this
the question reads
is the following statement true for all x and y : 'If x<y then x^2<y^2'
then it follows by asking about 'if x^2<y^2'
i am currently using case analysis to do this
by considering whether x and y are positive or negative
is there any other more efficient way to do this ?
what axiom should i use in this case ? because squaring both sides instead of multiplying by a common factor
thanks
the question reads
is the following statement true for all x and y : 'If x<y then x^2<y^2'
then it follows by asking about 'if x^2<y^2'
i am currently using case analysis to do this
by considering whether x and y are positive or negative
is there any other more efficient way to do this ?
what axiom should i use in this case ? because squaring both sides instead of multiplying by a common factor
thanks