sympy ¸ðµâÀ» ºÒ·¯¿À°í, »ç¿ëÇÒ ±âÈ£ º¯¼ö¸¦ ¼±¾ðÇÑ´Ù. ¸ËÇ÷Ը³ ¸ðµâÀ» ºÒ·¯¿Â´Ù.
from sympy import *
init_printing()
x, y, z = symbols('x y z')
a, b, c, t = symbols('a b c t')
%matplotlib inline
limit( ) ÇÔ¼ö·Î ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$ \lim _ {x \to 1 } \frac {x^3-1}{x-1} = 3 $$
limit( ( x**3 - 1 ) / ( x - 1 ), x, 1 )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to \infty } \frac {1+x}{x} = 1 $$
¹«ÇÑ´ë´Â oo ¿Í °°ÀÌ ¿µ¾î ¼Ò¹®ÀÚ o µÎ °³¸¦ °ãÃļ ³ªÅ¸³½´Ù.
limit( ( 1 + x ) / x, x, oo )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to 1} \frac {\sqrt{x+3}-2} {x-1} = \frac 1 4 $$
limit( (sqrt(x+3) - 2 ) / (x-1), x, 1 )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$ \begin{align} \lim _ {x \to 1+0 } \frac 1 {x-1} &= \infty \\ \lim _ {x \to 1-0 } \frac 1 {x-1} &= - \infty \end{align} $$
¿ì±ØÇѰªÀ» ±¸ÇÏ·Á¸é Ãß°¡ÀûÀÎ ÀÎÀÚ·Î '+' ¸¦ ³Ö°í, Á±ØÇѰªÀ» ±¸ÇÏ·Á¸é '-' ¸¦ ³Ö´Â´Ù.
limit( 1/( x - 1 ) / x, x, 1, '+' )
limit( 1/( x - 1 ) / x, x, 1, '-' )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$ \begin{align} \lim _ {x \to \frac {\pi} 2 +0 } \tan x &= -\infty \\ \lim _ {x \to \frac {\pi} 2 -0 } \tan x &= \infty \end{align} $$
limit( tan(x), x, pi/2, '+' )
limit( tan(x), x, pi/2, '-' )
plot( tan(x), xlim=(-3.14,3.14), ylim=(-6,6) )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to 0 } \frac {\sin x} x = 1 $$
limit( sin(x)/x, x, 0 )
plot( sin(x)/x, ylim=(-2,2) )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to 0 } \, x \sin \frac 1 x = 0 $$
limit( x * sin(1/x), x, 0 )
plot( x * sin(1/x), xlim=(-2,2) )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to \infty } \, \frac {2^x-2^{-x}} {2^x+2^{-x}} = 1 $$
limit( ( 2**x - 2**(-x) ) / ( 2**x + 2**(-x) ), x, oo )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$\lim _ {x \to \infty } \, \left \{ \log _ 2 (x+1) - \log _ 2 x \right \} = 0 $$
limit( log(x+1,2) - log(x,2), x, oo )
plot ( log(x,2), log(x+1,2), xlim=(-4,6), ylim=(-4,4))
ÀÚ¿¬·Î±×ÀÇ ¹Ø $$ e = \lim _ {x \to \infty } \, \left ( 1 + \frac 1 x \right ) ^x = \lim _ {x \to 0 } \, \left ( 1 + x \right ) ^{\frac 1 x} $$
limit( ( 1 + 1/x )**x, x, oo )
N( _ )
´ÙÀ½ ±ØÇѰªÀ» ±¸ÇÑ´Ù. $$ \lim _ {x \to \infty } \, \left ( 1 + \frac 2 x \right ) ^x = e ^ 2 $$
limit( ( 1 + 2/x )**x, x, oo )
Áö¼öÇÔ¼ö¿Í ·Î±×ÇÔ¼öÀÇ ±ØÇÑ
$$ \lim _ {x \to 0} \, \frac {e^x-1} x = 1, \quad \lim _ {x \to 0} \, \frac {\ln (1+x)} x = 1 $$limit( ( exp(x) - 1 ) / x, x, 0 )
limit( ln( 1 + x ) / x, x, 0 )