Форматирование и выравнивание реального аналитического доказательства

Форматирование и выравнивание реального аналитического доказательства

Я новичок в LaTeX и пытаюсь отформатировать свои корректуры в следующем стиле на фото. Однако страницаКак правильно отформатировать (и выровнять) корректуру LaTeX?на этом сайте не был эффективным в формировании этого формата. Я пробовал использовать среды {equation}, {aligned}, {proof}и {align}, но пока доказательство не вышло в формате ниже. Любая помощь будет высоко оценена.

Обратите внимание, что работа на этой фотографии взята из интернета.

доказательство

решение1

Прежде всего, добро пожаловать в LaTeX! Следующий ответ содержит пример того, как я справился с вашей проблемой. Поскольку вы новичок, я перечислю каждый предпринятый мной шаг, возможно, немного слишком подробный, но тогда вы поймете, о чем я думаю.

Выход:

введите описание изображения здесь


Объяснение

Блок кода находится в конце этого ответа. Здесь я объясняю, что я сделал или использовал внутри.

  1. Первое, что я сделал, это убедился, что у меня есть Детализация, которая начинается со слов(a) . Я использовалэтот ответв моем коде и добавил пакет в преамбуле. Я изменил \Alph*в(\alph*) который добавляет скобки и не делает буквы заглавными. Затем я использовалрегулярная структура детализацииLaTeX. Это гдеперечислятьпакет используется.
  2. Для выделения текста жирным шрифтом я использовал команду LaTeX \textbf{}.
  3. Для записи математических выражений я записал их в частях между косыми чертами с открывающимися и закрывающимися скобками:\( ... \) . Для любых символов я использовалэтот pdf-файлиэтот интернет-источник. Для символа R я использовалпакет amssymbкоторый дал мне \mathbb{R}команду.
  4. Чтобы выровнять часть текста по правому краю, я использовал\hfill . Это означаетгоризонтальная заливкаи, как и ожидалось, заполнит строку по горизонтали. Любой текст, который вы напишете после этого, LaTeX выровняет по правому краю, потому что он заполняет пространство между ними! Просто и легко.
  5. Чтобы получитьпитание +в третьей строке я просто использовал обычную запись степени в математическом режиме LaTeX, символ шляпы, ^за которым следует +. По привычке я всегда ставлю скобки {}после символа шляпы, что говорит LaTeX использовать только символы внутри скобок, но в этом коде их можно было бы опустить. Я просто выражаюсь здесь явно.
  6. В конце концов, я добавил немного интервала между частями математики, используя \quad. Для получения дополнительной информации о интервалах, я предлагаю прочитатьэта страница проста в использовании.

Все это вместе дало мне результат, показанный выше. Надеюсь, это поможет вам в дальнейшем!


Полный код

\documentclass{article}

\usepackage{enumitem}
\usepackage{amssymb}

\begin{document}


\begin{enumerate}[label=(\alph*)]
    \item   \textbf{Claim.} If \(A \subseteq \mathbb{R} \) is bounded, and \( B \subseteq A \), then \( B \) is bounded.

            \textbf{Proof.} Assume \( A \) is bounded. \hfill Premise

            \( \exists K \in \mathbb{R}^{+} \quad   \forall a \in A \quad   |a| \leq K \) \hfill Def. bounded

            Assume \(B \subseteq A\) \hfill Premise

            Let \( b \in B \) be arbitrary.

            Then \( b \in A \). \hfill Def. \( \subseteq \)
\end{enumerate}


\end{document}

Связанный контент