ஆய்லரின் வாய்ப்பாடு
கணிதத்தில் '''ஆய்லரின் வாய்ப்பாடு''' (''Euler's formula''), [[முக்கோணவியல் சார்புகள்|முக்கோணவியல் சார்புகளுக்கும்]] [[அடுக்குக்குறிச் சார்பு|மெய்ப்புனை (சிக்கலெண்) அடுக்குறிச் சார்புக்கும்]] இடையிலான தொடர்பைத் தருகிறது. கணிதவியலாளர் [[ஆய்லர்|ஆய்லரின்]] பெயரால் இவ்வாய்ப்பாடு அழைக்கப்படுகிறது.
 
 ;ஆய்லரின் வாய்ப்பாடு:
 
 &amp;nbsp;''x'' என்ற ஏதேனுமொரு [[மெய்யெண்]]ணுக்கு,
 
 : &lt;math&gt;e^{ix} = \cos x + i\sin x \ &lt;/math&gt;
 
 இங்கு [[E (கணித மாறிலி)|கணித மாறிலி]] ''e'' , இயல்மடக்கையின் அடிமானம்;  ''i'' [[கற்பனை அலகு]]; cos மற்றும் sin இரண்டும், ''x'' ([[ரேடியன்]]களில்) கோணத்தின் [[முக்கோணவியல் சார்புகள்]].
 
 : &lt;math&gt; \cos x + i\sin x \ &lt;/math&gt; என்பதை &lt;math&gt; cis x \ &lt;/math&gt; எனச் சுருக்கி,
 : &lt;math&gt;e^{ix} = cis x \ &lt;/math&gt; எனவும் இவ் வாய்ப்பாடு எழுதப்படுகிறது
 
 ''x'' ஒரு [[சிக்கலெண்]]ணாக இருந்தாலும் இவ்வாய்ப்பாடு பொருந்தும்.&lt;ref&gt;{{cite book | first=Martin A. | last= Moskowitz | title=A Course in Complex Analysis in One Variable | publisher=World Scientific Publishing Co. | year=2002 | isbn=981-02-4780-X | pages=7}}&lt;/ref&gt;
 
 இயற்பியலாளர் ரிச்சர்டு ஃபேய்ன்மேன் (Richard Feynman) இவ்வாய்ப்பாட்டை &quot;கணிதத்தின் மிக முக்கியமான வாய்ப்பாடு&quot; என அழைத்தார்&lt;ref&gt;{{cite book|first=Richard P.|last= Feynman|title=The Feynman Lectures on Physics, vol. I|publisher=Addison-Wesley|year=1977|isbn=0-201-02010-6|page=22-10}}&lt;/ref&gt;.
 
 ==சிக்கலெண் கோட்பாட்டில் பயன்பாடு==
 [[Image:Euler's formula-ta.svg|thumb|right]]
 [[Image:Euler's Formula c-ta.svg|thumb|upright=1.5|ஆய்லர் வாய்ப்பாட்டின் முப்பரிமாணக் காட்சி]]
 ''x'' இன் மெய்மதிப்புகளுக்குச் சார்பு ''e''&lt;sup&gt;''ix''&lt;/sup&gt; சிக்கலெண் தளத்தில் அலகு வட்டமாக அமைகிறது.  ''x'' என்பது அலகு வட்டத்தின் மீதுள்ள ஒரு புள்ளியை ஆதியுடன் இணைக்கும் கோட்டிற்கும் மெய் அச்சின் நேர்ப் பகுதிக்கும் இடைப்பட்ட கோணம். இக் கோணம் எதிர்கடிகாரதிசையில், ரேடியன் அலகுகளில் அளக்கப்படுகிறது.
 
 ஆய்லரின் வாய்ப்பாட்டின் நிறுவல் (கீழே தரப்பட்டுள்ளது) அடுக்குறிச் சார்பு ''e''&lt;sup&gt;''z''&lt;/sup&gt; (''z'' ஒரு சிக்கலெண்) மற்றும் sin&amp;nbsp;''x'', cos&amp;nbsp;''x''  (''x'' ஒரு மெய்யெண்) ஆகியவற்றைச் சார்ந்துள்ளது.
 
 சிக்கலெண் தளத்தில் உள்ள ஒரு புள்ளியைக் கார்ட்டீசியன் ஆயகூறுகள் மூலம் குறிக்கலாம். ஆய்லரின் வாய்ப்பாடு [[கார்ட்டீசியன் ஆள்கூற்று முறைமை|கார்ட்டீசியன் ஆயகூறுகளுக்கும்]] [[வாள்முனை ஆள்கூற்று முறைமை|போலார் ஆயதொலைவுகளுக்கும்]] இடைப்பட்ட தொடர்பாக அமைகிறது. சிக்கலெண்களை போலார் ஆயதொலைவுகளைக் கொண்டு எழுதுவது, சிக்கலெண்களின் அடுக்குகளின் பெருக்கலை எளிதாக்குகிறது.
 
 ''z'' ஒரு சிக்கலெண் எனில்:
 :&lt;math&gt; z = x + iy = |z| (\cos \phi + i\sin \phi ) = r e^{i \phi} \ &lt;/math&gt;
 :&lt;math&gt; \bar{z} = x - iy = |z| (\cos \phi - i\sin \phi ) = r e^{-i \phi} \ &lt;/math&gt;
 
 இதில்:
 :&lt;math&gt; x = \mathrm{Re}\{z\} \,&lt;/math&gt; மெய்ப் பகுதி
 :&lt;math&gt; y = \mathrm{Im}\{z\} \,&lt;/math&gt; கற்பனைப் பகுதி
 :&lt;math&gt; r = |z| = \sqrt{x^2+y^2}&lt;/math&gt; ''z'' இன் மட்டு மதிப்பு அல்லது எண்ணளவை
 :&lt;math&gt;\phi = \arg z = \,&lt;/math&gt; [[atan2]](''y'', ''x'') .
 
 &lt;math&gt;\phi \,&lt;/math&gt; ''z''&amp;mdash; இன் கோணவீச்சு (argument). அதாவது நேர் ''x'' -அச்சுக்கும் திசையன் ''z'' க்கும் இடைப்பட்ட எதிர்கடிகார திசையில் ரேடியன் அலகுகளில் அளக்கப்பட்ட கோணம்.
 
 இதன் வாயிலாகச் சிக்கலெண்ணின் [[மடக்கை]]யை வரையறுக்க ஆய்லரின் வாய்ப்பாட்டைப் பயன்படுத்தலாம். இதற்காக மடக்கைச் சார்பானது அடுக்குக்குறிச் சார்பின் [[நேர்மாறுச் சார்பு|நேர்மாறு]] என்ற கருத்து பயன்படுத்தப்படுகிறது.
 
 :&lt;math&gt;a = e^{\ln (a)} \ &lt;/math&gt;
 :&lt;math&gt;e^a  e^b = e^{a + b} \ &lt;/math&gt;
 
 இதில் ''a'' , ''b'' இரண்டும் சிக்கலெண்கள்.
 
 :&lt;math&gt; z = |z| e^{i \phi} = e^{\ln |z|} e^{i \phi} = e^{\ln |z| + i \phi} \ &lt;/math&gt; (''z''&amp;nbsp;≠&amp;nbsp;0).
 
 இருபுறமும் மடக்கை காண:
 
 : &lt;math&gt;\ln z= \ln |z| + i \phi \ .&lt;/math&gt;
 
 :&lt;math&gt;\phi&lt;/math&gt; ஒரு பன்மதிப்புடையது என்பதால் சிக்கலெண்ணின் மடக்கையும் [[பன்மதிப்புச் சார்பு]] ஆகும்.
 
 ==முக்கோணவியலுடன் தொடர்பு==
 [[File:Sine Cosine Exponential qtl1.svg|thumb|சைன், கொசைன் மற்றும் அடுக்குக்குறிச் சார்புகளுக்கு இடையேயுள்ள தொடர்பு]]
 ஆய்லரின் வாய்ப்பாடு:
 * &lt;math&gt;e^{ix} = \cos x + i \sin x \;&lt;/math&gt;
 * &lt;math&gt;e^{-ix} = \cos(- x) + i \sin(- x) = \cos x - i \sin x \;&lt;/math&gt;
 
 இவ்விரு சமன்பாடுகளையும் கூட்டினால் [[கோசைன் (முக்கோணவியல்)|கொசைன்]] மதிப்பும், கழித்தால் [[சைன் (முக்கோணவியல்)|சைன்]] மதிப்பும் கீழுள்ளவாறு கிடைக்கிறது.
 
 * &lt;math&gt;\cos x = \mathrm{Re}\{e^{ix}\} ={e^{ix} + e^{-ix} \over 2}&lt;/math&gt;
 * &lt;math&gt;\sin x = \mathrm{Im}\{e^{ix}\} ={e^{ix} - e^{-ix} \over 2i} &lt;/math&gt;
 
 இவற்றைப் பயன்படுத்தி மெய்ப்புனை கோணங்களுக்கு முக்கோணவியல் சார்புகளை வரையறுக்கலாம்.
 
 ''y'' = ''ix'' எனப் பதிலிடக் கிடைக்கும் வாய்ப்பாடுகள்:
 
 *&lt;math&gt; \cos(iy) =  {e^{-y} + e^{y} \over 2} = \cosh(y) &lt;/math&gt;
 *&lt;math&gt; \sin(iy) =  {e^{-y} - e^{y} \over 2i} = - {e^{y} - e^{-y} \over 2i} = i\sinh(y) \ . &lt;/math&gt;
 
 முக்கோணவியல் சார்புகளைக் கொண்டு கணித அடிப்படைச் செயல்களைச் செய்யும்பொழுது அச்சார்புகளை அடுக்குக்குறிச் சார்புகள் வாயிலாக எடுத்துக் கொள்வது கணக்கிடுதலை எளிதாக்கும். எடுத்துக்காட்டாக:
 : &lt;math&gt;
 \begin{align}
 \cos x\cdot \cos y &amp; = \frac{(e^{ix}+e^{-ix})}{2} \cdot \frac{(e^{iy}+e^{-iy})}{2} \\
 &amp; = \frac{1}{2}\cdot \frac{e^{i(x+y)}+e^{i(x-y)}+e^{i(-x+y)}+e^{i(-x-y)}}{2} \\
 &amp; = \frac{1}{2} \bigg[\underbrace{ \frac{e^{i(x+y)} + e^{-i(x+y)}}{2} }_{\cos(x+y)} + \underbrace{ \frac{e^{i(x-y)} + e^{-i(x-y)}}{2} }_{\cos(x-y)} \bigg] \ 
 \end{align}
 &lt;/math&gt;
 
 : &lt;math&gt;
 \begin{align}
 \cos(nx) &amp; = \mathrm{Re} \{\ e^{inx}\ \}
 = \mathrm{Re} \{\ e^{i(n-1)x}\cdot e^{ix}\ \} \\
 &amp; = \mathrm{Re} \{\ e^{i(n-1)x}\cdot (\underbrace{e^{ix} + e^{-ix}}_{2\cos(x)} - e^{-ix})\ \} \\
 &amp; = \mathrm{Re} \{\ e^{i(n-1)x}\cdot 2\cos(x) - e^{i(n-2)x}\ \} \\
 &amp; = \cos[(n-1)x]\cdot 2 \cos(x) - \cos[(n-2)x] \ 
 \end{align}&lt;/math&gt;
 
 ==நிறுவல்கள்==
 
 ===[[அடுக்குத் தொடர்]] வாயிலாக===
 [[டெய்லர் தொடர்|டெய்லர் தொடரையும்]] கற்பனை அலகு ''i'' இன் அடுக்குகளின் பண்புகளைக் கொண்டு ஆய்லர் தேற்றம் நிறுவப்படுகிறது:&lt;ref&gt;[http://books.google.com/books?id=PjK0F0T3NBoC&amp;pg=PA428 A Modern Introduction to Differential Equations, by Henry J. Ricardo, p428]&lt;/ref&gt;
 
 : &lt;math&gt;\begin{align}
 i^0 &amp;{}= 1, \quad &amp;
 i^1 &amp;{}= i, \quad &amp;
 i^2 &amp;{}= -1, \quad &amp;
 i^3 &amp;{}= -i, \\
 i^4 &amp;={} 1, \quad &amp;
 i^5 &amp;={} i, \quad &amp;
 i^6 &amp;{}= -1, \quad &amp;
 i^7 &amp;{}= -i,
 \end{align}&lt;/math&gt;....
 
 மேலும் ''x'' இன் மெய்மதிப்புகளுக்கு,
 
 : &lt;math&gt;\begin{align}
  e^{ix} &amp;{}= 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \frac{(ix)^5}{5!} + \frac{(ix)^6}{6!} + \frac{(ix)^7}{7!} + \frac{(ix)^8}{8!} + \cdots \\[8pt]
         &amp;{}= 1 + ix - \frac{x^2}{2!} - \frac{ix^3}{3!} + \frac{x^4}{4!} + \frac{ix^5}{5!} - \frac{x^6}{6!} - \frac{ix^7}{7!} + \frac{x^8}{8!} + \cdots \\[8pt]
         &amp;{}= \left( 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \frac{x^8}{8!} - \cdots \right) + i\left( x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \right) \\[8pt]
         &amp;{}= \cos x + i\sin x \ .
 \end{align}&lt;/math&gt;
 
 கடைசிப்படியில் ''cos(x)'' மற்றும் ''sin(x)'' இன் [[மெக்லாரின் தொடர்]]கள் பயன்படுத்தப்பட்டுள்ளன.
 
 ===எல்லையின் வரையறை வாயிலாக===
 [[File:EulerFormulaAsLimit.gif|thumb|right|&lt;math&gt;e^z = \lim_{n\rightarrow\infty} \left(1+\frac{z}{n}\right)^n&lt;/math&gt;. இந்த அசைபடத்தில்,  {{math|''z''{{=}}''iπ''/3&lt;/sup&gt;}} மற்றும் {{math|''n''}} ஆனது 1 முதல் 100 வரையிலான கூடும் மதிப்புகளை எடுக்கிறது. {{math|''n''}} இன் மதிப்பு அதிகமாக அதிகமாக புள்ளிகள் சிக்கலெண் தளத்தின் அலகு வட்டத்தை அணுகுகின்றன.]]
 &lt;math&gt;e^z&lt;/math&gt; இன் எல்லை வரையறை மூலம் ஆய்லரின் வாய்ப்பாடு நிறுவப்படுகிறது&lt;ref name=Arnold&gt;[http://books.google.com/books?id=JUoyqlW7PZgC&amp;pg=PA166 ''Ordinary differential equations'', by Vladimir Igorevich Arnolʹd, p166]&lt;/ref&gt;:
 
 :&lt;math&gt;e^z = \lim_{n\rightarrow\infty} \left(1+\frac{z}{n}\right)^n&lt;/math&gt;.
 &lt;math&gt;z=ix&lt;/math&gt; எனப் பதிலிட்டு, {{math|''n''}} ஐ மிகப் பெரிய [[முழு எண்]]ணாகக் கொண்டால், 
 :&lt;math&gt; 1, \, \left(1+\frac{ix}{1}\right)^1, \, \left(1+\frac{ix}{2}\right)^2, \ldots, \, \left(1+\frac{ix}{n}\right)^n &lt;/math&gt;  -தொடர்முறையின் கடைசி உறுப்பு {{math|''e''&lt;sup&gt;''ix''&lt;/sup&gt;}} ஐ நெருங்குகிறது. இத் தொடர்முறையின் உறுப்புகளைச் சிக்கலெண் தளத்தில் குறித்தால் அவை தோராயமாக [[அலகு வட்டம்|அலகு வட்டமாக]] அமையும். ஒவ்வொரு புள்ளியும் அதற்கு முந்தைய புள்ளியிலிருந்து எதிர்கடிகார திசையில் {{math|''x''/''n''}} ரேடியனில் அமையும். எனவே {{math|''n''→∞}} எனும்போது, தொடர்முறையின் கடைசி உறுப்பான {{math|(1 + ''ix''/''n'')&lt;sup&gt;''n''&lt;/sup&gt;}} இன் புள்ளி அலகு வட்டத்தின் மீது +1 புள்ளியிலிருந்து எதிர்கடிகார திசையில் {{math|''x''}} ரேடியன் அளவில் அமையும். அதாவது அப்புள்ளி {{math|cos ''x'' + ''i'' sin ''x''}} ஆக இருக்கும். எனவே {{math|1=''e''&lt;sup&gt;''ix''&lt;/sup&gt; = cos ''x'' + ''i'' sin ''x''}}.
 
 ===நுண்கணிதம் வாயிலாக===
 நுண்கணிதத்தைப் பயன்படுத்தி ஆய்லரின் வாய்ப்பாட்டை நிறுவலாம்&lt;ref name=Strang&gt;{{cite book |url=http://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/textbook/ |title=Calculus |first=Gilbert |last=Strang |page=389 |publisher=Wellesley-Cambridge |year=1991 |isbn=0-9614088-2-0}} ''(Second proof on page)''&lt;/ref&gt;. இந் நிறுவலுக்கு ஒரு சிக்கலெண்ணின் போலார் ஆயதொலைவு வடிவம் பயன்படுத்தப்படுகிறது.
 
 :&lt;math&gt;e^{ix} = r (\cos(\theta) + i \sin(\theta))\,.&lt;/math&gt;
 
 இதனை இருபுறமும் [[வகைக்கெழு|வகையிட]],
 :&lt;math&gt;i e ^{ix}  = (\cos(\theta) + i \sin(\theta)) \frac{dr}{dx} + r (-\sin(\theta) + i \cos(\theta)) \frac{d \theta}{dx}\,.&lt;/math&gt;
 
 இதில் &lt;math&gt; e^{ix} = r (\cos(\theta) + i \sin(\theta))&lt;/math&gt;எனப் பதிலிட்டு, இருபுறமுமுள்ள மெய் மற்றும் கற்பனைப் பகுதிகளைச் சமப்படுத்தக் கிடைப்பது:
 
 :&lt;math&gt;\textstyle \frac{dr}{dx} = 0&lt;/math&gt; 
 :&lt;math&gt;\textstyle \frac{d\theta}{dx} = 1&lt;/math&gt;.
 
 :&lt;math&gt;e^{i0} = 1&lt;/math&gt; என்பதால் &lt;math&gt;r(0) = 1&lt;/math&gt;மற்றும் &lt;math&gt;\theta(0) = 0&lt;/math&gt; ஆகும்.
 
 எனவே &lt;math&gt;r=1&lt;/math&gt; மற்றும் &lt;math&gt;\theta=x&lt;/math&gt; எனக் காணலாம்.
 
 : ஃ &lt;math&gt;e^{ix} = 1(\cos(x)+i \sin(x))&lt;/math&gt; என நிறுவப்படுகிறது.
 
 ==மேற்கோள்கள்==
 {{reflist}}
 
 [[பகுப்பு:சிக்கலெண் பகுவியல்]]
 [[பகுப்பு:முக்கோணவியல்]]