برای پرسشهای این چنینی یکی از اولین روشهایی که به ذهن میرسد استفاده از ضرایب لاگرانژ است. میتوانید به پست آمده در پانویس نیز نگاه بیندازید.
تابعی که قرار است آن را بیشینه یا کمینه کنید را f(a,b)=\frac{a}{b} را در نظر بگیرید و سپس برای هر قید (شرط) یک تابع جدید تعریف کنید که برابریِ آن با صفر همان قیدتان شود. در نمونهٔ شما داریم
g(a,b)=(a-10)^2+(b-10)^2-40
اکنون برای هر قید یک متغیر کمکی معرفی کنید، اینجا یک قید دارید پس یک متغیر کمکی کافی است. آن را \lambda بنامید. اکنون تعریف کنید F(a,b,\lambda)=f(a,b)+\lambda g(a,b) و دستگاه برابری مشتقهای پارهایاش (جزئی) را تشکیل دهید. یعنی \frac{\partial F}{\partial z}=\frac{\partial F}{\partial b}=\frac{\partial F}{\partial \lambda}=0.
\begin{cases}
\frac{1}{b}+2\lambda(a-10)=0\\
\frac{-a}{b^2}+2\lambda(b-10)^2=0\\
(a-10)^2+(b-10)^2-40=0
\end{cases}
اکنون کافی است این دستگاه را حل کنید. از روشهای گوناگونی میتوانید استفاده کنید. اگر هم میخواهید از نرمافزار استفاده کنید، در زیر کد Mathematicaیِ آن برای نمونه گذاشته شدهاست.
F=a/b+l*((a-10)^2+(b-10)^2-40);
Solve[D[F,a]==0&&D[F,b]==0&&D[F,l]==0,{a,b,l}]
این دستگاه دو پاسخ دارد (a,b)=(12,4) و (a,b)=(4,12). با جایگذاری آنها در f(a,b) میبینید که یکی از این دو نقطه به شما بیشینه یعنی ۳ را میدهد و دیگری به شما کمینه یعنی \frac{1}{3} را میدهد.