f′(0)=x→0limx−0f(x)−f(0)=x→0limx3x−0=x→0lim3x21=+∞
یا: f′(0)=h→0limhf(0+h)−f(0)=h→0limh3h−0=h→0lim3h21=+∞
تابع در یک نقطه مماس قائم دارد وقتی در آن نقطه پیوسته باشد و مشتق چپ و راستش هر دو +∞ (یا هر دو −∞) باشد؛ یعنی شیب خط مماس بینهایت شود.
تابع 3x در x=0 پیوسته است و f(0)=0. طبق تعریف مشتق:
f′(0)=x→0limx−0f(x)−f(0)=x→0limx3x
چون x=3x⋅3x2 است، کسر ساده میشود:
x→0limx3x=x→0lim3x21
وقتی x→0 (از چپ یا از راست)، x2 مقداری مثبت و بسیار کوچک است؛ پس 3x2→0+ و:
f′(0)=x→0lim3x21=+∞
مشتق از هر دو طرف +∞ است؛ پس نمودار f(x)=3x در x=0 مماس قائم دارد (خط مماس همان محور yها، یعنی x=0، است).