Определяем
Тут предел простой: функция непрерывна, потому просто подставляем значения
![(x,y)=(0,2) (x,y)=(0,2)](https://tex.z-dn.net/?f=%28x%2Cy%29%3D%280%2C2%29)
и получаем результат.
Преобразуем исходный предел по
![\alpha \alpha](https://tex.z-dn.net/?f=%5Calpha)
:
А вот тут мне не хватает теоремы, по которой я могу устремить значения
![x x](https://tex.z-dn.net/?f=x)
и
![\alpha \alpha](https://tex.z-dn.net/?f=%5Calpha)
по отдельности (типа теоремы Фубини для интегралов), если упустить ПОЧЕМУ можно переделы менять местами, получим:
-----------------------------
Есть другой вариант, не требует теорему, только неравенство
![|\sin (\alpha)|\leq\alpha |\sin (\alpha)|\leq\alpha](https://tex.z-dn.net/?f=%7C%5Csin+%28%5Calpha%29%7C%5Cleq%5Calpha)
для любых
![\alpha\to0 \alpha\to0](https://tex.z-dn.net/?f=%5Calpha%5Cto0)
.
Я докажу что предел функции
![f(x,y)=\frac{\sin(xy)}{x}-2 f(x,y)=\frac{\sin(xy)}{x}-2](https://tex.z-dn.net/?f=f%28x%2Cy%29%3D%5Cfrac%7B%5Csin%28xy%29%7D%7Bx%7D-2)
равен нулю, отсюда получим предел из примера.
Доказательство:
На проколотой области
![(-\delta,\delta)\setminus\{0\} (-\delta,\delta)\setminus\{0\}](https://tex.z-dn.net/?f=%28-%5Cdelta%2C%5Cdelta%29%5Csetminus%5C%7B0%5C%7D)
![x\neq0 x\neq0](https://tex.z-dn.net/?f=x%5Cneq0)
, значит, можем спокойно сократить и получим:
Понятно, что
![|y-2|\underset{(x,y)\to(0,2)}\longrightarrow
0 |y-2|\underset{(x,y)\to(0,2)}\longrightarrow
0](https://tex.z-dn.net/?f=%7Cy-2%7C%5Cunderset%7B%28x%2Cy%29%5Cto%280%2C2%29%7D%5Clongrightarrow%0A+0)
.
Из теоремы:
![\lim\big|f(x)\big|=0\Rightarrow\lim f(x)=0 \lim\big|f(x)\big|=0\Rightarrow\lim f(x)=0](https://tex.z-dn.net/?f=%5Clim%5Cbig%7Cf%28x%29%5Cbig%7C%3D0%5CRightarrow%5Clim+f%28x%29%3D0)
получаем:
Следовательно:
Теперь, всё точно.