Proving Constant Function f from Derivative: f'(a)

  • Thread starter Thread starter tvguide123
  • Start date Start date
  • Tags Tags
    Derivative Proof
Click For Summary

Homework Help Overview

The problem involves proving that a function \( f \) is constant based on the condition that \( |f(x) - f(y)| \leq |x - y|^n \) for \( n > 1 \). The discussion centers around the implications of the derivative \( f'(a) \) in this context.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the application of the derivative definition and the manipulation of the given inequality. There are attempts to evaluate limits and concerns about the placement of absolute value signs in the expressions.

Discussion Status

Some participants have provided guidance on how to approach the limit and the implications of the results. There is an ongoing exploration of the validity of the steps taken, particularly regarding the treatment of absolute values in the context of the derivative.

Contextual Notes

Participants are navigating the complexities of the derivative's definition and its implications under the given inequality. There is a focus on ensuring that the mathematical expressions are correctly formulated, particularly concerning absolute values.

tvguide123
Messages
9
Reaction score
0

Homework Statement


Suppose that |f(x) - f(y)| \leq |x - y|n
for n > 1

Prove that f is constant by considering f '


Homework Equations


Well
f'(a) = limit as x->a [f(x) - f(a)]/[x-a]


The Attempt at a Solution



I'm really not sure how the derivative of "f" is going to show that "f" is constant since I cannot actually calculate the derivative.

Any help or hints would be greatly appreciated, this ones got me stumped.

Thanks :)
 
Physics news on Phys.org
Divide both sides of the inequality by |x-y|, then take the limit as x -> y. Use your definition of the derivative on the LHS and evaluate the RHS in this limit. What does the result tell you?
 
Ok I tried doing that but I'm having trouble with the absolute value signs.
This is what I got but I'm not sure if the absolute value signs are in the right place for the LHS.

|f[x] - f[y] / x-y | is less than or equal to |x-y|^n-1

then i take limit as x->y for both sides.

Paying attention to the RHS. lim x->y |x-y|^n-1.
It seems like the limit of the RHS is approaching 0 which means that |f[x] - f[y] / x-y |is less than or equal to 0.

Hence f'(x) = 0 and thus f(x) is constant.

Would these steps be allowable and are my absolute value signs in the right place for the LHS.

Thanks for the quick reply Mute.
 
Correct! And your absolute signs are in the right place.
 
Hmm wait a minute.

f'(x) = limit as x->y [f(x) - f(y)]/[x-y]

is the formula for the derivative.

Does this formula still hold if [f(x) - f(y)]/[x-y] is in absolute value signs?
 
Last edited:
For any real-valued function g(x):

|g(x)| is always real-valued and positive so |g(x)| <= 0 then |g(x)| = 0

Also |g(x)| = 0 if and only if g(x) = 0

So if |f'(x)| = 0 then f'(x) = 0 so f(x) = C
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
26
Views
4K
  • · Replies 9 ·
Replies
9
Views
1K
Replies
20
Views
4K
Replies
2
Views
2K
Replies
2
Views
2K
Replies
22
Views
3K