Ask your own question, for FREE!
Mathematics 13 Online
OpenStudy (anonymous):

Anyone available to help with a proof?

OpenStudy (anonymous):

hoblos?

OpenStudy (hoblos):

prove what ?

OpenStudy (anonymous):

b) Use a) and the quotient remainder theorem and case reasoning to prove that the square root of 7 is irrational.

OpenStudy (hoblos):

what is a

OpenStudy (anonymous):

one moment

OpenStudy (anonymous):

A previous proof we had to do here it is:

OpenStudy (anonymous):

http://minus.com/mbdyHP1cpI#

OpenStudy (anonymous):

You here hoblos?

OpenStudy (anonymous):

OpenStudy (hoblos):

If √7 is rational, then it can be expressed by some number a/b (in lowest terms). This would mean: (a/b)² = 7. Squaring, a² / b² = 7. Multiplying by b², a² = 7b². If a and b are in lowest terms (as supposed), their squares would each have an even number of prime factors. 7b² has one more prime factor than b², meaning it would have an odd number of prime factors. Every composite has a unique prime factorization and can't have both an even and odd number of prime factors. This contradiction forces the supposition wrong, so √7 cannot be rational. It is therefore irrational.

OpenStudy (anonymous):

@joe, yea it isnt being proved by contradiction here though

OpenStudy (anonymous):

@Joe, I actually previous;u proved it by contradiction: http://minus.com/mbdI3DAuzr#

OpenStudy (anonymous):

Use the quotient remainder theorem and case reasoning to prove that the square root of 7 is irrational.

OpenStudy (anonymous):

Thats what I gotta do this time

OpenStudy (anonymous):

bonus question: where in each proof is the method of infinite descent hidden?

OpenStudy (anonymous):

Can any of you see how it would be done using the quotient remainder theorem and case reasoning?

OpenStudy (anonymous):

what is the quotient remainder theorem? does this involve polynomials? Because there is a short proof using the fact that sqrt 7 is a solution to the equation:\[x^2-7=0\]and by the rational roots theorem, the only possible rational roots are \[\pm 1, \pm 7\]So because none of those are roots, sqrt 7 must be irrational.

OpenStudy (anonymous):

http://minus.com/mJX27ETKd#

OpenStudy (anonymous):

oh the division algorithm. that leads to the same proof you posted above though.

OpenStudy (anonymous):

How so?

OpenStudy (anonymous):

every time you say something like \[7\mid a^2\Longrightarrow 7\mid a\]you are using the division algorithm, with r = 0. I dont see how you could create a new direct proof using the division algorithm.

OpenStudy (anonymous):

So is the proof I posted that I did previously the only way to do it?

OpenStudy (anonymous):

What about the case reasoning

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!