The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Prove that 7 + 17*sqrt(17) is Irrational

Date: 09/22/2002 at 20:57:53
From: mark hailey
Subject: Proving 7+17sq.root of 17 is irrational

I need to prove 7 + 17*sq.root of 17 is irrational. I know to set it 
equal to a/b, and we also have already proven that any square root of 
a prime number is irrational.

Date: 09/22/2002 at 22:03:59
From: Doctor Paul
Subject: Re: Proving 7+17sq.root of 17 is irrational

If you are given the fact that sqrt(17) is irrational (since 17 is 
prime), then we can easily prove that 7 + 17*sqrt(17) is also 

Proof by contradition:

Suppose that 7 + 17*sqrt(17) is rational.  Then write:

   7 + 17*sqrt(17) = p/q, 

   where p and q are integers and gcd(p,q) = 1.


   17*sqrt(17) = p/q - 7 

               = (p-7*q)/q


      sqrt(17) = (p-7*q)/(17*q), 

      which is rational.

But we already know that sqrt(17) is irrational. So we have a 
contradiction. It must then be the case that our assumption is false, 
and we conclude that 7 + 17*sqrt(17) is irrational. This was to be 

A similar method will show that a + b*sqrt(p) is always irrational 
when p is a prime and a and b are integers (or even rational, for that 

I hope this helps. Please write back if you'd like to talk about 
this some more.

- Doctor Paul, The Math Forum 
Associated Topics:
High School Number Theory

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.