How do I prove that an irrational number is indeed irrational?

[NOTE: An irreducible fraction (or fraction in lowest terms) is a fraction in which the numerator and denominator are integers that have no other common divisors than 1.]

Given that p is a prime, positive integer and not a square number, we know that √p is irrational. Let's prove this:

Proof: We shall use Proof by Contradiction;

Let's suppose towards a contradiction that √p is in fact rational.

This implies that there exists two non-negative integers, call them m and n, such that:

√p = m / n , where n is not zero and m/n is an irreducible fraction.

<=> p = m2 / n (Squared both sides)

<=> pn= m2....(#)  (Multiplied through equation by n2)

From eqn(#), it follows that, since p is prime, p | m(i.e. p divides m2which thus implies also that p | m. 

This means that there exists some natural number, call it k, such that:

pk = m....(##).

Now, sub eqn(##) into eqn(#), we thus obtain:

pn2 = p2k2

<=> n= pk2   (Divided through by p)

This last implies that p | n2, which further implies:

p | n.

BUT since p divides both m and n, this contradicts the fact that m and n were chosen to be irreducible, so our original assumption was incorrect.

It thus follows that p is in fact irrational, as required. 

Liam D. GCSE Maths tutor, A Level Maths tutor

2 years ago

Answered by Liam, an A Level Maths tutor with MyTutor

Still stuck? Get one-to-one help from a personally interviewed subject specialist


£24 /hr

Josh R.

Degree: Mathematics (Masters) - Warwick University

Subjects offered: Maths, Further Mathematics

Further Mathematics

“I study Maths at Warwick, I hope to be able to teach your child to love Maths and how to achieve top exam grades. ”

£24 /hr

Oliver R.

Degree: Economics and Mathematics (Bachelors) - Bristol University

Subjects offered: Maths, Further Mathematics

Further Mathematics

“About Me:I'm currently an undergraduate at the University of Bristol studying Economics & Mathematics (Joint Honours). I am one of those few who havea genuine love of studying Maths and hope that enthusiasm will help you in tutorials...”

£20 /hr

Isabel R.

Degree: Mathematics (Bachelors) - Manchester University

Subjects offered: Maths, Physics+ 1 more

Further Mathematics

“I am currently a first year studying Mathematics at the University of Manchester-so A Levels and GCSEs are still fresh in my mind when it comes to remembering how I learnt the material myself. In school I mentored GCSE students in Mat...”

MyTutor guarantee

About the author

Liam D.

Currently unavailable: no new students

Degree: Mathematics (Masters) - Queen's, Belfast University

Subjects offered: Maths


“Second year Mathematics Msc undergraduate. Looking to tutor both GCSE and A-Level Mathematics”

MyTutor guarantee

You may also like...

Posts by Liam

How do I expand brackets by multiplication?

How do I prove that an irrational number is indeed irrational?

How do I rationalise the denominator of a fraction which consists of surds?

Other A Level Maths questions

differentiate y = (4-x)^2

Express X/((X+1)(X+2)) in partial fractions. OCR C4 style question

Find the solution(s) of 3(x^2)-6x+2=0

Find the values of x that satisfy the following inequality 3x – 7 > 3 – x

View A Level Maths tutors


We use cookies to improve our service. By continuing to use this website, we'll assume that you're OK with this. Dismiss