SmarterEd

Aussie Maths & Science Teachers: Save your time with SmarterEd

Proof, EXT2 P1 2023 HSC 12a

Prove that \(\sqrt{23}\) is irrational.  (3 marks)

Show Answers Only

\(\text{Proof (See Worked Solutions)} \)

Show Worked Solution

\(\text{Proof by contradiction:} \)

\(\text{Assume}\ \sqrt{23}\ \text{is rational} \)

\( \sqrt{23} = \dfrac{p}{q}\ \ \text{where}\ p, q \in \mathbb{Z}\ \ \text{with no common factor except 1} \)

\(23\) \(= \dfrac{p^2}{q^2} \)  
\(23q^2\) \(=p^2\)  

 
\(\Rightarrow \text{23 is a factor of}\ p^2 \)

\(\Rightarrow \text{23 is a factor of}\ p \)
 

\( \exists k \in \mathbb{Z}\ \ \text{such that}\ \ p=23k \)

\(23q^2\) \(=(23k)^2 \)  
\(q^2\) \(=23k^2 \)  

 
\(\Rightarrow \text{23 is a factor of}\ q^2 \)

\(\Rightarrow \text{23 is a factor of}\ q \)

\(\therefore \text{HCF}\ \geq 23 \)

\(\therefore \text{By contradiction,}\ \sqrt{23}\ \text{is rational} \)

Proof, EXT2 P1 SM-Bank 14

Prove that  `log_3 7`  is irrational.  (2 marks)

Show Answers Only

`text(See Worked Solution)`

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ log_3 7\ \ text(is rational.)`

`text(i.e.)\ \ log_3 7 = p/q\ text(where)\ \ p, q ∈ ZZ\ \ text(with no common factor except 1.)`

`log_3 7` `= p/q`
`q log_3 7` `= p`
`log_3 7^q` `= p`
`7^q` `= 3^p`

 
`text(S)text(ince 7 and 3 are prime numbers), 7^q != 3^p`

`:.\ text(Contradiction: integer values)\ \ p, q\ \ text(do not exist.)`

`:. log_3 7\ text(is irrational.)`

Proof, EXT2 P1 2020 HSC 14d

Prove that for any integer  `n > 1, log_n (n + 1)`  is irrational.   (3 marks)

Show Answers Only

`text{See Worked Solutions}`

Show Worked Solution

`text{Proof by contradiction:}`

`text{Assume} \ log_n(n + 1) \ text{is rational}`

`therefore \ log_n (n + 1) = frac{p}{q} \ \ text{where} \ \ p,q ∈ ZZ \ text{with no common factor except 1}` 

`n^(frac{p}{q}` `= n + 1`
`n^p` `= (n + 1)^q`

 
`text{Strategy 1}`
 

`n^p = (n + 1)^q \ \ text{when} \ \ p = q = 0\ \ text{only}`

`q ≠ 0`

`:.\ text{By contradiction}, log_n (n + 1) \ \ text{is irrational.}`
 

`text{Strategy 2}`

`n^p = (n + 1)^q`

`text{If} \ \ n\  \ text{is odd, LHS is odd and RHS is even.}`

`text{If} \ \ n\  \ text{is even LHS is even and RHS is odd.}`

`text{Statement is true for} \ \ p = q = 0 , text{but} \ \ q ≠ 0`

`therefore \ text{By contradiction,} \ log_n (n + 1) \ text{is irrational.}`

Proof, EXT2 P1 SM-Bank 8

Prove that  `log_2 11`  is irrational.   (2 marks)

Show Answers Only

`text{Proof (See Worked Solutions)}`

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ log_2 11\ \ text(is rational.)`

`:. log_2 11 = p/q\ \ \ text(where)\ \ p,q in ZZ\ \ text(with no common factor except 1)`

`qlog_2 11` `=p`  
`log_2 11^q` `=p`  
`11^q` `=2^p`  

 
`text(LHS is odd.)`

`text(RHS is even.)`

`:.\ text(Contradiction: integer values)\ \ p, q\ \ text(do not exist.)`

`:.\ log_2 11\ \ text(is irrational.)`

Proof, EXT2 P1 SM-Bank 9

If  `n`  is a positive integer,

prove  `sqrt(10n+2)`  is always irrational.   (3 marks)

Show Answers Only

`text{Proof (See Worked Solutions)}`

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ sqrt(10n+2)\ \ text(is rational.)`

`:. sqrt(10n+2) = p/q\ \ \ text(where)\ \ p,q in ZZ\ \ text(with no common factor except 1)`

`10n+2` `=p^2/q^2`  
`2q^2(5n+1)` `=p^2\ …\ (1)`  

 
`p^2\ \ text(is even) \ =>\ p\ text(is even)`

`text{(i.e.)}\ \ ∃ k,\ \ k in ZZ\ \ text(such that)\ \ p=2k`
 

`text{Substitute}\ \ p=2k\ \ text{into (1)}`

`2q^2(5n+1)` `=(2k)^2`  
`q^2(5n+1)` `=2k^2`  

 

`q^2(5n+1)\ \ text(is even since) \ =>\ 2k^2\ text(is even)`

`=> q^2\ \ text(is even since)\ \ 5n + 1\ \ text(can be odd or even).`

`=> q\ \ text(is even)`

`=> \ text(Contradiction:)\  p and q\ \ text(have a common factor of 2)`

`:.\ sqrt(10n+2)\ \ \ text(is irrational.)`

Proof, EXT2 P1 SM-Bank 4

Prove that  `root3 2`  is irrational.   (3 marks)

Show Answers Only

`text{Proof (See Worked Solutions)}`

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ root3 2\ \ text(is rational.)`

`:. root3 2 = p/q\ \ \ text(where)\ \ p,q in ZZ\ \ text(with no common factor except 1)`

`2` `=p^3/q^3`  
`2q^3` `=p^3\ …\ (1)`  

 
`p^3\ \ text(is even) \ =>\ p\ text(is even)`

`text{(i.e.)}\ \ ∃ k,\ \ k in ZZ\ \ text(such that)\ \ p=2k`
 

`text{Substitute}\ \ q=2k\ \ text{into (1)}`

`2q^3` `=(2k)^3`  
`2q^3` `=8k^3`  
`q^3` `=4k^3`  

 

`q^3\ \ text(is even) \ =>\ q\ text(is even)`

`:. p and q\ \ text(have a common factor of 2)`

`=> \ text(Contradiction)`

`:.\ root3 2\ \ \ text(is irrational.)`

Proof, EXT2 P1 SM-Bank 3

Prove that  `1/sqrt2`  is irrational.   (3 marks)

Show Answers Only

`text{Proof (See Worked Solutions)}`

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ 1/sqrt2\ \ text(is rational.)`

`:. 1/sqrt2 = p/q\ \ \ text(where)\ \ p,q in ZZ\ \ text(with no common factor except 1)`

`1/2` `=p^2/q^2`  
`q^2` `=2p^2\ …\ (1)`  

 
`q^2\ \ text(is even) \ =>\ q\ text(is even)`

`text{(i.e.)}\ \ ∃ k,\ \ k in ZZ\ \ text(such that)\ \ q=2k`
 

`text{Substitute}\ \ q=2k\ \ text{into (1)}`

`(2k)^2` `=2p^2`  
`2k^2` `=p^2`  

 

`p^2\ \ text(is even) \ =>\ p\ text(is even)`

`:. p and q\ \ text(have a common factor of 2)`

`=> \ text(Contradiction)`

`:.\ 1/sqrt2\ \ \ text(is irrational.)`

Proof, EXT2 P1 SM-Bank 2

Prove that  `sqrt3`  is irrational.   (3 marks)

Show Answers Only

`text{Proof (See Worked Solutions)}`

 

Show Worked Solution

`text(Proof by contradiction:)`

`text(Assume that)\ \ sqrt3\ \ text(is rational.)`

`:. sqrt3 = p/q\ \ \ text(where)\ \ p,q in ZZ\ \ text(with no common factor except 1)`

`3` `=p^2/q^2`  
`3q^2` `=p^2\ …\ (1)`  

 
`text(If)\ \ q^2\ \ text(is even):`

COMMENT: `(2//q)`  can be used for “2 divides `q`”  or  `q`  is divisible by 2.

`=> q\ \ text(is even)\ \ (2//q)`

`=>p^2\ \ text(is even)\ \ =>\ p\ \ text(is even)\ \ (2//p)`

`p,q\ \ text(have a common factor of 2`

`text(Contradiction)\ =>\ sqrt3\ \ text(is irrational for)\ \ p, q\ \ text(even.)`
 

`text(If)\ \ q^2\ \ text(is odd):`

`=> 3q^2\ \ text(is odd)\ =>\ q\ \ text(is odd)`

`=>p^2\ \ text(is odd)\ \ =>\ p\ \ text(is odd)`

`text(Let)\ \ p=2x+1, \ \ q=2y+1,\ \ x,y inZZ`
 

`text{Substitute into (1)}`

`3(2y+1)^2` `=(2x+1)^2`  
`3(4y^2+4y+1)` `=4x^2+4x+1`  
`12y^2+12y+3` `=4x^2+4x`  
`6y^2+6y+1` `=2x^2+2x`  

 

`text(LHS) = 6(y^2+y)+1\ \ text(which is odd)`

`text(RHS) = 2(x^2+x)\ \ text(which is even)`

`text(Contradiction)\ =>\ sqrt3\ \ text(is irrational for)\ \ p, q\ \ text(odd.)`

`:.\ sqrt3\ \ \ text(is irrational.)`