From: j8takagi Date: Sun, 8 Dec 2013 16:06:12 +0000 (+0900) Subject: テストに、相互参照に関するものを追加。また、エラーが発生するテストの名前をerrorではじまるよう変更 X-Git-Url: https://j8takagi.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5cf06a94624e9eb77d35557ece89ad36df1d0e3f;p=makefiles.git テストに、相互参照に関するものを追加。また、エラーが発生するテストの名前をerrorではじまるよう変更 --- diff --git a/latex_mk/test/crossref/Makefile b/latex_mk/test/crossref/Makefile new file mode 100644 index 0000000..6a147f5 --- /dev/null +++ b/latex_mk/test/crossref/Makefile @@ -0,0 +1,9 @@ +TEXTARGETS := crossref.pdf + +all: $(TEXTARGETS) + +include latex.mk + +clean: tex-clean + +distclean: clean tex-distclean diff --git a/latex_mk/test/crossref/crossref.tex b/latex_mk/test/crossref/crossref.tex new file mode 100644 index 0000000..725e291 --- /dev/null +++ b/latex_mk/test/crossref/crossref.tex @@ -0,0 +1,73 @@ +\documentclass[fleqn]{jsarticle} +\usepackage{amsmath} +\begin{document} + +\title{微分積分法の基本定理 fundamental theorem of calculus} +\author{} +\date{} + +\section*{微分積分法の基本定理} + +関数 $f(x)$ の面積を $S(x)$、$x_0$、$x$ を$f(x)$ 上の点とし、$F(x) = \int f(x) dx$ とすると、 + +\begin{align*} + S(x) = \lim_{n \to \infty} \sum^{n}_{k=1} \frac{x - x_0}{n} f(x_0 + \frac{x-x_0}{n} k) = F(x) - F(x_0) +\end{align*} + +$S(x)$ は、次のように表すこともできる。 + +\begin{align*} + \int^{x}_{x_0} f(t) dt &= F(x) - F(x_0) \\ + &= [F(t)]^x_{x_0} +\end{align*} + +\subsection*{証明} +微分の定義により、 +\begin{align} + S'(x) = \lim_{h \to 0} \frac{S(x+h) - S(x)}{h} + \label{df} +\end{align} + +$f(x)$ の $[x, x+h]$ での 最小値・最大値をそれぞれ $\min(f(x+h))$、$\max(f(x+h))$ とすると、 +\begin{align*} + h \cdot \min(f(x+h)) &\leq S(x+h) - S(x) \leq h \cdot \max(f(x+h)) \\ + \min(f(x+h)) &\leq \frac{S(x+h) - S(x)}{h} \leq \max(f(x+h)) +\end{align*} + +$h \to 0$ とすると、$\min(f(x+h)) \to f(x)$、$\max(f(x+h)) \to f(x)$。 + +そのため、はさみうちの原理により、 +\begin{align} + \lim_{h \to 0} \frac{S(x+h) - S(x)}{h} = f(x) + \label{hasami} +\end{align} + + +\ref{df}、\ref{hasami} より、 +\begin{align*} + S'(x) = f(x) +\end{align*} + +$C$ を積分定数とすると、 +\begin{align} + S(x) = F(x) + C + \label{sx} +\end{align} + +また、$x = x_0$ のとき、 +\begin{align*} + S(x_0) = \lim_{n \to \infty} \sum^{n}_{k=1} \frac{x_0 - x_0}{n} f(x_0 + \frac{x_0-x_0}{n} k) = 0 +\end{align*} + +\ref{sx} に$x = x_0$、$S(x_0) = 0$ を代入し、 +\begin{align*} + 0 &= F(x_0) + C \\ + C &= -F(x_0) +\end{align*} + +そのため、 +\begin{align*} + S(x) = F(x) - F(x_0) +\end{align*} + +\end{document} diff --git a/latex_mk/test/graphics_error/latex.mk b/latex_mk/test/crossref/latex.mk similarity index 100% rename from latex_mk/test/graphics_error/latex.mk rename to latex_mk/test/crossref/latex.mk diff --git a/latex_mk/test/error_crossref/Makefile b/latex_mk/test/error_crossref/Makefile new file mode 100644 index 0000000..6a147f5 --- /dev/null +++ b/latex_mk/test/error_crossref/Makefile @@ -0,0 +1,9 @@ +TEXTARGETS := crossref.pdf + +all: $(TEXTARGETS) + +include latex.mk + +clean: tex-clean + +distclean: clean tex-distclean diff --git a/latex_mk/test/error_crossref/crossref.tex b/latex_mk/test/error_crossref/crossref.tex new file mode 100644 index 0000000..af5bbbf --- /dev/null +++ b/latex_mk/test/error_crossref/crossref.tex @@ -0,0 +1,73 @@ +\documentclass[fleqn]{jsarticle} +\usepackage{amsmath} +\begin{document} + +\title{微分積分法の基本定理 fundamental theorem of calculus} +\author{} +\date{} + +\section*{微分積分法の基本定理} + +関数 $f(x)$ の面積を $S(x)$、$x_0$、$x$ を$f(x)$ 上の点とし、$F(x) = \int f(x) dx$ とすると、 + +\begin{align*} + S(x) = \lim_{n \to \infty} \sum^{n}_{k=1} \frac{x - x_0}{n} f(x_0 + \frac{x-x_0}{n} k) = F(x) - F(x_0) +\end{align*} + +$S(x)$ は、次のように表すこともできる。 + +\begin{align*} + \int^{x}_{x_0} f(t) dt &= F(x) - F(x_0) \\ + &= [F(t)]^x_{x_0} +\end{align*} + +\subsection*{証明} +微分の定義により、 +\begin{align} + S'(x) = \lim_{h \to 0} \frac{S(x+h) - S(x)}{h} + \label{df} +\end{align} + +$f(x)$ の $[x, x+h]$ での 最小値・最大値をそれぞれ $\min(f(x+h))$、$\max(f(x+h))$ とすると、 +\begin{align*} + h \cdot \min(f(x+h)) &\leq S(x+h) - S(x) \leq h \cdot \max(f(x+h)) \\ + \min(f(x+h)) &\leq \frac{S(x+h) - S(x)}{h} \leq \max(f(x+h)) +\end{align*} + +$h \to 0$ とすると、$\min(f(x+h)) \to f(x)$、$\max(f(x+h)) \to f(x)$。 + +そのため、はさみうちの原理により、 +\begin{align} + \lim_{h \to 0} \frac{S(x+h) - S(x)}{h} = f(x) + \label{hasami} +\end{align} + + +\ref{noexist}、\ref{hasami} より、 +\begin{align*} + S'(x) = f(x) +\end{align*} + +$C$ を積分定数とすると、 +\begin{align} + S(x) = F(x) + C + \label{sx} +\end{align} + +また、$x = x_0$ のとき、 +\begin{align*} + S(x_0) = \lim_{n \to \infty} \sum^{n}_{k=1} \frac{x_0 - x_0}{n} f(x_0 + \frac{x_0-x_0}{n} k) = 0 +\end{align*} + +\ref{sx} に$x = x_0$、$S(x_0) = 0$ を代入し、 +\begin{align*} + 0 &= F(x_0) + C \\ + C &= -F(x_0) +\end{align*} + +そのため、 +\begin{align*} + S(x) = F(x) - F(x_0) +\end{align*} + +\end{document} diff --git a/latex_mk/test/simle_error_no_end_doc/latex.mk b/latex_mk/test/error_crossref/latex.mk similarity index 100% rename from latex_mk/test/simle_error_no_end_doc/latex.mk rename to latex_mk/test/error_crossref/latex.mk diff --git a/latex_mk/test/simle_error_no_end_doc/Makefile b/latex_mk/test/error_no_end_seq/Makefile similarity index 100% rename from latex_mk/test/simle_error_no_end_doc/Makefile rename to latex_mk/test/error_no_end_seq/Makefile diff --git a/latex_mk/test/simle_error_undef_ctl_seq/latex.mk b/latex_mk/test/error_no_end_seq/latex.mk similarity index 100% rename from latex_mk/test/simle_error_undef_ctl_seq/latex.mk rename to latex_mk/test/error_no_end_seq/latex.mk diff --git a/latex_mk/test/simle_error_no_end_doc/simple.tex b/latex_mk/test/error_no_end_seq/simple.tex similarity index 100% rename from latex_mk/test/simle_error_no_end_doc/simple.tex rename to latex_mk/test/error_no_end_seq/simple.tex diff --git a/latex_mk/test/graphics_error/Makefile b/latex_mk/test/error_no_graphic_file/Makefile similarity index 100% rename from latex_mk/test/graphics_error/Makefile rename to latex_mk/test/error_no_graphic_file/Makefile diff --git a/latex_mk/test/graphics_error/banana.jpg b/latex_mk/test/error_no_graphic_file/banana.jpg similarity index 100% rename from latex_mk/test/graphics_error/banana.jpg rename to latex_mk/test/error_no_graphic_file/banana.jpg diff --git a/latex_mk/test/graphics_error/graphics.tex b/latex_mk/test/error_no_graphic_file/graphics.tex similarity index 100% rename from latex_mk/test/graphics_error/graphics.tex rename to latex_mk/test/error_no_graphic_file/graphics.tex diff --git a/latex_mk/test/error_no_graphic_file/latex.mk b/latex_mk/test/error_no_graphic_file/latex.mk new file mode 120000 index 0000000..5a11d14 --- /dev/null +++ b/latex_mk/test/error_no_graphic_file/latex.mk @@ -0,0 +1 @@ +../../latex.mk \ No newline at end of file diff --git a/latex_mk/test/simle_error_undef_ctl_seq/Makefile b/latex_mk/test/error_undef_ctl_seq/Makefile similarity index 100% rename from latex_mk/test/simle_error_undef_ctl_seq/Makefile rename to latex_mk/test/error_undef_ctl_seq/Makefile diff --git a/latex_mk/test/error_undef_ctl_seq/latex.mk b/latex_mk/test/error_undef_ctl_seq/latex.mk new file mode 120000 index 0000000..5a11d14 --- /dev/null +++ b/latex_mk/test/error_undef_ctl_seq/latex.mk @@ -0,0 +1 @@ +../../latex.mk \ No newline at end of file diff --git a/latex_mk/test/simle_error_undef_ctl_seq/simple.tex b/latex_mk/test/error_undef_ctl_seq/simple.tex similarity index 100% rename from latex_mk/test/simle_error_undef_ctl_seq/simple.tex rename to latex_mk/test/error_undef_ctl_seq/simple.tex