Constant e: The Unique Intersection of Exponential and Linear Functions

  • Context: Undergrad 
  • Thread starter Thread starter Jhenrique
  • Start date Start date
  • Tags Tags
    Constant
Click For Summary

Discussion Overview

The discussion revolves around the unique intersection of the exponential function \( k^x \) and the linear function \( x \cdot k \), specifically exploring the conditions under which this intersection occurs and its implications, particularly relating to the constant \( e \). The scope includes mathematical reasoning and proofs related to the behavior of these functions.

Discussion Character

  • Mathematical reasoning
  • Technical explanation
  • Exploratory

Main Points Raised

  • One participant suggests finding a number \( k \) such that there is only one intersection between the curve \( k^x \) and the line \( x \cdot k \), proposing that this number is the constant \( e \).
  • Another participant seeks clarification on the expression involving \( e \), questioning whether it refers to \( x^{ke} \) or \( x^k \cdot e \).
  • A correction is made regarding the initial statement to clarify the functions being discussed.
  • One participant expresses interest in a proof of the claim about the intersection.
  • A participant notes that there is also only one intersection for \( 0 < k \leq 1 \) and provides a detailed proof for the case when \( k > 1 \), analyzing the behavior of the function \( f(x) = k^x - kx \) and its derivatives.
  • The proof outlines the conditions under which the function \( f(x) \) has a minimum at \( x = 1 \) and concludes that \( k = e \) is necessary for the unique intersection.

Areas of Agreement / Disagreement

Participants generally agree on the existence of a unique intersection under certain conditions, but there is no consensus on the implications or the clarity of the initial expressions involving \( e \). The discussion includes both agreement on the mathematical behavior and some uncertainty regarding the notation used.

Contextual Notes

The discussion includes assumptions about the behavior of the functions as \( x \) approaches infinity and negative infinity, as well as the conditions under which the intersections occur, which may depend on the specific values of \( k \).

Jhenrique
Messages
676
Reaction score
4
Find a number "k" such that exist only one intersection between the curve exponential k^x e and the straight x·k. This number is the constant e!

Have you noticed this? This relationship must have many important implications and indirect that we already know...
 
Physics news on Phys.org
The [itex]e[/itex] after [itex]x^k[/itex] is unclear. Is it [itex]x^{ke}[/itex] or [itex]x^k \cdot e[/itex]?
 
Correction:

"between the curve exponential k^x and the straight x·k"

I press "e" not wanting... sorry!
 
Interesting. Do you know the proof? If you don't then I can post it if you are interested.
 
I don't know, I just observed... Yes, I'm interesting!
 
Actually, there is also only one intersection for [itex]0 < k \leq 1[/itex]. Anyway, here's the proof:

Let [itex]k > 0[/itex]. For [itex]0 < k \leq 1[/itex], we have [itex]k^x[/itex] constant or decreasing while [itex]kx[/itex] is increasing. Hence it is easy to show that there is only one intersection, in fact at [itex]x = 1[/itex].

Now assume [itex]k > 1[/itex] and let [itex]f(x) = k^x - kx[/itex] so that [itex]f(x) = 0[/itex] whenever [itex]k^x = kx[/itex]. Now we can notice a few things.

Firstly, as [itex]x \to -\infty[/itex], we have [itex]k^x \to 0[/itex] and [itex]kx \to -\infty[/itex], and so [itex]f(x) \to \infty[/itex].

Secondly, as [itex]x \to \infty[/itex], we have [itex]\frac{k^x}{kx} \to \infty[/itex] since [itex]k > 1[/itex] and so [itex]f(x) \to \infty[/itex].

Lastly, we can see that [itex]f(1) = k^1 - 1 \cdot k = 0[/itex] for any [itex]k[/itex].

Considering the limits shown above, if [itex]f(x) < 0[/itex] for some [itex]x[/itex], then there must be at least two zeros of [itex]f[/itex] by the intermediate value theorem. Thus, if there is only one intersection, we must have [itex]f(x) \geq 0[/itex] for all [itex]x[/itex]. So [itex]f[/itex] is a minimum at its only zero (which must be [itex]1[/itex] by our last observation above). Since [itex]f[/itex] differentiable, this means we must have [itex]f'(1) = 0[/itex]. Since [itex]f'(x) = \log(k)k^x - k[/itex] so the criteria [itex]f'(1) = 0[/itex] implies [itex]\log(k)k - k = 0[/itex]. But [itex]k > 0[/itex] and so [itex]\log(k) = 1 \implies k = e[/itex] which you observed.
 
  • Like
Likes   Reactions: DaTario

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K