In the field of cryptography, certain protocols rely on the property that specific constants are not rational. Let S S\,S be a constant defined by the equation S2−13=0S^2 - 13 = 0S2−13=0. Given that S>0S > 0S>0, prove by contradiction that S S\,S is an irrational number.
(You may assume that if n2 n^2\,n2 is a multiple of 13, then n n\,n is also a multiple of 13 for any integer nnn.)
Practise Edexcel A Level Maths 1.1 Proof by Contradiction with exam-style questions for A Level Maths. 100 questions, matched to the Edexcel A Level Maths (9MA0) specification and written in Paper 1, Paper 2 and Paper 3 style. Every question includes a full worked solution and mark scheme, so you can see where marks are awarded rather than just whether you got the answer right.