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


£20 /hr

Kamil F.

Degree: Mechanical Engineering (Masters) - Manchester University

Subjects offered:Maths, Physics+ 2 more

Further Mathematics

“"It is the supreme art of the teacher to awaken joy in creative expression and knowledge." Albert Einstein”

MyTutor guarantee

£20 /hr

Rhys T.

Degree: Medicine (Other) - Cambridge University

Subjects offered:Maths, Science+ 6 more

.BMAT (BioMedical Admissions)
-Medical School Preparation-

“Cambridge Medical student tutoring Maths and Science, I am young and enthusiast for my subjects.”

MyTutor guarantee

£30 /hr

Tadas T.

Degree: MMathPhil Mathematics and Philosophy (Bachelors) - Oxford, St Anne's College University

Subjects offered:Maths, Further Mathematics + 3 more

Further Mathematics
-Personal Statements-
-Oxbridge Preparation-

“University of Oxford Maths and Philosophy student happy to help students learn and stay motivated!”

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

Find the integral between 4 and 1 of x^(3/2)-1 with respect to x

What are the set of values for x that satisfy the below equation?

Find the integral of 3x^2 + 4x + 9 with respect to x.

Find the vertex coordinates of parabola y = 2x^2 - 4x + 1

View A Level Maths tutors

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