Q.Prove that the greatest integer function defined by f(x)=[x], 0<x<3, is not differentiable at x=1 and x=2.
🔒You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.
🔒 Start your 14-day free trial to unlock the full solution →Concept understanding — Greatest Integer Continuity
Continuity of the Greatest Integer Function
The greatest integer function f(x)=⌊x⌋ returns the largest integer not exceeding x: ⌊2.3⌋=2, ⌊−1.2⌋=−2, ⌊4⌋=4. Its graph is a staircase — flat segments that jump up by 1 at every integer.
The intuition
Walk along the graph from left to right. Near a non-integer such as x=1.5 the function is flat at 1; nudge x a little either way and the value does not change, so nothing is broken there. But as you approach an integer like x=2 from the left the value is stuck at 1, and the instant you reach x=2 it leaps to 2. That sudden leap is a break.
⌊x⌋ is continuous at every non-integer and discontinuous at every integer.
Why integers fail
At an integer n the one-sided limits disagree:
limx→n−⌊x⌋=n−1,limx→n+⌊x⌋=n,⌊n⌋=n.
Since the left- and right-hand limits differ, limx→n⌊x⌋ does not exist, so continuity fails. This is a jump discontinuity, and the jump is always exactly 1. At a non-integer c there is a whole small interval on which f is constant equal to ⌊c⌋, so the limit exists and matches f(c) — the function is continuous.
How to test it …
A function that is not continuous at a point cannot be differentiable there. The greatest integer function f(x)=[x] jumps at each integer.
At x=1: limx→1−[x]=0 but limx→1+[x]=1, so the limit does not exist and f is discontinuous — hence not differentiable. Checking derivatives with f(1)=1: the right-hand derivative limh→0+h[1+h]−1=limh→0+h0=0, while the left-hand derivative limh→0−h[1+h]−1=limh→0−h−1→+∞; the …
[x] has a jump at each integer, so it is discontinuous — and therefore not differentiable — at x=1 and x=2; the one-sided derivatives there also disagree.
On 0<x<3 the greatest integer function is a staircase: [x]=0 on (0,1), [x]=1 on [1,2), [x]=2 on [2,3). Differentiability requires continuity first, and where the graph jumps it cannot be continuous.
Discontinuity forces non-differentiability at x=1
Left: for x just below 1, [x]=0, so limx→1−[x]=0.
Right: for x just above 1, [x]=1, so limx→1+[x]=1.
The one-sided limits differ, so limx→1[x] does not exist — f is discontinuous, hence not differentiable at x=1.
Confirm with the derivative definition at x=1
Using f(1)=[1]=1:
f+′(1)=limh→0+h[1+h]−1=limh→0+h1−1=0,
f−′(1)=limh→0−h[1+h]−1=limh→0−h0−1=limh→0−h−1→+∞.
The right-hand derivative is 0 and the left-hand derivative diverges, so they are unequal — f′(1) does not exist. …
Method: Showing Non-Differentiability at a Jump Discontinuity
Use this method for functions like the greatest integer (floor) function that jump abruptly at certain points — this route is shorter than the corner-point method above because differentiability can be ruled out immediately once a jump is shown.
Steps
Step 1: Recall that differentiability requires continuity first
If a function is not even continuous at a point, it cannot be differentiable there — there is no need to compute a derivative limit at all. This shortcut saves work whenever a jump can be shown directly.
Step 2: Compute the left-hand and right-hand limits of the function itself (not yet the derivative) at the point in question
For the greatest integer function [x] at an integer n, evaluate [x] for x slightly less than n and slightly greater than n separately.
Step 3: Compare the two one-sided limits to the function's actual value
If limx→n−f(x)=limx→n+f(x), the two-sided limit does not exist, so f is discontinuous at n — and, by Step 1's logic, therefore automatically not differentiable there. …
Common Mistakes
Mistake 1: Trying to prove non-differentiability directly from the derivative limit without first checking continuity
Why it's wrong: it's more work, and easy to make sign errors, to jump straight into computing limh→0h[n+h]−n from both sides without first noticing the simpler fact that [x] isn't even continuous at n. Correct approach: always check continuity first at a suspected trouble point — if it fails, non-differentiability follows immediately and no derivative computation is required.
Mistake 2: Evaluating [1+h] or [2+h] incorrectly for negative h
Why it's wrong: for h a small negative number, 1+h is just below 1 (e.g. 0.99), so [1+h]=0, not 1 — students sometimes assume the floor value doesn't change until h crosses a whole unit. Correct approach: pick a concrete small value (like h=−0.01) and evaluate [1+h] numerically before generalizing. …
- KCET 2024Set A-11 markMCQQ.If [x]2−5[x]+6=0, where [x] denotes the greatest integer function, then (A) x∈[3,4] (B) x∈[2,4) (C) x∈[2,3] (D) x∈(2,3]
›Reveal solutionSolution
Solving the quadratic in [x] gives [x]∈{2,3}, and each value of the greatest-integer function corresponds to a half-open unit interval — combined, they give [2,4).
Step 1 — Solve the quadratic.
[x]2−5[x]+6=0⇒([x]−2)([x]−3)=0⇒[x]=2 or [x]=3
Step 2 — Convert each to an x-interval. …
- KCET 2024Set A-11 markMCQQ.The function f(x)=∣cosx∣ is (A) Everywhere continuous and differentiable (B) Everywhere continuous but not differentiable at odd multiples of 2π (C) Neither continuous nor differentiable at (2n+1)2π,n∈Z (D) Not differentiable everywhere
›Reveal solutionSolution
The modulus of a continuous function is continuous everywhere; differentiability fails exactly where the inside function crosses zero — here at the odd multiples of π/2.
Step 1 — Continuity.
f(x)=∣cosx∣=g(h(x)) where h(x)=cosx (continuous on R) and g(t)=∣t∣ (continuous on R). The composition of continuous functions is continuous, so
f is continuous for every x∈R
This alone kills option (C), which claims discontinuity.
Step 2 — Where can differentiability fail?
Where cosx=0, cosx keeps a constant sign in a neighbourhood, so locally f(x)=±cosx — a smooth function, and f′(x)=∓sinx exists. So the only suspect points are the zeros of cosx:
cosx=0 ⟺ x=(2n+1)2π,n∈Z
This already rules out option (D) ("not differentiable everywhere") — f is differentiable at, say, x=0, where f′(0)=0.
Step 3 — Test x=2π explicitly.
Just left of π/2, cosx>0 so f(x)=cosx and f′(x)=−sinx:
Lf′(2π)=−sin2π=−1
Just right of π/2, cosx<0 so f(x)=−cosx and f′(x)=+sinx:
Rf′(2π)=sin2π=+1 …
- KCET 2022Set C-41 markMCQQ.If [x] is the greatest integer function not greater than x then ∫08[x]dx is equal to (A) 30 (B) 29 (C) 20 (D) 28
›Reveal solutionSolution
The greatest-integer function is a step function, constant on each unit interval, so the integral is just the sum 0+1+2+⋯+7=28.
Step 1 — Understand the integrand
[x], the greatest integer function (floor), returns the largest integer ≤x. It is a step function: it holds a constant value on each interval [k,k+1), namely k.
[x]=kfor k≤x<k+1
We cannot integrate it by an antiderivative formula; instead we exploit its piecewise-constant nature.
Step 2 — Split the interval [0,8] into unit pieces
Using the additivity of the definite integral:
∫08[x]dx=∫01[x]dx+∫12[x]dx+⋯+∫78[x]dx
Step 3 — Evaluate each piece
On [k,k+1) the integrand equals the constant k, and the interval has length 1:
∫kk+1[x]dx=∫kk+1kdx=k⋅[(k+1)−k]=k
(The single point x=k+1, where the value jumps, has zero measure and does not affect the integral.) …
- KCET 2021Set A-11 markMCQQ.Domain of the function f(x)=[x]2−[x]−61 where [x] is greatest integer ≤x is (A) (−∞,−2)∪[4,∞] (B) (−∞,−2)∪[3,∞] (C) [−∞,−2]∪[4,∞] (D) [−∞,−2]∪(3,∞)
›Reveal solutionSolution
The domain is all real x for which the expression inside the square root is positive. Since [x] is an integer, we solve [x]2−[x]−6>0, giving [x]<−2 or [x]>3. This translates to x∈(−∞,−2)∪[4,∞).
The key here is that the greatest integer function [x] only takes integer values. So the condition for the denominator to be defined and non-zero is not about x directly, but about which integer [x] equals for a given x.
We need [x]2−[x]−6>0 because:
- The square root requires the inside to be positive (not zero, since it's in the denominator).
- The denominator itself cannot be zero.
So treat [x] as an integer variable, say n=[x], and solve n2−n−6>0.
-
Factor the quadratic in n:
n2−n−6=(n−3)(n+2)
So the inequality is (n−3)(n+2)>0.
-
Solve the integer inequality:
For a quadratic with roots at n=−2 and n=3, the product is positive when n<−2 or n>3.
Since n is an integer, this means:
n≤−3 or n≥4.
-
Translate back to x:
-
If [x]≤−3, then x<−2 (because the greatest integer less than or equal to x is at most −3 only when x is strictly less than −2).
For example, x=−2.1 gives [x]=−3, which works. But x=−2 gives [x]=−2, which does NOT work.
So this gives x∈(−∞,−2).
-
If [x]≥4, then x≥4 (because the greatest integer is at least 4 only when x is at least 4).
For example, x=4 gives [x]=4, which works.
So this gives x∈[4,∞).
-
-
Combine the intervals: …
- KCET 2019Set A-11 markMCQQ.if f(x)=⎩⎨⎧e2x−1sin3xk−2;x=0;x=0 is continuous at x=0, then k= (A) 3/2 (B) 9/5 (C) 1/2 (D) 2/3
›Reveal solutionSolution
Continuity at x=0 forces the constant to equal x→0lime2x−1sin3x, which is 23 by the standard limits θsinθ→1 and tet−1→1.
1. The condition for continuity. f is continuous at x=0 precisely when
limx→0f(x)=f(0)
So everything reduces to evaluating the limit of the x=0 branch.
2. Evaluate the limit. Both numerator and denominator →0 as x→0, so this is a 00 indeterminate form. Force the two standard limits to appear by inserting the matching x factors:
limx→0e2x−1sin3x=limx→0 2xe2x−1⋅2x3xsin3x⋅3x
Now use the two limits every student should have memorised:
limθ→0θsinθ=1,limt→0tet−1=1
As x→0 we have 3x→0 and 2x→0, so both bracketed ratios tend to 1, leaving
limx→0e2x−1sin3x=1⋅2x1⋅3x=23
3. Cross-check with L'Hôpital's rule. Differentiating numerator and denominator separately:
limx→02e2x3cos3x=2e03cos0=2⋅13⋅1=23✓
The two methods agree, so the limit is definitely 23.
4. Impose continuity. The value assigned at x=0 must equal this limit:
f(0)=23⟹k=23 …
🎓Unlock everything free for 14 days
- ✓Full step-by-step solutions
- ✓Concept-first explanations
- ✓Methods, shortcuts & mistakes
- ✓PYQ mapping + timed mock tests
Full access for 14 days. No credit card required.