Estudantes de matemática: teoremas, provas e notação que permanece consistente

Os artigos de matemática são notação mais estrutura de prova. LaTeX é o padrão porque ambos fica doloroso no Word quando o argumento dura mais do que uma página. O compilador é não a parte difícil. Consistência é: números de teoremas que saltam quando você insere um lema, uma letra V que significa três coisas diferentes e provas que deixam o Marca QED flutuando na próxima linha.

Esta é uma configuração prática para cursos, notas arXiv e capítulos de teses. Roube o que você precisa; ignore o resto até doer.

amsthm cedo, antes do primeiro lema

Carregue amsthm antes de inventar um “Teorema” em negrito ad-hoc. títulos:

\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
\theoremstyle{remark}
\newtheorem*{remark}{Remark}

A numeração por seção mantém as referências estáveis quando você insere material acima de uma resultado. Compartilhar um contador ([teorema]) para lemas e proposições é comum em matemática pura; os papéis aplicados às vezes numeram tudo de forma independente. Escolha um e cumpra-o em todo o documento.

Lição: teorema e blocos de prova.

Provas que terminam de forma limpa

Use o ambiente proof para que a marca de fim da prova fique no lugar certo:

\begin{proof}
  ...
\end{proof}

Se a última linha for uma equação exibida, termine com \qedhere para que a caixa fique não órfão na linha seguinte. Provas aninhadas (declaração dentro de uma prova) funcionam melhor como ambientes claim com suas próprias provas curtas do que como recuados prosa que nunca termina.

Para trabalhos de casa em que o instrutor deseja etapas marcadas à mão, ainda use LaTeX para o PDF de envio limpo, mas mantenha o trabalho bruto em um arquivo de notas separado para que você possa fazer não exclua a única linha correta ao reescrever.

Macro higiene

Defina os símbolos uma vez:

\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\eps}{\varepsilon}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Spec}{Spec}

Se duas noções compartilham uma letra, elimine a ambigüidade com macros (\VectSpace vs. \RandomVar) em vez de reutilizar V com fontes diferentes. Os coautores não adivinhe qual fonte significa qual objeto. Quando uma folha de anotação ultrapassa uma tela, coloque-o em notation.tex e \input para que todos editem um arquivo.

As ferramentas de IA adoram inventar novos símbolos. Se você usar um, cole seu bloco de macro em o prompt e exija que ele use apenas nomes definidos. A mesma disciplina se aplica sem AI: novo símbolo → adicione à planilha → digite.

Alinhar para derivações longas

align e split mantêm os cálculos multilinhas legíveis. Numere apenas as linhas que você citará com \eqref. Uma parede de equações numeradas é mais difícil de seguir do que uma narrativa curta com duas linhas marcadas.

\begin{align}
  f(x)
  &= g(x) + h(x) \label{eq:decomp} \\
  &= \cdots
\end{align}

Para uma única equação multilinha que deve conter um número, use split dentro da equação. Para casos, cases ou aligned supera uma série caseira de canos.

Referências cruzadas que sobrevivem ao reordenamento

Nunca escreva “pelo Teorema 2.3” como texto simples. Use \ref ou, com cleveref, \cref{thm:principal}. Os rótulos vão depois da legenda ou da linha do título do teorema, não antes. Se dois capítulos compartilham rótulos como thm:main, prefixo por capítulo (ch3-thm:main) ou você obterá alvos errados e silenciosos ao mesclar arquivos.

A definição de todo o projeto e as verificações de referência quebrada em tempo real ajudam em vários arquivos teses. Esse é um território normal para editores de pesquisa agora, não um luxo.

Notas e teses de vários arquivos

Mesmo um longo conjunto de trabalhos de casa é mais fácil com um arquivo raiz e entradas de seção. Teses quase sempre quero \include por capítulo e \includeonly enquanto você redige um capítulo por vez. Mantenha as figuras em figures/ch3/ para que reordenar os capítulos não quebrar caminhos.

A compilação de teses completas fica lenta. Modo de rascunho de figura, externalizar TikZ pesado e compile apenas o capítulo que você está editando quando puder. Veja arquivos de capítulo dividido e acelerar a compilação.

Quando o PDF é entregue

O curso ainda precisa de uma estrutura enfadonha: margens por programa, números de página, título e, às vezes, uma declaração de integridade acadêmica. O referência rápida aborda isso para que você possa dedicar atenção a prova.

Mantenha a fonte. Um PDF marcado sem .tex é um beco sem saída quando o próximo problema set reutiliza o mesmo preâmbulo. Uma pasta local com o histórico do Git (ou uma pesquisa editor que compila pontos de verificação para você) supera final_v3_really.pdf no área de trabalho.

Antes de enviar

Certifique-se de que os teoremas e lemas compartilhem um esquema de numeração coerente, cada símbolo em o corpo é definido na planilha macro e as provas usam proof / \qedhere onde necessário. Numere apenas as equações que você cita. Todas as referências cruzadas devem ser \ref/\cref, não números codificados. Abra o PDF uma vez: incorporação de fontes, margens combinar com o briefing.

Lição de casa versus papel

Para o dever de casa, a clareza supera a inteligência do pacote. Para um capítulo de artigo ou tese, invista na configuração do teorema e na planilha macro uma vez e depois reutilize. Não reconstrua numeração no meio do projeto porque uma postagem no blog sugeriu um estilo diferente.

Compartilhando com coautores

Envie um PDF para leitura e um repositório (ou zip de fontes) para edição. Se um o coautor retorna apenas a marcação digitalizada, aplica-a no mesmo dia e confirma. Obsoleto pilhas de papel são como duas pessoas “consertam” o mesmo lema de maneira diferente.

Depois desse trabalho de configuração, o LaTeX praticamente desaparece e você pode pensar na matemática.