Scribd
Upload
66 views2 pages

2b. Mixed Exam-Style Questions On Proof - Answers

1) The document contains 9 multi-part proof-based mathematics questions with explanations and examples. 2) Question 2 proves that π is irrational by assuming π is rational which leads to a contradiction. 3) Question 4 part b proves that if n is odd, then n^2 + 2n cannot be even by assuming it is even and deriving a contradiction. 4) Question 8 part b proves that log2 3 is irrational by assuming it is rational and again reaching a contradiction.

Uploaded by

saipk
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
66 views2 pages

2b. Mixed Exam-Style Questions On Proof - Answers

1) The document contains 9 multi-part proof-based mathematics questions with explanations and examples. 2) Question 2 proves that π is irrational by assuming π is rational which leads to a contradiction. 3) Question 4 part b proves that if n is odd, then n^2 + 2n cannot be even by assuming it is even and deriving a contradiction. 4) Question 8 part b proves that log2 3 is irrational by assuming it is rational and again reaching a contradiction.

Uploaded by

saipk
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

PMT

PROOF Answers

1 a e.g. x = 18 ⇒ 3
x = 12 , 12 > 18
[ any value of x in the interval 0 < x < 1 ]
b e.g. n = 7 ⇒ n3 − n + 7 = 7(49 − 1 + 1) which is divisible by 7
[ many other examples ]

p
2 assume π is rational ⇒ π = , p, q ∈
q
p2
⇒ π= , p2, q2 ∈ ∴ π rational
q2
⇒ contradiction ∴ π irrational

3 consider 15x2 − 11x + 2 < 0


⇒ (5x − 2)(3x − 1) < 0
⇒ 1
3
< x < 25
e.g. x = 0.35 ⇒ 15x2 − 11x + 2 = −0.0125, −0.0125 < 0
[ any value of x in the interval 13 < x < 25 ]

4 a n2 + 2n = (2m + 1)2 + 2(2m + 1)


= 4m2 + 4m + 1 + 4m + 2
= 4m2 + 8m + 3
b assume n2 + 2n even and n odd, where n ∈
n odd ⇒ n = 2m + 1, m ∈
⇒ n2 + 2n = 4m2 + 8m + 3 = 2(2m2 + 4m + 1) + 1
2m2 + 4m + 1 ∈ ∴ n2 + 2n odd
⇒ contradiction ∴ n even

1
5 a k cos x − cosec x = 0 ⇒ k cos x =
sin x
⇒ k sin x cos x = 1
⇒ 1
2
k sin 2x = 1
2
⇒ sin 2x =
k
2
sin 2x ≤ 1 ⇒  ≤1
k
⇒ k ≥ 2
b 3 cos x − cosec x = 0 ⇒ sin 2x = 2
3
2x = 41.810, 180 − 41.810, 360 + 41.810, 540 − 41.810
2x = 41.810, 138.190, 401.810, 498.190
x = 20.9, 69.1, 200.9, 249.1 (1dp)

 Solomon Press
PMT

PROOF Answers page 2

6 assume x2 − y2 = 1, where x, y ∈ +
x2 − y 2 = 1 ⇒ (x + y)(x − y) = 1
x, y ∈ + ⇒ (x + y), (x − y) ∈ and (x + y) > 0
∴ x + y = 1 and x − y = 1
adding ⇒ 2x = 2
⇒ x=1
⇒ y=0
⇒ contradiction ∴ no positive integer solutions

7 a false e.g. a= 2,b=1− 2 ⇒ a and b irrational


and a + b = 1 which is rational
[ many other examples ]
b true m, n consecutive odd integers ⇒ m = 2a + 1, n = 2a + 3, a ∈
⇒ m + n = 2a + 1 + 2a + 3 = 4a + 4 = 4(a + 1)
a+1∈ ∴ m + n divisible by 4
3 3
c false e.g. x= 5π
3
⇒ cos x = 1
2
and 1 + sin x = 1 − , 1
2
>1−
2 2
[ any value of x of the form 2nπ + y, n ∈ , − π2 < y < 0 ]

p
p
8 a log2 3 = ⇒ 2q = 3
q
p

⇒ ( 2 q ) q = 3q
⇒ 2p = 3q
p
b assume log2 3 is rational ⇒ log2 3 = , p, q ∈ , q ≠ 0
q
⇒ 2p = 3q
2 and 3 are co-prime ⇒ p=q=0
⇒ contradiction ∴ log2 3 is irrational
c e.g. a = 2, b = 2 ⇒ a rational and b irrational
and loga b = 12 which is rational
[ many other examples ]

x−2 y−2
9 a y= swap x=
4x 4y
4xy = y − 2
y(4x − 1) = −2
2
y=
1 − 4x
2
f −1(x) = , x∈ , x≠ 1
1 − 4x 4

x−2 2
b f(x) = f −1(x) ⇒ =
4x 1 − 4x
⇒ (x − 2)(1 − 4x) = 8x
⇒ 4x2 − x + 2 = 0
b2 − 4ac = 1 − 32 = −31
b2 − 4ac < 0 ⇒ no real roots
∴ no real values of x for which f(x) = f −1(x)

 Solomon Press

You might also like