In a cryptographic protocol, the number of decryption cycles, DDD, required for a security parameter s∈Ns \in \mathbb{N}s∈N is given by D=s2+4s+7D = s^2 + 4s + 7D=s2+4s+7.
Use algebra to prove by contradiction that if D D\,D is even, then s s\,s must be odd.
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.