Professional Documents
Culture Documents
Proof of p 2 by contraposition .
us up
then 3×79 ⇐7
3×-9 so
.
Because ✗
2)
<
2g ✗ 0
-
>
.
(3×-9) (
Zyx ) so
,|whichispry\
7✗y -2g
'
-3×2 > o
u ( 7×9<-3×2+293
☒I
•
Proof of P by contraditwm .
Suppose up ,
therefore . Q and uh .
the graphs of
and interests
up :
the
graphs of g- ✗4×+2 y=✗-L
carb ] .
and b= a- 2
b = a'+ atz
'
a -2 =
a 't a -12 ⇐ a + 4=0
Ah is T
2 :
20 .
v2 : at co
show that it irrational number
Example 2 : is an .
B- is a rational number
Proof :
Suppose .
that
Then if =
Iq for some
integers p
and g. such
p
and
q have
no common factor .
rz = Plq 2 =
pyqi p2= zqe
be proved by contraposition
.
this can
f.
number number
p2 is an even
p is an even
K
F- 2k for some integer .
'
2k is even
g- = I p2 = .
number
of is an even
, ,
. .
.
,
define thus has
Then pipa putt n
=
we n -
. .
.
divisor of
a
prime
.
Because of is a
prime
neebtnber ,
q=p . for one taken
q divides pipzp } - -
pnel Pipp } -
-
putt -_ GMM for some
integer m
pipa .
.
.
putt
=
Pkm I =
Pk C- Pi - - -
pupae . .
.
Pn -1m
)
1 this is a contradiction to PK is a
prime
Pk divides .
number .
☐ .
•
Two -
part proof of p Q .
show show a
-
Ii )
p A cii)
p .
p it R , IH R .
,
.
.
. if Rn . if A.
Rn Rn Rn -02
p R R Rz
-
i
-
. -
.
. .
.
a Rne . .
.
.
Rm p
[ Exercise 15 . 7cal ) .
Proof :
Ac divides be be = Ack for some meager k
⇐) a divides b.
1. 6 .
Proofs involving quantifiers .
•
Direct proof of 1W✗)p-
be arbitrary object the universe
Proof : Let ✗ an in .
- -
-
. Hence Pix) is true .
Therefore ④ ×) #ex, is true .
real number
Example :L :
show that the sum of a
positive
and its
reciprocal is at least 2 .
be real number
Proof Let ✗ an
arbitrary positive
.
Plxl :
✗+ ¥ 72 .
✗+ ¥72 ✗ -
2+1×20
⇐> ( Tx )
'
-
2A -
¥ + ( ¥520
of -
¥520 is T .
☐ .
If f- is odd function then
fco
Example 2 an .
, =o
:
.
be
Proof :
Let f- an
arbitrary fraction
| -idd f=
Then f- is an odd function
f- a) =
-
fl -
×) it ✗ EIR
fco > = -
fc -0 ) 2
fco )=o
for )=o
Example 3 ( Theorem 1.6 . 13 .
ftp.ca.by#x.y-Zax-by.
Cla , clb a= Ck ,
b=cl for some integers Kal .
axtby =
ckxtcly =
cckxtdg
c Icaxtby , ☐