【LaTeX】 案例分析 (6) - 数学公式

这是SEU新生研讨课作业，主要内容是学习数字信号处理。

---

代码

\documentclass{article}

\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage{titlesec}
\usepackage{titletoc}
\usepackage{listings}
\usepackage{appendix}
\usepackage{bm, amsmath, amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{multirow}
\usepackage{hyperref}
\usepackage{subfig}
\usepackage{url}
\usepackage{cite}
\usepackage[a4paper, left=2.5cm, right=2.5cm, top=2.65cm, bottom=2.54cm]{geometry}

\title{\huge \bfseries The proof of an equation used in unfolding}
\author{\Large Teddy van Jerry}
\date{\today}

\pagestyle{fancy}
\fancyhf{}
\cfoot{\thepage}
\chead{ALL RIGHTS RESERVED \copyright \  2020 Teddy van Jerry }

\begin{document}

    \maketitle

    \section{The exercise}

        ~

        Please prove the following equation.

        \begin{equation}
            \sum_{i=0}^{J-1} \left\lfloor \frac{w+i}{J} \right\rfloor= w \text{,} 
        \end{equation}

        where $w$ is the edge weight (constant) and $w,J \in \mathbb{Z}^+ $.\\

        Attention: Please use \LaTeX \ to compose your answer.

    \section{Proof}
    
        ~

        First we define

        \begin{equation}
            \left\lfloor \frac{w}{J} \right\rfloor = x_0
        \end{equation}

        which is equivalent to

        \begin{equation}
            x_0 \leqslant \frac{w}{J} \textless x_0+1\text{.}
            \label{range}
        \end{equation}

        Notice that

        \begin{equation}
            x_0 \leqslant \frac{w}{J} \leqslant \frac{w+J-1}{J} \textless 1+\frac{w}{J}\textless x_0+2\text{,}
        \end{equation}

        which means that the largest term

        \begin{equation}
            \left\lfloor \frac{w+J-1}{J} \right\rfloor \leqslant x_0+1\text{,}
        \end{equation}

        so we need to calculate whether each term is $x_0$ or $x_0+1$,
        thus we solve the follwing formula:

        \begin{equation}
            \frac{w+i}{J} = x_0 + 1\text{,}
        \end{equation}

        we get

        \begin{equation}
            i = J(x_0+1)-w\text{,}
        \end{equation}

        Besides,

        \begin{equation}
            J(x_0+1)-w \textgreater J\cdot \frac{w}{J}-w=0
        \end{equation}

        and known from Formula \ref{range},

        \begin{equation}
            \begin{aligned}
                J(x_0+1)-w & = J\left[(1+x_0)-\frac{w}{J}\right]  \\
                & \leqslant J\left[(1+x_0)-x_0\right] \\
                & = J\text{,}
            \end{aligned}
        \end{equation}

        we can conclude that

        \begin{equation}
            \left\lfloor \frac{w+i}{J} \right\rfloor=
            \begin{cases}
                x_0 & \mbox{ , $ 0\leqslant i \textless J(x_0+1)-w $ }\\
                x_0+1 & \mbox{ , $ J(x_0+1)-w \leqslant i \leqslant J - 1$ }
            \end{cases}
            \text{.}
        \end{equation}

        so

        \begin{equation}
            \begin{aligned}
                \sum_{i=0}^{J-1} \left\lfloor \frac{w+i}{J} \right\rfloor=\ &
                \sum_{i=0}^{J(x_0+1)-w-1} \left\lfloor \frac{w+i}{J} \right\rfloor
                +\sum_{i=J(x_0+1) - w}^{J-1} \left\lfloor \frac{w+i}{J} \right\rfloor \\
                =\ & x_0\left[J(x_0+1)-w\right]+(x_0+1)\left[w-Jx_0\right] \\
                =\ & J\left(x_0+x_0^2\right)-x_0w + (x_0+1)w-J\left(x_0+x_0^2\right) \\
                =\ & w
            \end{aligned}
        \end{equation}
        % \qedhere

        Q.E.D.\\

    \section*{Appendix}

        ~
        
        This passage is compiled by \LaTeX.\\

        You can get my \LaTeX \ code and notes in my CSDN blog:

        Code:\ \ 
        \url{https://blog.csdn.net/weixin_50012998/article/details/110389154}

        Notes:
        \url{https://blog.csdn.net/weixin_50012998/article/details/110138384}

\end{document}

界面

效果

分析

• 使用好 VS Code 或 Tex Studio 里的 Snippet Panel。此外不要忘记用几个数学公式有关的宏包。
• （其他数学公式 $\text{LATEX}$ 方法总结之后跟进。）

小于等于号

$\text{LATEX}$ 命令	效果
\leq 或 \le	$\le$
\leqslant	$⩽$

leqslant 命令需额外的 package（忘了哪个了，amsmath, amssymb, amsthm, amsfonts 之一）。

条件语句

        \begin{equation}
            \left\lfloor \frac{w+i}{J} \right\rfloor=
            \begin{cases}
                x_0 & \mbox{ , $ 0\leqslant i \textless J(x_0+1)-w $ }\\
                x_0+1 & \mbox{ , $ J(x_0+1)-w \leqslant i \leqslant J - 1$ }
            \end{cases}
            \text{.}
        \end{equation}

---

ALL RIGHTS RESERVED © 2020 Teddy van Jerry
欢迎转载，转载请注明出处。

---

See also

Teddy van Jerry 的导航页