Let f: [0, ∞0)→ [0, ∞) be the square-root function, that is, f(x)=√x for every nonnegative real number . Evaluate the following proposed proof that f is not differentiable at 0. 1. Seeking a contradiction, suppose that f'(0) does exist. 2. Let g: [0, ∞0)→ [0, ∞o) be the function defined by g(x) = f(x) f(x) for every nonnegative real number . 3. By the product rule, g/ (0) exists and equals 2 f(0) ƒ' (0), that is, g (0) = 0. 4. Step (2) implies that g(x) = x for every nonnegative real number *, so g(x) = 1 for every , and in particular g/ (0) = 1. 5. The conclusions of steps (3) and (4) are incompatible, and the contradiction means that f'(0) cannot exist after all. Which of the following statements best describes this proposed proof? Step 2 is faulty. The proof is valid. Step 3 is faulty. Step 4 is faulty. Step 1 is faulty. Step 5 is faulty.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question
Let f: [0, ∞0)→ [0, ∞) be the square-root function, that is, f(x)=√x
for every nonnegative real number . Evaluate the following proposed proof
that f is not differentiable at 0.
1. Seeking a contradiction, suppose that f'(0) does exist.
2. Let g: [0, ∞) → [0, ∞0) be the function defined by
g(x) = f(x) f(x) for every nonnegative real number .
3. By the product rule, g/(0) exists and equals 2 f(0) f'(0), that is,
g (0) = 0.
4. Step (2) implies that g(x) = x for every nonnegative real number,
so g(x) = 1 for every , and in particular g/ (0) = 1.
5. The conclusions of steps (3) and (4) are incompatible, and the
contradiction means that f'(0) cannot exist after all.
Which of the following statements best describes this proposed proof?
Step 2 is faulty.
The proof is valid.
Step 3 is faulty.
Step 4 is faulty.
Step 1 is faulty.
Step 5 is faulty.
Transcribed Image Text:Let f: [0, ∞0)→ [0, ∞) be the square-root function, that is, f(x)=√x for every nonnegative real number . Evaluate the following proposed proof that f is not differentiable at 0. 1. Seeking a contradiction, suppose that f'(0) does exist. 2. Let g: [0, ∞) → [0, ∞0) be the function defined by g(x) = f(x) f(x) for every nonnegative real number . 3. By the product rule, g/(0) exists and equals 2 f(0) f'(0), that is, g (0) = 0. 4. Step (2) implies that g(x) = x for every nonnegative real number, so g(x) = 1 for every , and in particular g/ (0) = 1. 5. The conclusions of steps (3) and (4) are incompatible, and the contradiction means that f'(0) cannot exist after all. Which of the following statements best describes this proposed proof? Step 2 is faulty. The proof is valid. Step 3 is faulty. Step 4 is faulty. Step 1 is faulty. Step 5 is faulty.
Expert Solution
steps

Step by step

Solved in 3 steps

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,