我正在写我的第一本书。我需要换行。我希望文字顺畅。我正在网上搜索最好的方法。我需要在有公式的定理中使用它。下面主题中的方法是最好的，但这里有个问题。它不能正确地处理公式！看看截图。太糟糕了！我无法手动纠正它。
PS：我不需要这种添加图片的方法。如果你知道正确的方法，可以运用定理、公式，请告诉我。
这：
和这个：
这是正常的，但没有公式：
\documentclass{article}
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage[]{graphicx}
\usepackage{amsmath,amsthm,amssymb,amscd}
\usepackage{caption}
\usepackage{picins}
\usepackage{microtype}
\usepackage{cutwin}
\newbox\mybox
\newdimen\myboxwidth
\newcommand\addpicture[3]{%
\setbox\mybox=\hbox{\includegraphics[scale=#3]{#2}}
\myboxwidth\wd\mybox
\renewcommand\windowpagestuff{%
\includegraphics[scale=#3]{#2}
\captionof{figure}{}}
\parpic[#1]{%
\begin{minipage}{\myboxwidth}
\windowpagestuff
\end{minipage}
} }
\theoremstyle{plain}
\newtheorem{thm}{Теорема}
\renewcommand{\thethm}{\arabic{thm}}
\begin{document}
\begin{thm}[о существовании и единственности неявной функции, заданной одним уравнением]\label{yaa14th1}
Пусть функция $F(x,y)$ определена и непрерывна в некоторой $\delta$-окрестности точки $(x_0,y_0)$, и пусть $F(x_0,y_0)=0$. Тогда, если $F(x,y)$ при каждом фиксированном $x$ строго монотонна по $y$, то у точек $x_0$ и $y_0$ существуют окрестности $\Delta$ и $(a;b)$ такие, что на множестве $\Delta\times(a;b)$ уравнение $F(x,y)=0$ определяет единственную неявную функцию $y=f(x),\; x\in\Delta$, и эта функция $f$ непрерывна на $\Delta$.
\end{thm}
\begin{proof}
По условию функция $F(x_0,y)$ строго монотонна и равна нулю при $y_0$.\addpicture{r}{ch9pict1.png}{0.47} Пусть для определенности, она строго возрастает. Тогда $F(x_0,y)>0$ для всех допустимых $y>0$ и $F(x_0,y)<0$ для всех допустимых $y<y_0$.
Выберем некоторые $a$ и $b$ такие, что $a<y_0<b$ и точки $(x_0,a)$, $(x_0,b)$ лежать в $\delta$-окрестности точки $(x_0,y_0)$. Тогда
$$
F(x_0,a)<0<F(x_0,b).
$$
Функции $F(x,a)$ и $F(x,b)$ непрерывны в точке $x_0$, поэтому существуют окрестности $\Delta'$ и $\Delta''$ точки $x_0$ такие, что (рис.)
$$
F(x,a)<0 \quad \forall x\in \Delta', \qquad F(x,b)>0\quad \forall x\in \Delta''.
$$
Отсюда следует, что $F(x,a)<0<F(x,b)$ для любого $x$ из интервала $\Delta = \Delta'\cap\Delta''$. А так как функция $F(x,y)$ при каждом фиксированном $x\in\Delta$ по $y$ непрерывна и строго монотонна, то для каждого $x\in \Delta$ существует единственное $y$, которое обозначим $f(x)$, такое что $f(x)\in(a;b)$ и $F(x,f(x))=0$. Следовательно, на прямоугольнике $\Delta\times(a;b)$ уравнение $F(x,y)=0$ определяет единственную неявную функцию $y=f(x)$. Докажем, что она непрерывна в точке $x_0$
Выберем некоторую окрестность $(\alpha;\beta)$ точки $y_0$. Не ограничивая общности, будем считать, что $(\alpha;\beta)\subset (a;b)$. Тогда точно также, как и для интервала $(a,b)$, строится окрестность $\Delta=\Delta(\alpha;\beta)$ точки $x_0$ такая, что $\forall x\in\Delta \quad f(x)\in(\alpha;\beta)$. А это и означает, что функция $f$ непрерывна в точке $x_0$.
Непрерывность функции $y=f(x)$ в любой точке $x_1\in\Delta$ следует из того, что в точке с координатами $x_1$ и $y_1=f(x_1)$ выполнены все условия теоремы, поэтому, согласно доказанному, у точки $(x_1,y_1)$ существует прямоугольная окрестность, в которой уравнение $F(x,y)=0$ определяет единственную функцию $y=f(x_1),\;x\in\Delta_1$, которая непрерывна в точке $x_1$. Очевидно, что $f_1(x)=f(x)\quad \forall x\in\Delta\cap\Delta_1$, и поэтому функция $f(x)$ непрерывна в точке $x_1\in\Delta$.
Теорема доказана.
\end{proof}
\end{document}
答案1
这是一个依赖于threeparttable包和insbox宏集的解决方案。我定义了一个\myaddpicture命令，它使用一个可选参数和两个强制参数（图形文件及其缩放比例）。可选参数是对较短行数的修正（默认情况下为 5，以便放置标题）。
\documentclass{article}
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage[demo]{graphicx}
\usepackage{amsthm}
\usepackage{caption}
\usepackage{microtype}
\theoremstyle{plain}
\newtheorem{thm}{Теорема}
\renewcommand{\thethm}{\arabic{thm}}
\input{insbox.tex}
\usepackage{threeparttable}
\newcommand\myaddpicture[3][6]{%
\InsertBoxR{0}{\begin{threeparttable}\begin{tabular}{c@{}}\includegraphics[scale=#3]{#2}\end{tabular}\captionof{figure}{}\end{threeparttable}}[#1]
}
\begin{document}
\begin{thm}[о существовании и единственности неявной функции, заданной одним уравнением]\label{yaa14th1}
Пусть функция $F(x,y)$ определена и непрерывна в некоторой $\delta$-окрестности точки $(x_0,y_0)$, и пусть $F(x_0,y_0)=0$. Тогда, если $F(x,y)$ при каждом фиксированном $x$ строго монотонна по $y$, то у точек $x_0$ и $y_0$ существуют окрестности $\Delta$ и $(a;b)$ такие, что на множестве $\Delta\times(a;b)$ уравнение $F(x,y)=0$ определяет единственную неявную функцию $y=f(x),\; x\in\Delta$, и эта функция $f$ непрерывна на $\Delta$.
\end{thm}
\begin{proof}
По условию функция $F(x_0,y)$ строго монотонна и равна нулю при $y_0$.%\addpicture{r}{ch9pict1.png}{0.47}
\myaddpicture{ch9pict1.png}{0.47}
Пусть для определенности, она строго возрастает. Тогда $F(x_0,y)>0$ для всех допустимых $y>0$ и $F(x_0,y)<0$ для всех допустимых $y<y_0$.
Выберем некоторые $a$ и $b$ такие, что $a<y_0<b$ и точки $(x_0,a)$, $(x_0,b)$ лежать в $\delta$-окрестности точки $(x_0,y_0)$. Тогда
$$
F(x_0,a)<0<F(x_0,b).
$$
Функции $F(x,a)$ и $F(x,b)$ непрерывны в точке $x_0$, поэтому существуют окрестности $\Delta'$ и $\Delta''$ точки $x_0$ такие, что (рис.)
\[
F(x,a)<0 \quad \forall x\in \Delta', \qquad F(x,b)>0\quad \forall x\in \Delta''.
\]
Отсюда следует, что $F(x,a)<0<F(x,b)$ для любого $x$ из интервала $\Delta = \Delta'\cap\Delta''$. А так как функция $F(x,y)$ при каждом фиксированном $x\in\Delta$ по $y$ непрерывна и строго монотонна, то для каждого $x\in \Delta$ существует единственное $y$, которое обозначим $f(x)$, такое что $f(x)\in(a;b)$ и $F(x,f(x))=0$. Следовательно, на прямоугольнике $\Delta\times(a;b)$ уравнение $F(x,y)=0$ определяет единственную неявную функцию $y=f(x)$. Докажем, что она непрерывна в точке $x_0$
\myaddpicture{ch9pict1.png}{0.47}
Выберем некоторую окрестность $(\alpha;\beta)$ точки $y_0$. Не ограничивая общности, будем считать, что $(\alpha;\beta)\subset (a;b)$. Тогда точно также, как и для интервала $(a,b)$, строится окрестность $\Delta=\Delta(\alpha;\beta)$ точки $x_0$ такая, что $\forall x\in\Delta \quad f(x)\in(\alpha;\beta)$. А это и означает, что функция $f$ непрерывна в точке $x_0$.
Непрерывность функции $y=f(x)$ в любой точке $x_1\in\Delta$ следует из того, что в точке с координатами $x_1$ и $y_1=f(x_1)$ выполнены все условия теоремы, поэтому, согласно доказанному, у точки $(x_1,y_1)$ существует прямоугольная окрестность, в которой уравнение $F(x,y)=0$ определяет единственную функцию $y=f(x_1),\;x\in\Delta_1$, которая непрерывна в точке $x_1$. Очевидно, что $f_1(x)=f(x)\quad \forall x\in\Delta\cap\Delta_1$, и поэтому функция $f(x)$ непрерывна в точке $x_1\in\Delta$.
Теорема доказана.
\end{proof}
\end{document}
