# லாபிதாலின் விதி

கணிதத்தில் **லாபிதாலின் விதி** (*l'Hôpital's rule*, *l'Hospital's rule*) தேரப்பெறா வடிவங்களைக் கொண்டுள்ள சார்புகளின் எல்லை மதிப்புகளைக் காணப் பயன்படுகிறது. இவ்விதி, **பெர்னொலியின் விதி** (*Bernoulli's rule*) எனவும் அழைக்கப்படுகிறது. இவ்விதியைப் பயன்படுத்தும்போது, சார்புகளிலுள்ள தேரப்பெறா வடிவங்கள் தேரப்பெறும் வடிவங்களாக மாற்றமடைவதால் அச் சார்பின் எல்லை மதிப்பைக் கணக்கிடுவது எளிதாகி விடும். வகைநுண்கணிதத்தின் முதல் பாடப் புத்தகத்தில் (*Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes* , *Analysis of the Infinitely Small for the Understanding of Curved Lines*, 1696) இவ் விதியினை வெளியிட்ட 17 ஆம் நூற்றாண்டின் பிரெஞ்சு கணிதவியலாளர் (Guillaume de l'Hôpital) இன் பெயரால் இவ்விதி அழைக்கப்படுகிறது. எனினும் இவ்விதியைக் கண்டறிந்தவர் சுவிட்சர்லாந்து நாட்டின் கணிதவியலாளர் ஜோகன் பெர்னொலி எனவும் நம்பப்படுகிறது.  

: ஐக் கொண்டுள்ள திறந்த இடைவெளி .  
: -இல் வகையிடத்தக்கச் சார்புகள் மற்றும் .  

இவ்விரு சார்புகளுக்கான லாபிதாலின் விதி:  

<math>\lim_{x \to c}f(x)=\lim_{x \to c}g(x)=0 \text{ or } \pm\infty</math> ஆகவும், <math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math> &nbsp; எல்லை காணத்தக்கதாகவும், x = c, தவிர்த்த I இன் அனைத்து x மதிப்புகளுக்கும் <math>g'(x)\neq 0</math> ஆகவும் இருக்குமெனில்:  

:<math>\lim_{x\to c}\frac{f(x)}{g(x)} = \lim_{x\to c}\frac{f'(x)}{g'(x)}</math>.  

சார்பின் தொகுதி, பகுதிகளை வகையிடும்போது, பின்னவடிவம் அல்லது தேரப்பெறா வடிவம் இல்லாத சார்பாக மாற்றமடையும். இதனால் சார்பின் எல்லை மதிப்பினை எளிதாகக் கணக்கிட முடிகிறது.  

## பொதுவடிவம்
லாபிதாலின் விதியின் பொதுவடிவம்:  

, இரண்டும் நீட்டிக்கப்பட்ட மெய்யெண்கள். மெய்மதிப்புச் சார்புகள் *f* மற்றும் *g* இரண்டும் *c* ஐ முனைப்புள்ளியாகக் கொண்ட திறந்த இடைவெளியில் வகையிடத்தக்கவையாகவும், அந்த இடைவெளியில் <math>g'(x)\neq 0</math> எனவும், <math>\lim_{x\to c}{\frac{f'(x)}{g'(x)}} = L.</math> கொள்ளப்படுகிறது.  

:<math>\lim_{x\to c}{f(x)} = \lim_{x\to c}g(x) = 0</math> (அல்லது)  
:<math>\lim_{x\to c}{|f(x)|} = \lim_{x\to c}{|g(x)|} = \infty</math> எனில்,  

:<math>\lim_{x\to c}{\frac{f(x)}{g(x)}}= L.</math>  

## <math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math> காணத்தக்கதாக இருக்கவேண்டிய அவசியம்
லாபிதாலின் விதியைப் பயன்படுத்தும்போது <math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math> என்ற எல்லை மதிப்புக் காணத்தக்கதாக இருக்கவேண்டியது அவசியமான ஒன்று. இந்த எல்லை மதிப்பு காண முடியாததாக இருப்பின் லாபிதால் விதியைப் பயன்படுத்த இயலாது.  

எடுத்துக்காட்டு:  

<math>f(x) = x + \sin(x),</math> <math>g(x) = x</math> எனில்,  

:<math>\lim_{x\to\infty}\frac{f'(x)}{g'(x)}=\lim_{x\to\infty}\frac{1+\cos x}{1};</math>  

இதிலுள்ள கொசைன் சார்பின் மதிப்பு 1க்கும் −1 க்கும் இடையே அலைவதால் இந்த எல்லைக்கு மதிப்பு அமைவதில்லை. ஆகவே லாபிதாலின் விதியைப் பயன்படுத்தி மூலச் சார்புக்கு எல்லை காண முடியாது.  

ஆனால் நேரிடையாகவே மூலச் சார்பின் வடிவமைப்பில் சில மாற்றங்களைக் செய்வதன் மூலம் கீழ்க்கண்டவாறு எல்லை காண முடிகிறது:  

:<math>\lim_{x\to\infty}\frac{f(x)}{g(x)} = \lim_{x\to\infty}\(1+\frac{\sin x}{x}\) = 1</math>.  

## எடுத்துக்காட்டுகள்
- <math>\lim_{x \to 0} \operatorname{sinc}(x)</math>
::<math>=\lim_{x \to 0} \frac{\sin\pi x}{\pi x}</math>  
::<math>= \lim_{y \to 0} \frac{\sin y}{y} </math>  
::<math> = \lim_{y \to 0} \frac{\cos y}{1}</math> (லாபிதாலின் விதியைப் பயன்படுத்த)  
::<math>= 1.</math>  

- ஒருமுறை லாபிதாலின் விதியைப் பயன்படுத்திய பின்னும் தேரப்பெறா வடிவம் கிடைத்தால், மறுபடியும் லாபிதாலின் விதியைப் பயன்படுத்தலாம். தேரப்பெறா வடிவம் நீங்கும்வரை இவ்விதியை மீண்டும் பயன்படுத்தலாம்.

எடுத்துக்காட்டு:  
:: <math>\lim_{x\to 0}{\frac{2\sin x-\sin 2x}{x-\sin x}}</math>  
::<math>=\lim_{x\to 0}{\frac{2\cos x -2\cos 2x}{1-\cos x}}</math>(லாபிதாலின் விதியைப் பயன்படுத்த)  
::<math>= \lim_{x\to 0}{\frac{-2\sin x +4\sin 2x}{\sin x}}</math>  
::<math>= \lim_{x\to 0}{\frac{-2\cos x +8\cos 2x}{\cos x}} </math>(மீண்டும் லாபிதாலின் விதியைப் பயன்படுத்த)  
::<math>={\frac{-2 +8}{1}} </math>  
::<math>=6.</math>  
- எனில்,
:: <math>\lim_{x\to 0} {\frac{b^x - 1}{x}}=\lim_{x \to 0}{\frac{b^x \ln b}{1}}=\ln b \lim_{x \to 0}{b^x}=\ln b.</math>  

- <math>\lim_{x\to 0}{\frac{e^x-1-x}{x^2}}
=\lim_{x\to 0}{\frac{e^x-1}{2x}}  
=\lim_{x\to 0}{\frac{e^x}{2}}={\frac{1}{2}}.</math>  

- இந்த எடுத்துக்காட்டு தேரப்பெறா வடிவம் கொண்டுள்ளது. நேர் முழு எண் எனில்,
:: <math>\lim_{x\to\infty} x^n e^{-x}  
=\lim_{x\to\infty}{\frac{x^n}{e^x}}  
=\lim_{x\to\infty}{\frac{nx^{n-1}}{e^x}}  
=n\lim_{x\to\infty}{\frac{x^{n-1}}{e^x}}.</math>  

: அடுக்கு, பூச்சியமாகும்வரை லாபிதாலின் விதியைப் பயன்படுத்தினால் இறுதியில் எல்லையின் மதிப்பும் பூச்சியமாகக் கிடைக்கும்  

- வடிவில் மற்றொரு எடுத்துக்காட்டு:

:: <math>\lim_{x\to 0^+} x \ln x =\lim_{x\to 0^+}{\frac{\ln x}{1/x}}  
=\lim_{x\to 0^+}{\frac{1/x}{-1/x^2}}  
=\lim_{x\to 0^+} -x= 0.</math>  

## சிக்கல்கள்

- சில சமயங்களில் எல்லை காணும்போது தேரப்பெறா வடிவை நீக்க லாபிதாலின் விதியை அதிக தடவைகள் பயன்படுத்த வேண்டியிருக்கலாம். அதற்குப் பதில் சார்பின் மாறியைத் தகுந்த பதிலிடல் முறையில் மாற்றி அமைத்தால் லாபிதாலின் விதியைப் பயன்படுத்தப்பட வேண்டிய தடவைகளின் எண்ணிக்கைக் குறைக்கப்பட்டு, எல்லை காண்பது எளிதாகும்.

எடுத்துக்காட்டு:  

::<math>\lim_{x \to \infty} \frac{e^x+e^{-x}}{e^x-e^{-x}} = \lim_{x \to \infty} \frac{e^x-e^{-x}}{e^x+e^{-x}} = \lim_{x \to \infty} \frac{e^x+e^{-x}}{e^x-e^{-x}} = \dots .</math>  

இந்த எல்லைக் கணக்கிடலில் லாபிதாலின் விதியை இரண்டாவது தடவை பயன்படுத்தும்போது மீண்டும் சார்பின் மூல வடிவமே கிடைக்கிறது.  

இதனைத் தவிர்க்க <math>y=e^x</math> என பதிலிட, ஒரு தடவை மட்டும் லாபிதாலின் விதியைப் பயன்படுத்தினால் போதும், தரப்பட்ட சார்பின் எல்லையைக் காண முடிகிறது:  

::<math>\lim_{x \to \infty} \frac{e^x+e^{-x}}{e^x-e^{-x}} = \lim_{y \to \infty} \frac{y+y^{-1}}{y-y^{-1}} = \lim_{y \to \infty} \frac{1-y^{-2}}{1+y^{-2}} = \frac{1}{1} = 1.</math>  

- எத்தனை முறை விதியைப் பயன்படுத்தினாலும் எல்லை காண முடியாதிருத்தல்

::<math>\lim_{x \to \infty} \frac{x^{1/2}+x^{-1/2}}{x^{1/2}-x^{-1/2}} = \lim_{x \to \infty} \frac{\tfrac{1}{2}x^{-1/2}-\tfrac{1}{2}x^{-3/2}}{\tfrac{1}{2}x^{-1/2}+\tfrac{1}{2}x^{-3/2}} = \lim_{x \to \infty} \frac{-\tfrac{1}{4}x^{-3/2}+\tfrac{3}{4}x^{-5/2}}{-\tfrac{1}{4}x^{-3/2}-\tfrac{3}{4}x^{-5/2}} \dots .</math>  

இந்த எடுத்துக்காட்டில் லாபிதாலின் விதியை மீண்டும் மீண்டும் பயன்படுத்தினாலும் எல்லை காணக்கூடிய நிலையை அடைய முடிவதைல்லை.  

இதனைத் தவிர்க்க <math>y = x^{1/2}</math> என்ற பதிலிடல் உதவுகிறது:  

::<math>\lim_{x \to \infty} \frac{x^{1/2}+x^{-1/2}}{x^{1/2}-x^{-1/2}} = \lim_{y \to \infty} \frac{y+y^{-1}}{y-y^{-1}} = \lim_{y \to \infty} \frac{1-y^{-2}}{1+y^{-2}} = \frac{1}{1} = 1.</math>  

- லாபிதாலின் விதியைப் பயன்படுத்தும்போது வேறு சிக்கல்களும் ஏற்படலாம்.

எடுத்துக்காட்டு:  

:<math>\lim_{h\to 0} \frac{(x+h)^n-x^n}{h}=nx^{n-1}.</math>  

இந்த வகைக்கெழு வாய்ப்பட்டை லாபிதாலின் விதியைப் பயன்படுத்தி எளிதாக நிறுவலாம் என்பது போலத் தோன்றும். ஆனால் அவ்வாறு செய்ய முனைந்தால், லாபிதாலின் விதி கொண்டு எந்த வாய்ப்பாட்டை நாம் நிறுவ முயற்சிக்கிறோமோ அந்த வாய்ப்பாட்டையே, நிறுவப்படுமுன் பயன்படுத்தும் சிக்கல் எழுகிறது. இது சரியான முறையாகாது.  

## பிற தேரப்பெறா வடிவங்களுக்கு
, , , , போன்ற தேரப்பெறா வடிவங்களில் அமைந்த சார்புகளின் எல்லை காண்பதற்கும் லாபிதாலின் விதியைப் பயன்படுத்தலாம்.  

### எடுத்துக்காட்டுகள்
- வடிவம்
வடிவில் அமைந்த சார்பின் எல்லை காண, அதனை இரு பின்ன வடிவச் சார்புகளின் வித்தியாசமாக மாற்றியமைத்து இவ்விதியைப் பயன்படுத்தலாம்:  

:<math>  
\begin{align}  
\lim_{x\to 1}\(\frac{x}{x-1}-\frac1{\ln x}\)  
& = \lim_{x\to 1}\frac{x\cdot\ln x -x+1}{(x-1)\cdot\ln x} & \quad (1) \\[6pt]  
& = \lim_{x\to 1}\frac{\ln x}{\frac{x-1}{x}+\ln x} & \quad (2) \\[6pt]  
& = \lim_{x\to 1}\frac{x\cdot\ln x}{x-1+x\cdot\ln x} & \quad (3) \\[6pt]  
& = \lim_{x\to 1}\frac{1+\ln x}{1+1+\ln x} & \quad (4) \\[6pt]  
& = \lim_{x\to 1}\frac{1+\ln x}{2+\ln x} \\[6pt]  
& = \frac{1}{2},  
\end{align}  
</math>  

லாபிதாலின் விதி (1) இலிருந்து (2) மற்றும் (3) இலிருந்து (4) ஆவது படிக்குச் செல்லும்போது பயன்படுத்தப்பட்டுள்ளது.  

- வடிவம்:

:<math>  
\lim_{x \to 0^+} x^x  
= \lim_{x \to 0^+} e^{\ln x^x}  
= \lim_{x \to 0^+} e^{x \ln x}  
= e^{\lim_{x \to 0^+} (x \ln x)}.  
</math>  

::<math>\lim_{x \to 0^+} x \ln x </math> (0×∞ வடிவம்)  
::<math>\lim_{x \to 0^+}\frac{\ln x}{\frac{1}{x}} </math> (∞/∞ வடிவிற்கு மாற்றி லாபிதாலின் விதியைப் பயன்படுத்த)  
::<math>\lim_{x \to 0^+}\frac{\frac{1}{x}}{\frac{-1}{x^2}}</math>  
::<math>\lim_{x \to 0^+} -x = 0 </math>  

எனவே,  
:<math>\lim_{x \to 0^+} x^x = e^0 = 1.</math>