(Math Foundation 笔记)1.实数公理和用公理证明3

Using transitivity in a proof：传递性证明的小技巧

If we need to demonstrate an inequality, like A<B

1.      Show A<C for some C

2.      Show C <B

3.      By transitivity, therefore A<B

Example:

·        For all a b x y in R set if a<b and x<y than a+x < b+y

Proof:

Assume a<b and x<y

a+x<b+x by O3&& based on a<b

x+b<y+b byO3 && based on x<y

a+x<b+Y byO2(transitivity)

therefore…

·        For all x y in R set, if 0<x and x<y ,thenx^2 < y^2

Assume 0<x and x<y

x*x<y*x by O4 based on x<yand x>0

x^2<yx

y>0 byO2 since 0<x andx<y

x*y <y*y by O4 and based ony>0

yx<y^2

x^2<y^2 by O2(transitivity)

therefore…

 

anot