The Dance of the Staircase
Unraveling Discontinuity
Welcome, fellow explorer of the mathematical universe. Today, we are not just solving a problem; we are dissecting the anatomy of a function.
We are looking at f(x)=xcos(π(x+[x])). At first glance, it looks like a standard trigonometric expression, but that [x]—the Greatest Integer Function—is a wolf in sheep's clothing.
It is the architect of chaos, the creator of jumps, and the reason we are here today.
Phase 1
The Algebraic Deconstruction
Before we dive into the calculus, we must simplify our terrain. The expression f(x)=xcos(π(x+[x])) is intimidating because of the nested argument.
Let us use the distributive property to expand the argument inside the cosine: π(x+[x])=πx+π[x]. Now, our function looks like this:
This is where we pull a classic tool from our trigonometric toolkit: the addition formula, cos(A+B)=cosAcosB−sinAsinB. Let A=πx and B=π[x].
Our function transforms into:
f(x)=x[cos(πx)cos(π[x])−sin(πx)sin(π[x])]
Here is the moment of elegance. We know that [x] is always an integer. Let's call this integer k.
What happens to sin(πk)? It is always zero! And what about cos(πk)? It oscillates between 1 and −1, which we can write succinctly as (−1)k.
Thus, our function collapses into a much cleaner form:
Phase 2
The Anatomy of the Jump
Now that we have a simplified function, we must ask: where can this function break? The term x is continuous, and the term cos(πx) is continuous.
The only source of discontinuity is the Greatest Integer Function, [x]. We know that [x] jumps at every integer.
Therefore, we must test the continuity at an arbitrary integer n. To be continuous at x=n, the Left Hand Limit (LHL) must equal the Right Hand Limit (RHL), and both must equal the function value f(n).
Phase 3
The Limit Analysis
First, the Left Hand Limit. As x→n−, the value of x is slightly less than n. Consequently, the greatest integer [x] is n−1.
Substituting this into our simplified function:
LHL=x→n−limxcos(πx)(−1)n−1
As x approaches n, cos(πx) becomes cos(nπ), which is (−1)n. So, our LHL becomes:
LHL=n⋅(−1)n⋅(−1)n−1=n⋅(−1)2n−1
Since 2n−1 is always an odd integer, (−1)2n−1=−1. Thus, LHL=−n.
Now, the Right Hand Limit. As x→n+, the value of x is slightly greater than n. Here, [x]=n.
Substituting this:
RHL=x→n+limxcos(πx)(−1)n
Again, cos(nπ)=(−1)n. Our RHL becomes:
RHL=n⋅(−1)n⋅(−1)n=n⋅(−1)2n
Since 2n is always an even integer, (−1)2n=1. Thus, RHL=n.
The Conclusion
The Zero Exception
For the function to be continuous, we require LHL=RHL. This implies −n=n, or 2n=0, which means n=0.
At x=0, the function is continuous. But for any other integer $n
eq 0$, the LHL is −n and the RHL is n.
They are not equal! The function jumps. Therefore, the function is discontinuous at all integers except zero.