How do I evaluate this function for x=2015Integers and integer functionsHow to determine if this function is one-to-oneFor which constants $a$ function is continuousIs it true that this function $f(n)=n^13$?A polynomial problem related to $P(x) = 5x^2015 + x^2 + x + 1$If $P(n)$ divides $P(P(n)-2015)$, prove that $P(-2015)=0$Unkown polynomial functionfind all continuous functions $f : [0,1] to mathbb Q$ such that $f(frac12)=frac20152016$Sums of $f(f(x))=1-x$$f(1)=1$, $f(x+5) ge f(x) + 5$, $f(x+1) le f(x) + 1$, and $g(x) = f(x) + 1 - x$. Which of the folowing statement are true?
Are there any intersection of Theory A and Theory B?
Was adding milk to tea started to reduce employee tea break time?
Why do players in the past play much longer tournaments than today's top players?
How did the hit man miss?
What's the point of this scene involving Flash Thompson at the airport?
Can I play a first turn Simic Growth Chamber to have 3 mana available in the second turn?
Extract an attribute value from XML
Was the Ford Model T black because of the speed black paint dries?
Why isn't there research to build a standard lunar, or Martian mobility platform?
I quit, and boss offered me 3 month "grace period" where I could still come back
Keep milk (or milk alternative) for a day without a fridge
Why would guns not work in the dungeon?
Can I use "candidate" as a verb?
Robbers: The Hidden OEIS Substring
Are neural networks prone to catastrophic forgetting?
During copyediting, journal disagrees about spelling of paper's main topic
How to check the quality of an audio sample?
Is it possible for thermophilic viruses to infect humans?
What are the steps/action plan to introduce Test Automation in a company?
Do native speakers use ZVE or CPU?
Is a Lisp program in both prog-mode and lisp-mode?
Would letting a multiclass character rebuild their character to be single-classed be game-breaking?
<schwitz>, <zwinker> etc. Does German always use 2nd Person Singular Imperative verbs for emoticons? If so, why?
Why are Hobbits so fond of mushrooms?
How do I evaluate this function for x=2015
Integers and integer functionsHow to determine if this function is one-to-oneFor which constants $a$ function is continuousIs it true that this function $f(n)=n^13$?A polynomial problem related to $P(x) = 5x^2015 + x^2 + x + 1$If $P(n)$ divides $P(P(n)-2015)$, prove that $P(-2015)=0$Unkown polynomial functionfind all continuous functions $f : [0,1] to mathbb Q$ such that $f(frac12)=frac20152016$Sums of $f(f(x))=1-x$$f(1)=1$, $f(x+5) ge f(x) + 5$, $f(x+1) le f(x) + 1$, and $g(x) = f(x) + 1 - x$. Which of the folowing statement are true?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
Let $f$ be a continuous function defined over the real numbers. Given that
$f(2017)=2016$ and
$$f(x)cdot (f(f(x))=1$$ for all real $x$.
Find $f(2015)$.
functions
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
|
show 1 more comment
$begingroup$
Let $f$ be a continuous function defined over the real numbers. Given that
$f(2017)=2016$ and
$$f(x)cdot (f(f(x))=1$$ for all real $x$.
Find $f(2015)$.
functions
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
1
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago
|
show 1 more comment
$begingroup$
Let $f$ be a continuous function defined over the real numbers. Given that
$f(2017)=2016$ and
$$f(x)cdot (f(f(x))=1$$ for all real $x$.
Find $f(2015)$.
functions
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
Let $f$ be a continuous function defined over the real numbers. Given that
$f(2017)=2016$ and
$$f(x)cdot (f(f(x))=1$$ for all real $x$.
Find $f(2015)$.
functions
functions
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 8 hours ago
Aqua
55.8k14 gold badges68 silver badges136 bronze badges
55.8k14 gold badges68 silver badges136 bronze badges
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 8 hours ago
NeedHelpNeedHelp
365 bronze badges
365 bronze badges
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
NeedHelp is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
1
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago
|
show 1 more comment
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
1
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
1
1
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
1
1
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago
|
show 1 more comment
3 Answers
3
active
oldest
votes
$begingroup$
We have $1 = f(2017)cdot f(f(2017)) = 2016cdot f(2016)$, so $f(2016) = 1/2016$.
Since $f$ is continuous and $f(2016) = 1/2016 < 2015 < 2016 = f(2017)$, the intermediate value theorem tells us there is some $x$ between $2016$ and $2017$ such that $f(x) = 2015$.
Now we know $1 = f(x)cdot f(f(x)) = 2015cdot f(2015)$, so $f(2015) = 1/2015$.
$endgroup$
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
add a comment |
$begingroup$
Let $R$ be the range of $f$. Since $f$ is continuous, this is an interval.
$y = f(x) in R$, your equation says $y f(y) = 1$, i.e. $f(y) = 1/y$. Thus $R$ must be an interval which is mapped into itself by the function $t to 1/t$. We know $2016 in R$,
so $1/2016 in R$, and since it's an interval $2015 in R$. Thus $f(2015) = 1/2015$.
$endgroup$
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
add a comment |
$begingroup$
fleablood tried to prove that such a function can't exist, but that's not true. The following function fullfills all conditions of the problem:
$$
f(x)=
begincases
2016 & text for x < frac12016,\
frac1x & text for frac12016 le x le 2016,\
left(2016-frac12016right)(x-2016)+frac12016 & text for 2016 < x le 2017,\
2016 & text for 2017 < x,\
endcases
$$
Each 'leg' of $f$ is continuous and since the legs have the same value/limit at the common 'joints', the whole of $f$ is continuous. The most complicated looking leg is the third, but it's just a linear function from point $(2016,frac12106)$ to point $(2017,2016)$.
The range of the first and fourth leg is just the value $2016$, the range of the second leg is the closed interval $[frac12016,2016]$, the range of the third leg is the half open interval $(frac12016,2016]$.
Taking this alltogether, we get that the range of $f$ is $[frac12016,2016]$.
That means $forall x in mathbb R: f(x) in [frac12016,2016]$, so by the definition of the second leg we have
$$forall x in mathbb R: f(f(x)) = frac1f(x),$$
from which the functional equation of the problem follows.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
NeedHelp is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3290981%2fhow-do-i-evaluate-this-function-for-x-2015%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
We have $1 = f(2017)cdot f(f(2017)) = 2016cdot f(2016)$, so $f(2016) = 1/2016$.
Since $f$ is continuous and $f(2016) = 1/2016 < 2015 < 2016 = f(2017)$, the intermediate value theorem tells us there is some $x$ between $2016$ and $2017$ such that $f(x) = 2015$.
Now we know $1 = f(x)cdot f(f(x)) = 2015cdot f(2015)$, so $f(2015) = 1/2015$.
$endgroup$
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
add a comment |
$begingroup$
We have $1 = f(2017)cdot f(f(2017)) = 2016cdot f(2016)$, so $f(2016) = 1/2016$.
Since $f$ is continuous and $f(2016) = 1/2016 < 2015 < 2016 = f(2017)$, the intermediate value theorem tells us there is some $x$ between $2016$ and $2017$ such that $f(x) = 2015$.
Now we know $1 = f(x)cdot f(f(x)) = 2015cdot f(2015)$, so $f(2015) = 1/2015$.
$endgroup$
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
add a comment |
$begingroup$
We have $1 = f(2017)cdot f(f(2017)) = 2016cdot f(2016)$, so $f(2016) = 1/2016$.
Since $f$ is continuous and $f(2016) = 1/2016 < 2015 < 2016 = f(2017)$, the intermediate value theorem tells us there is some $x$ between $2016$ and $2017$ such that $f(x) = 2015$.
Now we know $1 = f(x)cdot f(f(x)) = 2015cdot f(2015)$, so $f(2015) = 1/2015$.
$endgroup$
We have $1 = f(2017)cdot f(f(2017)) = 2016cdot f(2016)$, so $f(2016) = 1/2016$.
Since $f$ is continuous and $f(2016) = 1/2016 < 2015 < 2016 = f(2017)$, the intermediate value theorem tells us there is some $x$ between $2016$ and $2017$ such that $f(x) = 2015$.
Now we know $1 = f(x)cdot f(f(x)) = 2015cdot f(2015)$, so $f(2015) = 1/2015$.
edited 8 hours ago
answered 8 hours ago
MagmaMagma
7121 silver badge8 bronze badges
7121 silver badge8 bronze badges
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
add a comment |
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
2015 lies between 1/2016 and 2017
$endgroup$
– Satish Ramanathan
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
$begingroup$
Yeah got that sorry : )
$endgroup$
– Ak19
8 hours ago
add a comment |
$begingroup$
Let $R$ be the range of $f$. Since $f$ is continuous, this is an interval.
$y = f(x) in R$, your equation says $y f(y) = 1$, i.e. $f(y) = 1/y$. Thus $R$ must be an interval which is mapped into itself by the function $t to 1/t$. We know $2016 in R$,
so $1/2016 in R$, and since it's an interval $2015 in R$. Thus $f(2015) = 1/2015$.
$endgroup$
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
add a comment |
$begingroup$
Let $R$ be the range of $f$. Since $f$ is continuous, this is an interval.
$y = f(x) in R$, your equation says $y f(y) = 1$, i.e. $f(y) = 1/y$. Thus $R$ must be an interval which is mapped into itself by the function $t to 1/t$. We know $2016 in R$,
so $1/2016 in R$, and since it's an interval $2015 in R$. Thus $f(2015) = 1/2015$.
$endgroup$
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
add a comment |
$begingroup$
Let $R$ be the range of $f$. Since $f$ is continuous, this is an interval.
$y = f(x) in R$, your equation says $y f(y) = 1$, i.e. $f(y) = 1/y$. Thus $R$ must be an interval which is mapped into itself by the function $t to 1/t$. We know $2016 in R$,
so $1/2016 in R$, and since it's an interval $2015 in R$. Thus $f(2015) = 1/2015$.
$endgroup$
Let $R$ be the range of $f$. Since $f$ is continuous, this is an interval.
$y = f(x) in R$, your equation says $y f(y) = 1$, i.e. $f(y) = 1/y$. Thus $R$ must be an interval which is mapped into itself by the function $t to 1/t$. We know $2016 in R$,
so $1/2016 in R$, and since it's an interval $2015 in R$. Thus $f(2015) = 1/2015$.
answered 8 hours ago
Robert IsraelRobert Israel
342k23 gold badges234 silver badges495 bronze badges
342k23 gold badges234 silver badges495 bronze badges
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
add a comment |
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
1
1
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
$begingroup$
Can we deduce what is $f$?
$endgroup$
– Aqua
8 hours ago
1
1
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
$begingroup$
For $x$ outside of $R$, $f(x)$ can be anything that stays within $R$ and varies continuously with $x$.
$endgroup$
– Magma
7 hours ago
add a comment |
$begingroup$
fleablood tried to prove that such a function can't exist, but that's not true. The following function fullfills all conditions of the problem:
$$
f(x)=
begincases
2016 & text for x < frac12016,\
frac1x & text for frac12016 le x le 2016,\
left(2016-frac12016right)(x-2016)+frac12016 & text for 2016 < x le 2017,\
2016 & text for 2017 < x,\
endcases
$$
Each 'leg' of $f$ is continuous and since the legs have the same value/limit at the common 'joints', the whole of $f$ is continuous. The most complicated looking leg is the third, but it's just a linear function from point $(2016,frac12106)$ to point $(2017,2016)$.
The range of the first and fourth leg is just the value $2016$, the range of the second leg is the closed interval $[frac12016,2016]$, the range of the third leg is the half open interval $(frac12016,2016]$.
Taking this alltogether, we get that the range of $f$ is $[frac12016,2016]$.
That means $forall x in mathbb R: f(x) in [frac12016,2016]$, so by the definition of the second leg we have
$$forall x in mathbb R: f(f(x)) = frac1f(x),$$
from which the functional equation of the problem follows.
$endgroup$
add a comment |
$begingroup$
fleablood tried to prove that such a function can't exist, but that's not true. The following function fullfills all conditions of the problem:
$$
f(x)=
begincases
2016 & text for x < frac12016,\
frac1x & text for frac12016 le x le 2016,\
left(2016-frac12016right)(x-2016)+frac12016 & text for 2016 < x le 2017,\
2016 & text for 2017 < x,\
endcases
$$
Each 'leg' of $f$ is continuous and since the legs have the same value/limit at the common 'joints', the whole of $f$ is continuous. The most complicated looking leg is the third, but it's just a linear function from point $(2016,frac12106)$ to point $(2017,2016)$.
The range of the first and fourth leg is just the value $2016$, the range of the second leg is the closed interval $[frac12016,2016]$, the range of the third leg is the half open interval $(frac12016,2016]$.
Taking this alltogether, we get that the range of $f$ is $[frac12016,2016]$.
That means $forall x in mathbb R: f(x) in [frac12016,2016]$, so by the definition of the second leg we have
$$forall x in mathbb R: f(f(x)) = frac1f(x),$$
from which the functional equation of the problem follows.
$endgroup$
add a comment |
$begingroup$
fleablood tried to prove that such a function can't exist, but that's not true. The following function fullfills all conditions of the problem:
$$
f(x)=
begincases
2016 & text for x < frac12016,\
frac1x & text for frac12016 le x le 2016,\
left(2016-frac12016right)(x-2016)+frac12016 & text for 2016 < x le 2017,\
2016 & text for 2017 < x,\
endcases
$$
Each 'leg' of $f$ is continuous and since the legs have the same value/limit at the common 'joints', the whole of $f$ is continuous. The most complicated looking leg is the third, but it's just a linear function from point $(2016,frac12106)$ to point $(2017,2016)$.
The range of the first and fourth leg is just the value $2016$, the range of the second leg is the closed interval $[frac12016,2016]$, the range of the third leg is the half open interval $(frac12016,2016]$.
Taking this alltogether, we get that the range of $f$ is $[frac12016,2016]$.
That means $forall x in mathbb R: f(x) in [frac12016,2016]$, so by the definition of the second leg we have
$$forall x in mathbb R: f(f(x)) = frac1f(x),$$
from which the functional equation of the problem follows.
$endgroup$
fleablood tried to prove that such a function can't exist, but that's not true. The following function fullfills all conditions of the problem:
$$
f(x)=
begincases
2016 & text for x < frac12016,\
frac1x & text for frac12016 le x le 2016,\
left(2016-frac12016right)(x-2016)+frac12016 & text for 2016 < x le 2017,\
2016 & text for 2017 < x,\
endcases
$$
Each 'leg' of $f$ is continuous and since the legs have the same value/limit at the common 'joints', the whole of $f$ is continuous. The most complicated looking leg is the third, but it's just a linear function from point $(2016,frac12106)$ to point $(2017,2016)$.
The range of the first and fourth leg is just the value $2016$, the range of the second leg is the closed interval $[frac12016,2016]$, the range of the third leg is the half open interval $(frac12016,2016]$.
Taking this alltogether, we get that the range of $f$ is $[frac12016,2016]$.
That means $forall x in mathbb R: f(x) in [frac12016,2016]$, so by the definition of the second leg we have
$$forall x in mathbb R: f(f(x)) = frac1f(x),$$
from which the functional equation of the problem follows.
answered 6 hours ago
IngixIngix
7,2752 gold badges5 silver badges10 bronze badges
7,2752 gold badges5 silver badges10 bronze badges
add a comment |
add a comment |
NeedHelp is a new contributor. Be nice, and check out our Code of Conduct.
NeedHelp is a new contributor. Be nice, and check out our Code of Conduct.
NeedHelp is a new contributor. Be nice, and check out our Code of Conduct.
NeedHelp is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3290981%2fhow-do-i-evaluate-this-function-for-x-2015%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
I've changed the question to include it. Thanks!
$endgroup$
– NeedHelp
8 hours ago
$begingroup$
So this function jumps from $1/2016$ to $2016$ and it is contiuous!?
$endgroup$
– Aqua
8 hours ago
1
$begingroup$
Jumping from $frac 12016$ to $2016$ isn't weird. Afterall $f(x) = mx + b$ where $2016m + b = frac 12016$ and $2017m + b = 2016$ will do it. What is weird is that $f(x) = frac 1x$ for all $x: 1 le x le 2016$. The question is how does $f(x)$ behave on the interval $[2016, 2016 + epsilon)$. I have a feeling that this actually impossible
$endgroup$
– fleablood
7 hours ago
$begingroup$
I'd actually be really interested if finding the function itself is possible
$endgroup$
– NeedHelp
7 hours ago
1
$begingroup$
I'm pretty sure such a function is impossible. The must be a supremum $k: 2016le k < 2017$ where $f(x) = frac 1x$ but we can make the argument for all $x: k < x < 2017$ as well so $k ge 2017$ which is not possible a
$endgroup$
– fleablood
7 hours ago