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


Katherine H. A Level Further Mathematics  tutor, GCSE Further Mathema...
£30 /hr

Katherine H.

Degree: Mathematics (Masters) - Bath University

Subjects offered:Maths, Geography+ 1 more

Further Mathematics

“I am a first-year undergraduate for a masters degree in Mathematics at the University of Bath. I achieved full UMS marks in Mathematics (600/600), Further Mathematics (600/600), Geography and Psychology A Levels. I have tutored on num...”

£36 /hr

Joe B.

Degree: Mathematics G100 (Bachelors) - Bath University

Subjects offered:Maths, Further Mathematics + 3 more

Further Mathematics
-Personal Statements-

“Hi! I'm Joe, a friendly, experienced and patient tutor currently studying mathematics at the University of Bath. Click on my profile to find out more about me.”

£20 /hr

Tarryn R.

Degree: Mathematics (Bachelors) - Exeter University

Subjects offered:Maths, Further Mathematics + 2 more

Further Mathematics
Extended Project Qualification
English Literature

“Hi I'm Tarryn, I'm a Maths student with a wide knowledge in Maths and English Literature modules - I pride myself on being flexible, reliable and enthusiastic!”

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

Show that 2sin(2x)-3cos(2x)-3sin(x)+3=sin(x)(4cos(x)+6sin(x)-3)

The quadratic equation 2x^2 + 8x + 1 = 0 has roots x1 and x2. Write down the value of x1+x2 and x1*x2 and find the value of x1^2 + x2^2

What are stationary points and how do I find them?

What is the difference between a scalar and vector quantity?

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