Warning: foreach() argument must be of type array|object, bool given in /var/www/html/web/app/themes/studypress-core-theme/template-parts/header/mobile-offcanvas.php on line 20

Prove that if x is irrational, then 1/x is irrational.

Short Answer

Expert verified

“If\(x\)is irrational then \(\frac{1}{x}\) is irrational”

Step by step solution

01

Introduction

Consider the statement,

“If \(x\)is irrational then \(\frac{1}{x}\) is irrational”

The purpose is to show this statement using contraposition proof.

02

Statements for contraposition proof

Proof by contraposition:

Contraposition is \( - q \to - p\)when the statement is\(p \to q\).

In the above statement,

\(p\): \(x\) is an irrational

\( - p\):\(x\) is a rational

\(q\):\(\frac{1}{x}\)is irrational

\( - q\): \(\frac{1}{x}\)is rational

03

Proof by contraposition

Contraposition statement\(\left( { - q \to - p} \right)\): If \(\frac{1}{x}\)is rational then\(x\)is rational.

Proof:

Suppose that\(\frac{1}{x}\) is rational.

That is, \(\frac{1}{x} = \frac{p}{q}\), for some integers \(p\)and \(q\)with \(q \ne 0\).

Clearly \(\frac{1}{x}\)cannot be 0 (if it was, then there is contradiction \(1 = x.0\)by multiplying both sides by x).

Since,\(\frac{1}{x} \ne 0\)the integer\(p \ne 0\).

04

Considering \(x\)for final proof

Consider

\(x = \frac{1}{{\frac{1}{x}}}\)

\(\begin{aligned}{l} = \frac{1}{{\frac{p}{q}}}\\ = \frac{q}{p}\end{aligned}\)

Therefore,\(x = \frac{q}{p}\)can be written as the quotient of two integers with the denominator\(p \ne 0\)non-zero.

Hence, the number x is rational.

Therefore, the statement\(\left( { - q \to - p} \right)\): If \(\frac{1}{x}\)is rational then\(x\)is rational is true.

Thus, by the contraposition, the statement \(p \to q\)is true.

That is, “If \(x\) is irrational then\(\frac{1}{x}\)is irrational”

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with Vaia!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Show that(pq)r and(pr)(qr)are not logicallyequivalent

A says “We are both knaves” and B says nothing. Exercises 24–31 relate to inhabitants of an island on which there are three kinds of people: knights who always tell the truth, knaves who always lie, and spies (called normals by Sullying [Sm78]) who can either lie or tell the truth. You encounter three people, A, B, and C. You know one of these people is a knight, one is a knave, and one is a spy. Each of the three people knows the type of person each of other two is. For each of these situations, if possible, determine whether there is a unique solution and determine who the knave, knight, and spy are. When there is no unique solution, list all possible solutions or state that there are no solutions

A says “I am the knight,” B says “I am the knight,” and C says “I am the knight.”

An explorer is captured by a group of cannibals. There aretwo types of cannibals-those who always tell the truthand those who always lie. The cannibals will barbecuethe explorer unless he can determine whether a particular cannibal always lies or always tells the truth. He isallowed to ask the cannibal exactly one question.
a) Explain why the question "Are you a liar?" does notwork.
b) Find a question that the explorer can use to determinewhether the cannibal always lies or always tells thetruth.

Let P(x,y)be the statement “Student xhas taken class y,” where the domain for both xconsists of all students in your class and for yconsists of all computer science courses at your school. Express each of these quantifications in English.

(a) xyP(x,y) (b) xyP(x,y)

(c) xyP(x,y) (d) yxP(x,y)

(e) yxP(x,y) (f) xyP(x,y)

Suppose that Prolog facts are used to define the predicates mother(M,Y)and father(F,X)which represent that Mis the mother of Yand Fis the father of X, respectively. Give a Prolog rule to define the predicate grandfather (X,Y),which represents that Xis the grandfather of Y. [Hint: You can write a disjunction in Prolog either by using a semicolon to separate predicates or by putting these predicates on separate lines.]

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free