From f642380d55c66e4e5deaaa6c7cef15f6dbfe36c6 Mon Sep 17 00:00:00 2001 From: syn Date: Wed, 15 Apr 2020 04:35:30 +0300 Subject: Reorganize & alg-1 --- Makefile | 14 ++ alg/alg-1.tex | 76 ++++++ calc/sol0113.tex | 22 ++ calc/sol0120.tex | 372 +++++++++++++++++++++++++++++ calc/sol0127.tex | 268 +++++++++++++++++++++ calc/sol0203.tex | 282 ++++++++++++++++++++++ calc/sol0210.tex | 56 +++++ cat.pdf | Bin 0 -> 27160 bytes cat.svg | 706 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ dm-14.tex | 113 --------- dm-15.tex | 146 ------------ dm-16.tex | 109 --------- dm-17.tex | 100 -------- dm-18.tex | 80 ------- dm-19.tex | 42 ---- dm/dm-14.tex | 113 +++++++++ dm/dm-15.tex | 146 ++++++++++++ dm/dm-16.tex | 109 +++++++++ dm/dm-17.tex | 100 ++++++++ dm/dm-18.tex | 80 +++++++ dm/dm-19.tex | 42 ++++ intro.sty | 94 ++++++++ intro.tex | 59 ----- last.tex | 1 + mathshit.sty | 12 +- sol0113.tex | 22 -- sol0120.tex | 372 ----------------------------- sol0127.tex | 268 --------------------- sol0203.tex | 282 ---------------------- sol0210.tex | 56 ----- 30 files changed, 2486 insertions(+), 1656 deletions(-) create mode 100644 Makefile create mode 100644 alg/alg-1.tex create mode 100644 calc/sol0113.tex create mode 100644 calc/sol0120.tex create mode 100644 calc/sol0127.tex create mode 100644 calc/sol0203.tex create mode 100644 calc/sol0210.tex create mode 100644 cat.pdf create mode 100644 cat.svg delete mode 100644 dm-14.tex delete mode 100644 dm-15.tex delete mode 100644 dm-16.tex delete mode 100644 dm-17.tex delete mode 100644 dm-18.tex delete mode 100644 dm-19.tex create mode 100644 dm/dm-14.tex create mode 100644 dm/dm-15.tex create mode 100644 dm/dm-16.tex create mode 100644 dm/dm-17.tex create mode 100644 dm/dm-18.tex create mode 100644 dm/dm-19.tex create mode 100644 intro.sty delete mode 100644 intro.tex create mode 120000 last.tex delete mode 100644 sol0113.tex delete mode 100644 sol0120.tex delete mode 100644 sol0127.tex delete mode 100644 sol0203.tex delete mode 100644 sol0210.tex diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3b7b246 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +MV ?=mv +RM ?=rm -rf +RMRECURSIVE ?=$(RM) -r + + +all: + true + +clean: + $(MV) cat.pdf cat.pdf.bak + $(RM) *.log *.synctex.gz *.pdf + $(MV) cat.pdf.bak cat.pdf + $(RMRECURSIVE) $(shell fd -I '[a-f0-9]{32}') + diff --git a/alg/alg-1.tex b/alg/alg-1.tex new file mode 100644 index 0000000..a9906b8 --- /dev/null +++ b/alg/alg-1.tex @@ -0,0 +1,76 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +\usepackage{../intro} +\usepackage{cancel} + +\lhead{\color{gray} \small \textit{Шарафатдинов Камиль 192}} +\rhead{\color{gray} \small \textit{алг-1}} + +\title{Алгебра 1} + +% -- Here bet dragons -- +\begin{document} +\maketitle +\drawcat{50pt} +\clearpage + +\dmquestion{1} + + Докажем, что если $\ord(g) = m$, то + \[ + n \divby m \Leftrightarrow g^n = e + \] + + \begin{itemize}[leftmargin=1in] + \item [$\Rightarrow$] \leavevmode \\ + + \[ + g^n = \br{g^m}^{\frac n m} = e^{\frac n m} = e + \] + + \item [$\Leftarrow$] \leavevmode \\ + + Пусть это не так и $\exists\ n \ : \ g^n = e$, но $n$ не делится на $m$. Тогда + \[ + n = mq + r, \ \ 0 \leqslant r < m + \] + \[ + e = g^n = g^{mq + r} = g^{mq} g^r = e^q g^r = g^r + \] + + Но так как $r < m$, значит, $\ord(g) = r < m$. Противоречие. + \end{itemize} + + Тогда понятно, что $\ord(g^k) = \frac{\text{НОК}(m, k)}{k}$ + +\dmquestion{2} + + Пусть $G = \cycle{g}$ и надо доказать, что подгруппа $H \subseteq G$ - циклическая. + Неформально, я хочу показать, что $H$ порождается $g^{\gcd(\{d \ | \ g^d \in H\})}$. + + Введем новую операцию для удобства + \[ + \deg(x) \coloneqq \min \{d \ | \ x = g^d, d \geqslant 0\} + \] + + Возьмем какой-то элемент $h_0 \in H$ так, что $h_0 \neq e$. + Построим последовательность $\{h_i\}$ хитрым образом, докажем, что она конечна и последний ее элемент $h_n$ порождает $H$. + + Пусть $\cycle{h_i} \neq H$ (иначе $H = \cycle{h_i}$ и все доказано), тогда возьмем какой-нибудь элемент $h$ из $H$, но не из $\cycle{h_i}$. + + Так как уравнение + \[ + x \deg(h) + y \deg(h_i) = \gcd(\deg(h), \deg(h_i)) + \] + всегда имеет решение $(x, y)$ в целых числах, то $g^{\gcd(\deg(h),\ \deg(h_i))}$ обязан лежать в $H$. + + Тогда пусть по построению $h_{i + 1} = g^{\gcd(\deg(h),\ \deg(h_i))}$. Заметим, что $\cycle{h_{i + 1}} \in H$, поскольку $H$ - группа. + + Очевидно, что $\gcd(\deg(h), \ \deg(h_i)) \leqslant \deg(h_i)$. Но так как $h \notin \cycle{h_i}$, то $\deg(h)\ \cancel{\divby}\deg(h_i)$, а значит $\gcd(\deg(h), \ \deg(h_i)) < \deg(h_i)$. + + Значит, $h_i > h_{i + 1}$, поэтому $|\{h_n\}| < \infty$. Значит, в какой-то момент перестанет выполняться предположение о том, что $\cycle{h_i} \neq H$, что и требовалось. + +\dmquestion{4} + + +\end{document} diff --git a/calc/sol0113.tex b/calc/sol0113.tex new file mode 100644 index 0000000..06ac8d6 --- /dev/null +++ b/calc/sol0113.tex @@ -0,0 +1,22 @@ +\documentclass[10pt,a5paper]{article} +\usepackage[svgnames, rgb]{xcolor} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} ДЗ к 27.01 (\texttt{sol0113 + sol0120})} +\title{ДЗ на 27.01} +\author{Шарафатдинов Камиль БПМИ-192} +\date{билд: \today} + + +% -- Here bet dragons -- +\begin{document}\thispagestyle{empty} + +\maketitle +\clearpage +\setcounter{page}{1} +\[ + \abs{\frac{1}{2}} +\] +\end{document} diff --git a/calc/sol0120.tex b/calc/sol0120.tex new file mode 100644 index 0000000..f073973 --- /dev/null +++ b/calc/sol0120.tex @@ -0,0 +1,372 @@ +\documentclass[10pt,a5paper]{article} +\usepackage[svgnames, rgb]{xcolor} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} ДЗ к 27.01 (\texttt{sol0113 + sol0120})} +\title{ДЗ на 27.01} +\author{Шарафатдинов Камиль БПМИ-192} +\date{билд: \today} + + +% -- Here bet dragons -- +\begin{document}\thispagestyle{empty} + +\maketitle +\clearpage +\setcounter{page}{1} + +\question{Лемма 1}{ + \[ + \int \frac{dx}{x^s} = \frac{1}{(1 - s)x^{s - 1}} + C + \] +} + \[ + \ br{ \frac{1}{(1 - s)x^{s - 1}} + C }' = + -\frac{0 - (1 - s)(s - 2)x^{s - 2}}{(1 - s)^2 x^{2s - 2}} = + \frac{1}{x^s} \qed + \] + +\question{Лемма 2}{ + \[ + \int \frac{dx}{(x^2 + a^2)^2} = \frac{1}{2a^2} \ br{ + \frac{x}{x^2 + a^2} + \frac{1}{a}\arctan\frac{x}{a} + } + C + \] +} + + \begin{align*} + \ br{ + \frac{1}{2a^2} \ br{ + \frac{x}{x^2 + a^2} + \frac{1}{a}\arctan\frac{x}{a} + } + }' = + \frac{1}{2a^2} \ br{ + \frac{x^2 + a^2 - 2x^2}{(x^2 + a^2)^2} + \frac{1}{x^2 + a^2} + } = + \frac{1}{2a^2} \ br{ + \frac{2a^2}{(x^2 + a^2)^2} + } = + \frac{1}{(x^2 + a^2)^2} \qed + \end{align*} + +\question{(seminar0113) 7.3}{ + \[ + \int \frac{dx}{x^4 + 4} = \frac{ + \log | x^2 + 2x + 2 | + 2\arctan(x + 1) - + \log | x^2 - 2x + 2 | + 2\arctan(x - 1) + }{16} + \bar{C} + \] +} + + \[ + x^4 + 4 = (x - (1 + i))(x - (i - 1))(x - (-i - 1))(x - (-i + 1)) = + (x^2 + 2x + 2)(x^2 - 2x + 2) + \] + + \[ + \frac{1}{x^4 + 4} = \frac{Ax + B}{x^2 + 2x + 2} + \frac{Cx + D}{x^2 - 2x + 2} + \] + + \[ + (Ax + B)(x^2 - 2x + 2) + (Cx + D)(x^2 + 2x + 2) \equiv 1 + \] + + С помощью давно забытой китайской техники решения систем уравнений получаем: + \[\begin{cases*} + A = \frac{1}{8}\\ + B = \frac{1}{4}\\ + C = -\frac{1}{8}\\ + D = \frac{1}{4}\\ + \end{cases*}\] + + \[ + \int \frac{1}{x^4 + 4} = + \frac{1}{8}\int \frac{x + 2}{x^2 + 2x + 2} dx + + \frac{1}{8}\int \frac{2 - x}{x^2 - 2x + 2} dx + \] + + \begin{minipage}{0.45\textwidth} + \setlength{\jot}{16pt} + \begin{gather*} + \int \frac{x + 2}{x^2 + 2x + 2} dx =\\ + \int \frac{x + 2}{(x + 1)^2 + 1} dx =\\ + \int \frac{(x + 1) dx}{(x + 1)^2 + 1} + \int \frac{dx}{(x + 1)^2 + 1} =\\ + =\begin{bmatrix} \frac{d(x^2 + 2x + 2)}{2} = (x + 1)dx \end{bmatrix} =\\ + \int \frac{\frac{1}{2}d( (x + 1)^2 + 1 )}{(x + 1)^2 + 1} + \arctan(x + 1) =\\ + = \frac{1}{2}\log | x^2 + 2x + 2 | + \arctan(x + 1) + C_1 + \end{gather*} + \end{minipage} + \begin{minipage}{0.45\textwidth} + \begin{tabular}{|p{\textwidth}} + \setlength{\jot}{16pt} + \begin{gather*} + \int \frac{2 - x}{x^2 - 2x + 2} dx =\\ + -\int \frac{x - 2}{(x - 1)^2 + 1} dx =\\ + -\int \frac{(x - 1) dx}{(x - 1)^2 + 1} + \int \frac{dx}{(x - 1)^2 + 1} =\\ + =\begin{bmatrix} \frac{d(x^2 - 2x + 2)}{2} = (x - 1)dx \end{bmatrix} =\\ + -\int \frac{\frac{1}{2}d( (x - 1)^2 + 1 )}{(x - 1)^2 + 1} + \arctan(x - 1) =\\ + = -\frac{1}{2}\log | x^2 - 2x + 2 | + \arctan(x - 1) + C_2 + \end{gather*} + \end{tabular} + \end{minipage} + + \begin{gather*} + \frac{1}{8}\int \frac{x + 2}{x^2 + 2x + 2} dx + + \frac{1}{8}\int \frac{2 - x}{x^2 - 2x + 2} dx =\\ + =\frac{1}{16}\ br{ + \log | x^2 + 2x + 2 | + 2\arctan(x + 1) - + \log | x^2 - 2x + 2 | + 2\arctan(x - 1) + } + \bar{C} + \end{gather*} + +\question{(seminar0113) 8.b}{ + \[ + \int \frac{x^5 - x}{x^8 + 1}dx = \frac{\sqrt{2}}{8} \ br{ + \log |x^4 - \sqrt{2} x^2 + 1| - \log |x^4 + \sqrt{2} x^2 + 1| + } + \bar{C} + \] +} + + \[ + \int \frac{x^5 - x}{x^8 + 1}dx = + \int \frac{x(x^4 - 1}{x^8 + 1}dx = + \begin{bmatrix} + u = x^2\\ + dx = \frac{du}{2x} + \end{bmatrix} = + \int \frac{x(u^2 - 1)}{u^4 + 1}\frac{du}{2x} = + \frac{1}{2} \int \frac{u^2 - 1}{u^4 + 1} du + \] + \[ + u^4 + 1 = \ br{u^2 + \sqrt{2} u + 1}\ br{u^2 - \sqrt{2} u + 1} + \] + \[ + \frac{u^2 - 1}{u^4 + 1} = + \frac{Au + B}{u^2 + \sqrt{2} u + 1} + + \frac{Cu + D}{u^2 - \sqrt{2} u + 1} + \] + + \[ + (Au + B)(u^2 - \sqrt{2}u + 1) + (Cu + D)(u^2 + \sqrt{2}u + 1) \equiv u^2 - 1 + \] + + Все тем же китайским методом: + \[\begin{cases*} + A = -\frac{\sqrt{2}}{2}\\ + B = -\frac{1}{2}\\ + C = \frac{\sqrt{2}}{2}\\ + D = -\frac{1}{2}\\ + \end{cases*}\] + + \newcommand{\invsq}{\frac{\sqrt{2}}{2}} + \[ + \int \frac{u^2 - 1}{u^4 + 1} du = + \invsq \int \frac{-u - \invsq}{u^2 + \sqrt{2} u + 1} du + + \invsq \int \frac{u - \invsq}{u^2 - \sqrt{2} u + 1} du + \] + + \begin{minipage}{0.45\textwidth} + \setlength{\jot}{16pt} + \begin{gather*} + \int \frac{-u - \invsq}{u^2 + \sqrt{2} u + 1} du =\\ + -\int \frac{u + \invsq}{u^2 + \sqrt{2} u + 1} du =\\ + -\frac{1}{2} \int \frac{d \ br{ u^2 + \sqrt{2} u + 1 }}{u^2 + \sqrt{2} u + 1} =\\ + -\frac{1}{2} \log |u^2 + \sqrt{2} u + 1| + C_1 + \end{gather*} + \end{minipage} + \begin{minipage}{0.45\textwidth} + \begin{tabular}{|p{\textwidth}} + \setlength{\jot}{16pt} + \begin{gather*} + \int \frac{u - \invsq}{u^2 - \sqrt{2} u + 1} du =\\ + \int \frac{u + \invsq}{u^2 - \sqrt{2} u + 1} du =\\ + \frac{1}{2} \int \frac{d \ br{ u^2 - \sqrt{2} u + 1 }}{u^2 - \sqrt{2} u + 1} =\\ + \frac{1}{2} \log |u^2 - \sqrt{2} u + 1| + C_2 + \end{gather*} + \end{tabular} + \end{minipage} + + \[ + \frac{1}{2} \int \frac{u^2 - 1}{u^4 + 1} du = + \frac{\sqrt{2}}{8} \ br{ + \log |u^2 - \sqrt{2} u + 1| - \log |u^2 + \sqrt{2} u + 1| + } + C_3 + \] + + Обратно к $x$: + \[ + \int \frac{x^5 - x}{x^8 + 1}dx = + \frac{\sqrt{2}}{8} \ br{ + \log |x^4 - \sqrt{2} x^2 + 1| - \log |x^4 + \sqrt{2} x^2 + 1| + } + \bar{C} + \] + +\clearpage +\question{(seminar0113) 13}{ + \[ + \int \frac{x \ dx}{(x^2 + 1)(x + 2)(x + 3)} = \frac{1}{20} \ br{ + -8 \log |x + 2| + 6 \log |x + 3| + \log (x^2 + 1) + 2\arctan x + } + \bar{C} + \] +} + \[ + \frac{x}{(x^2 + 1)(x + 2)(x + 3)} = + \frac{Ax + B}{x^2 + 1} + \frac{C}{x + 2} + \frac{D}{x + 3} + \] + + \[ + (Ax + B)(x + 2)(x + 3) + C(x^2 + 1)(x + 3) + D(x^2 + 1)(x + 2) \equiv x + \] + \[\begin{cases*} + A = 0.1\\ + B = 0.1\\ + C = -0.4\\ + D = 0.3\\ + \end{cases*}\] + + \begin{gather*} + \int -\frac{2}{5} \frac{dx}{x + 2} = -\frac{2 \log |x + 2|}{5} + C_1\\[16pt] + \int \frac{3}{10} \frac{dx}{x + 3} = \frac{3 \log |x + 3|}{10} + C_2\\[16pt] + \int \frac{1}{10} \frac{(x + 1) dx}{x^2 + 1} = + \frac{1}{10} \ br{ + \frac{1}{2}\int \frac{2x \ dx}{x^2 + 1} + \int \frac{dx}{x^2 + 1} + } = + \frac{1}{10} \ br{ + \frac{1}{2} \log (x^2 + 1) + \arctan(x) + } + C_3 + \end{gather*} + + \[ + \int \frac{x \ dx}{(x^2 + 1)(x + 2)(x + 3)} = \frac{1}{20} \ br{ + -8 \log |x + 2| + 6 \log |x + 3| + \log (x^2 + 1) + 2\arctan x + } + \bar{C} + \] + +\question{(seminar0120) 2.4}{ + \[ + \int \frac{dx}{x(x^2 + 1)^2} = -\frac{1}{2} \ br{ + -\log (x^2 + 1) + + \frac{1}{x^2 + 1} + + 2\log |x| + } + \bar{C} + \] +} + + \[ + \frac{1}{x(x^2 + 1)^2} = + \frac{Ax + B}{x^2 + 1} + \frac{Cx + D}{(x^2 + 1)^2} + \frac{E}{x} + \] + + \[ + (Ax + B)(x^2 + 1)x + (Cx + D)x + E(x^2 + 1)^2 \equiv 1 + \] + + \[\begin{cases*} + A = -1\\ + B = 0\\ + C = -1\\ + D = 0\\ + E = 1 + \end{cases*}\] + + \begin{gather*} + \int - \frac{x \ dx}{x^2 + 1} = + -\frac{1}{2} \int \frac{2x \ dx}{x^2 + 1} = + -\frac{1}{2} \log (x^2 + 1) + C_1\\[12pt] + \int - \frac{x \ dx}{(x^2 + 1)^2} = + -\frac{1}{2} \int \frac{2x \ dx}{(x^2 + 1)^2} = + \begin{bmatrix} + \displaystyle \int \frac{dx}{x^s} = \frac{1}{(1 - s)x^{s - 1}} + C + \end{bmatrix} = + \frac{1}{2(x^2 + 1)} + C_2\\[12pt] + \int \frac{dx}{x} = \log |x| + C_3 + \end{gather*} + + \[ + \int \frac{dx}{x(x^2 + 1)^2} = + -\frac{1}{2} \log (x^2 + 1) + + \frac{1}{2(x^2 + 1)} + + \log |x| + \bar{C} + \] + +\question{(seminar0120) 11}{ + \[ + \int \frac{dx}{(x^3 + 1)^2} + \] +} + + \[ + \frac{1}{(x^3 + 1)^2} = \frac{1}{(x + 1)^2(x^2 - x + 1)^2} = + \frac{A}{x + 1} + \frac{B}{(x + 1)^2} + \frac{Cx + D}{x^2 - x + 1} + \frac{Ex + F}{(x^2 - x + 1)^2} + \] + + \[ + A(x^2 - x + 1)^2(x + 1) + + B(x^2 - x + 1)^2 + + (Cx + D)(x + 1)^2(x^2 - x + 1) + + (Ex + F)(x + 1)^2 \equiv 1 + \] + \[\begin{cases*} + A = 2/9\\ + B = 1/9\\ + C = -2/9, \ \ + D = 1/3\\ + E = -1/3, \ \ + F = 1/3\\ + \end{cases*}\] + + \begin{align} + \int \frac{2dx}{9(x + 1)} &= \frac{2}{9} \log |x + 1| + C_1 &\\[8pt] + \int \frac{dx}{9(x + 1)^2} & = -\frac{1}{9(x + 1)} + C_2 & + \begin{bmatrix} + \text{Лемма 1} + \end{bmatrix}\\[8pt] + \int \frac{-2x + 3}{9(x^2 - x + 1)}dx &= + -\frac{1}{9} \ br{ + \int \frac{(2x - 1) dx}{x^2 - x + 1} - + \int \frac{2 dx}{\ br{ x - \frac{1}{2} }^2 + \frac{3}{4}} + }\nonumber \\[8pt] + &= + -\frac{1}{9} \ br{ + \log (x^2 - x + 1) - + \frac{4}{\sqrt{3}} \arctan \frac{2x - 1}{\sqrt{3}} + } + C_3\\[8pt] + \frac{1}{3} \int \frac{(1 - x)dx}{(x^2 - x + 1)^2} &= + -\frac{1}{6} \ br{ + \int \frac{(2x - 1)dx}{(x^2 - x + 1)^2} - + \int \frac{dx}{\ br{ \ br{ x - \frac{1}{2} }^2 + \frac{3}{4} }^2} + }\nonumber \\[8pt] + &= + -\frac{1}{6} \ br{ + -\frac{1}{x^2 - x + 1} + + \frac{2}{3} \ br{ + \frac{x}{x^2 - x + 1} + + \frac{2}{\sqrt{3}} \arctan\frac{2x - 1}{\sqrt{3}} + } + } + C_4 + &\begin{bmatrix} + \text{Лемма 1 на левую часть}\\ + \text{Лемма 2 на правую часть} + \end{bmatrix} + \nonumber \\[8pt] + &= \frac{1}{9} \ br{ + \frac{2x - 1}{x^2 - x + 1} - + \frac{2}{\sqrt{3}} \arctan \frac{2x - 1}{\sqrt{3}} + } + C_4 + \end{align} + + \begin{gather*} + \int \frac{1}{(x^3 + 1)^2} = + \int \frac{2dx}{9(x + 1)} + + \int \frac{dx}{9(x + 1)^2} + + \int \frac{-2x + 3}{9(x^2 - x + 1)}dx + + \frac{1}{3} \int \frac{(1 - x)dx}{(x^2 - x + 1)^2} =\\[16pt] + \frac{1}{9} \ br{ + 2\log |x + 1| - \frac{1}{x + 1} + - \log(x^2 - x + 1) + \frac{4}{\sqrt{3}}\arctan \frac{2x - 1}{\sqrt{3}} + - \frac{2x - 1}{x^2 - x + 1} - \frac{2}{\sqrt{3}}\arctan\frac{2x - 1}{\sqrt{3}} + } + C + \end{gather*} +\end{document} \ No newline at end of file diff --git a/calc/sol0127.tex b/calc/sol0127.tex new file mode 100644 index 0000000..1098687 --- /dev/null +++ b/calc/sol0127.tex @@ -0,0 +1,268 @@ +\documentclass[10pt,a5paper]{article} +\usepackage[svgnames, rgb]{xcolor} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} \texttt{sol0127}} +\title{ДЗ на 03.02} +\author{Шарафатдинов Камиль БПМИ-192} +\date{билд: \today} + + +% -- Here bet dragons -- +\begin{document}\thispagestyle{empty} + +\maketitle +\clearpage +\setcounter{page}{1} + +%\question{8.a}{ +% \[ +% \int \frac{2\sin^3 x + \cos^2 x \sin 2x}{\sin^4 x + 3 \cos^4 x} \dif x = \todo + C +% \] +%} + + + +\question{8.c}{ + \[ + \int \frac{\dif x}{\cosh^3 x + 3\cosh x} = \frac{ + 2\arctan \sinh x - \arctan \frac{\sinh x}{2} + }{6} + C + \] +} + \begin{align*} + \int \frac{\dif x}{\cosh^3 x + 3\cosh x} + &= \int \frac{\frac{\dif \sinh x}{\cosh x}}{\cosh^3 x + 3\cosh x} + &\explain{ + \dif \sinh x = \cosh x \dif x + } \\[8pt] + &= \int \frac{\dif \sinh x}{\cosh^4 x + 3\cosh^2 x} \\[8pt] + &= \int \frac{\dif \sinh x}{\br{ 1 + \sinh^2 x }^2 + 3\br {1 + \sinh^2 x}} + &\explain{ + \cosh^2 x - \sinh^2 x = 1 + } \\[8pt] + &= \int \frac{\dif u}{\br{ 1 + u^2 }^2 + 3\br {1 + u^2}} + &\explain{ + u = \sinh x + } \\[8pt] + &= \int \frac{\dif u}{4 + 5u^2 + u^4} \\[8pt] + &= \int \frac{\dif u}{\br{ u^2 + 1 } \br{ u^2 + 4 }} \\[8pt] + &= \int \frac{\dif u}{3} \br{ + \frac{1}{ u^2 + 1 } - \frac{1}{ u^2 + 4 } + } \\[8pt] + &= \frac{1}{3} \br{ + \int \frac{du}{u^2 + 1} - \int \frac{du}{u^2 + 4} + } \\[8pt] + &= \frac{1}{3} \br{ + \arctan u - \frac{1}{2}\arctan \frac{u}{2} + } + C + &\explain{ + u = \sinh x + }\\[8pt] + &= \frac{1}{6} \br{ + 2\arctan \sinh x - \arctan \frac{\sinh x}{2} + } + C + \end{align*} + +\clearpage +\question{8.e}{ + \[ + \int \frac{\dif x}{\sin^4 x + \cos^4 x} = \frac{\sqrt{2}}{2} \br{ + \arctan \br{ \sqrt{2} \tan x + 1 } + \arctan \br{ \sqrt{2} \tan x - 1 } + } + C + \] +} + + \[ + \sin^4 x + \cos^4 x = + \br{ 1 - \cos^2 x }^2 + \cos^4 x = + 1 - 2\cos^2 x + 2\cos^4 x + \] + \[ + \dif x = \cos^2 x \dif\ (\tan x) + \] + \[ + 1 + \tan^2 x = \frac{1}{\cos^2 x} + \] + + \begin{align*} + \int \frac{\dif x}{\sin^4 x + \cos^4 x} + &= \int \frac{\cos^2 x \dif\ (\tan x)}{1 - 2\cos^2 x + 2\cos^4 x} \\[8pt] + &= \int \frac{\dif\ (\tan x)}{\frac{1}{\cos^2 x} - 2 + 2\cos^2 x} \\[8pt] + &= \int \frac{\dif\ (\tan x)}{1 + \tan^2 x - 2 + \frac{2}{1 + \tan^2 x}} \\[8pt] + &= \int \frac{\dif u}{-1 + u^2 + \frac{2}{1 + u^2}} & [u = \tan x]\\[8pt] + &= \int \frac{(1 + u^2) \dif u}{u^4 + 1} \\[8pt] + \end{align*} + + По прошлой домашке мы знаем, что + \[ + x^4 + 1 = (x^2 - \sqrt{2} x + 1)(x^2 + \sqrt{2} x + 1) + \] + + Разложим на слагаемые: + \[ + \frac{x^2 + 1}{x^4 + 1} = + \frac{1}{2} \br{ \frac{1}{x^2 + \sqrt{2} x + 1} + \frac{1}{x^2 - \sqrt{2} + 1} } + \] + + \begin{align*} + \int \frac{1}{u^2 + \sqrt{2} u + 1}\dif u + &= \int \frac{1}{\br{ u + \frac{\sqrt{2}}{2} }^2 + \frac{1}{2}}\dif u \\[8pt] + &= \sqrt{2} \arctan \br{ \sqrt{2} u + 1 } + C_1 \\[16pt] + \int \frac{1}{u^2 - \sqrt{2} u + 1}\dif u + &= \int \frac{1}{\br{ u - \frac{\sqrt{2}}{2} }^2 + \frac{1}{2}}\dif u \\[8pt] + &= \sqrt{2} \arctan \br{ \sqrt{2} u - 1 } + C_2 \\[8pt] + \end{align*} + + \begin{gather*} + \int \frac{\dif x}{\sin^4 x + \cos^4 x} = + \int \frac{(\tan^2 x + 1) \dif\ \tan x}{\tan^4 x + 1} =\\[8pt] = + \frac{\sqrt{2}}{2} \br{ + \arctan \br{ \sqrt{2} \tan x + 1 } + \arctan \br{ \sqrt{2} \tan x - 1 } + } + C + \end{gather*} + +\question{8.g}{ + \[ + \int \frac{\dif x}{a \sin x + b \cos x + c}, \qquad c > \sqrt{a^2 + b^2} + \] +} + + Найдем такой интеграл в предположении $a > 1$: + + \begin{align*} + \int \frac{\dif x}{\sin x + a} + &= \int \frac{\frac{2 \dif u}{1 + u^2}}{\frac{2u}{1 + u^2} + a} + &\explain{ + \displaystyle u = \tan \frac{x}{2}\\[8pt] + \displaystyle \dif x = \frac{2 \dif u}{1 + u^2}\\[8pt] + \displaystyle \sin x = \frac{2u}{1 + u^2} + } \\[8pt] + &= \int \frac{2\dif u}{2u + a + au^2} \\[8pt] + &= \int \frac{2\dif u} + {\br{ \sqrt{a} u + \frac{1}{\sqrt{a}} }^2 + 1 - \frac{1}{a}} \\[8pt] + &= \int \frac{2\dif u} + {\br{ \sqrt{a} u + \frac{1}{\sqrt{a}} }^2 + \frac{a^2 - 1}{a}} \\[8pt] + &= \frac{2}{\sqrt{a}}\int \frac{\dif v}{v^2 + \frac{a^2 - 1}{a}} + &\explain{ + v = \sqrt{a} u + \frac{1}{\sqrt{a}}\\ + \dif v = \sqrt{a} \dif u + } \\[8pt] + &= \frac{2\sqrt{a}}{\sqrt{a}\sqrt{a^2 - 1}} + \arctan \br{ \frac{\sqrt{a} v}{\sqrt{a^2 - 1}} } + C \\[8pt] + &= \frac{2}{\sqrt{a^2 - 1}} + \arctan \br{ \frac{\sqrt{a} v}{\sqrt{a^2 - 1}} } + C \\[8pt] + &= \frac{2}{\sqrt{a^2 - 1}} + \arctan \br{ \frac{au + 1}{\sqrt{a^2 - 1}} } + C + &\explain{ + v = \sqrt{a} u + \frac{1}{\sqrt{a}} + } \\[8pt] + &= \frac{2}{\sqrt{a^2 - 1}} + \arctan \br{ \frac{a \tan \frac{x}{2} + 1}{\sqrt{a^2 - 1}} } + C + \end{align*} + + Теперь, непосредственно задание + + \begin{align*} + \int \frac{\dif x}{a \sin x + b \cos x + c} + &= \int \frac{\dif x}{r \br{ \frac{a}{r} \sin x + \frac{b}{r} \cos x} + c } + &\explain{ + \displaystyle r = \sqrt{a^2 + b^2} + } \\[8pt] + &= \frac{1}{r} \int \frac{\dif x}{\cos \phi \sin x + \sin \phi \cos x + c/r} + &\explain{ + \displaystyle \phi = \arccos \frac{a}{r} = \arcsin \frac{b}{r} + } \\[8pt] + &= \frac{1}{r} \int \frac{\dif x}{\sin \br{ \phi + x } + c/r} \\[8pt] + &= \frac{1}{r} \int \frac{\dif u}{\sin \br{ u } + c/r} + &\explain{ + u = \phi + x\\ + du = dx + } \\[8pt] + &= \frac{2}{r\sqrt{\dfrac{c^2}{r^2} - 1}} + \arctan \br{ + \frac + {\displaystyle \frac{c}{r} \tan \frac{u}{2} + 1} + {\displaystyle \sqrt{\frac{c^2}{r^2} - 1}} + } + C + &\explain{\text{По доказанному}}\\[8pt] + &= \frac{2}{\sqrt{c^2 - r^2}} + \arctan \br{ + \frac + {\displaystyle \frac{c}{r} \tan \frac{\arccos \dfrac{a}{r}}{2} + 1} + {\displaystyle \sqrt{\frac{c^2}{r^2} - 1}} + } + C \\[8pt] + &= \frac{2}{\sqrt{c^2 - r^2}} + \arctan \br{ + \frac + {\displaystyle c \tan \frac{\arccos \dfrac{a}{r}}{2} + r} + {\displaystyle \sqrt{c^2 - r^2}} + } + C \\[8pt] + &= \frac{2}{\sqrt{c^2 - a^2 - b^2}} + \arctan \br{ + \frac + {\displaystyle c \tan \frac{\arccos \dfrac{a}{\sqrt{a^2 + b^2}}}{2} + \sqrt{a^2 + b^2}} + {\displaystyle \sqrt{c^2 - a^2 - b^2}} + } + C \\[8pt] + \end{align*} + +\clearpage + +\question{10}{ + \[ + \int \frac{\dif x}{(a\sin x + b\cos x)^n} + \] +} + + Найдем рекуррентную формулу для следующего интеграла: + \begin{align*} + \int \frac{\dif x}{\sin^n x} + &= -\int \frac{\dif \cos x}{\sin^{n + 1} x}\\[6pt] + &= -\frac{\cos x}{\sin^{n + 1} x} - + \int \br{ \frac{1}{\sin^{n + 1} x} }' \cos x \dif x + &\explain{ + \displaystyle \int Fg \dif x = FG - \int fG \dif x\\ + \displaystyle F = \frac{1}{\sin^{n + 1} x}\\[10pt] + \displaystyle g = \frac{\dif \cos x}{\dif x}\\ + \displaystyle G = \cos x + } \\[8pt] + &= -\frac{\cos x}{\sin^{n + 1} x} - + (n + 1) \int \frac{\cos^2 x \dif x}{\sin^{n + 2} x} \\[8pt] + &= -\frac{\cos x}{\sin^{n + 1} x} - + (n + 1) \int \frac{(1 - \sin^2 x) \dif x}{\sin^{n + 2} x} \\[8pt] + &= -\frac{\cos x}{\sin^{n + 1} x} - + (n + 1) \int \frac{\dif x}{\sin^{n + 2} x} + + (n + 1) \int \frac{\dif x}{\sin^n x} + \end{align*} + + Пусть $\displaystyle J_n = \int \frac{\dif x}{\sin^n x}$. + + Переобозначим $n = n + 2$ в полученном интеграле, чтобы формула получилась красивой + \begin{align*} + J_{n - 2} &= -\frac{\cos x}{\sin^{n - 1} x} - (n - 1) J_n + (n - 1) J_{n - 2}\\[8pt] + (n - 1)J_n &= -\frac{\cos x}{\sin^{n - 1} x} + (n - 2)J_{n - 2}\\[8pt] + J_n &= \frac{\cos x}{(1 - n) \sin^{n - 1} x} + \frac{n - 2}{n - 1}J_{n - 2} + \end{align*} + + Тогда: + \begin{align*} + I_n = \int \frac{\dif x}{(a\sin x + b\cos x)^n} + &= \frac{1}{r} \int \frac{\dif x}{(\frac{a}{r}\sin x + \frac{b}{r}\cos x)^n} + &\explain{ + \displaystyle r = \sqrt{a^2 + b^2} + } \\[8pt] + &= \frac{1}{r} \int \frac{\dif x}{(\cos \phi \sin x + \sin \phi \cos x)^n} + &\explain{ + \displaystyle \phi = \arccos \frac{a}{r} = \arcsin \frac{b}{r} + } \\[8pt] + &= \frac{1}{r} \int \frac{\dif x}{(\sin (\phi + x))^n} \\[8pt] + &= \frac{\cos (\phi + x)}{r(1 - n) \sin^{n - 1} (\phi + x)} + + \frac{n - 2}{n - 1} I_{n - 2} \\[8pt] + &= \frac{\cos (\arccos{\frac{a}{\sqrt{a^2 + b^2}}} + x)} + {\sqrt{a^2 + b^2}(1 - n) \sin^{n - 1} (\arccos{\frac{a}{\sqrt{a^2 + b^2}}} + x)} + + \frac{n - 2}{n - 1} I_{n - 2} + \end{align*} + +\end{document} diff --git a/calc/sol0203.tex b/calc/sol0203.tex new file mode 100644 index 0000000..f568637 --- /dev/null +++ b/calc/sol0203.tex @@ -0,0 +1,282 @@ +\documentclass[10pt,a5paper]{article} +\usepackage[svgnames, rgb]{xcolor} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} \texttt{sol0203}} +\title{ДЗ на 10.02} +\author{Шарафатдинов Камиль БПМИ-192} +\date{билд: \today} + + +% -- Here bet dragons -- +\begin{document}\thispagestyle{empty} + +\maketitle +\clearpage +\setcounter{page}{1} + + +\newcommand{\deft}{\texttt{\\deft is undefined}} + + +\question{1.b}{ + \[ + \int \frac{\dif x}{\sqrt[6]{(x - 7)^7(x - 5)^5}} + = -3\sqrt[6]{\dfrac{x - 5}{x - 7}} + C + \] +} + + \begin{align*} + \int \frac{\dif x}{\sqrt[6]{(x - 7)^7(x - 5)^5}} + &= -6 \int \frac{t^7 \dif t}{t^7 \br{ \sqrt[6]{x - 5} }^5} + &\explain{ + \displaystyle t = \sqrt[6]{\frac{1}{x - 7}}\\[8pt] + \displaystyle \frac{\dif t}{\dif x} + = -\frac{1}{6} \br{ \sqrt[6]{\frac{1}{x - 7}} }^7 + = -\frac{1}{6} t^7 + }\\[8pt] + &= -6 \int \frac{\dif t}{\br{ \sqrt[6]{x - 5} }^5}\\[8pt] + &= -6 \int \frac{t^5 \dif t}{\br{ \sqrt[6]{1 + 2t^6} }^5} + &\explain{ + \dfrac{1}{\sqrt[6]{x - 5}} + &= \displaystyle \sqrt[6]{\frac{1}{\frac{1}{t^6} + 2}}\\[8pt] + &= \dfrac{t}{\sqrt[6]{1 + 2t^6}} + }\\[8pt] + &= 3 \int \frac{u^5 \dif u}{u^7} + = 3 \int \frac{\dif u}{u^2} + &\explain{ + \displaystyle u = \dfrac{1}{\sqrt[6]{1 + 2t^6}}\\ + \displaystyle \frac{\dif u}{\dif t} = -2t^5 u^7\\ + }\\ + &= -\frac{3}{u} + C\\ + &= -3\sqrt[6]{1 + 2t^6} + C\\ + &= -3\sqrt[6]{1 + \dfrac{2}{x - 7}} + C\\ + &= -3\sqrt[6]{\dfrac{x - 5}{x - 7}} + C + \end{align*} + +\clearpage + +\question{7.c}{ + \[ + \int \frac{\dif x}{1 + \sqrt{1 - 2x - x^2}} + \] +} + + Воспользуемся почти подстановкой Эйлера: + $ + \displaystyle \sqrt{ax^2 + bx + c} = xt - \sqrt{c} + $ + + \begin{align*} + \int \frac{\dif x}{1 + \sqrt{1 - 2x - x^2}} + &= \int \frac{\dif x}{xt} + &\explain{ + \displaystyle \sqrt{1 - 2x - x^2} = xt - 1\\[4pt] + \displaystyle 1 - 2x - x^2 = x^2t^2 - 2xt + 1\\[4pt] + \displaystyle x \br{ t^2 + 1 } = t - 1\\[4pt] + \displaystyle x = \dfrac{t - 1}{t^2 + 1}\\[16pt] + \displaystyle \dfrac{\dif x}{\dif t} = -2 \dfrac{t^2 - 2t - 1}{(t^2 + 1)^2} + }\\ + &= \int \frac{-2\dfrac{t^2 - 2t - 1}{(t^2 + 1)^2} \dif t} + {2\dfrac{t - 1}{t^2 + 1} t}\\[8pt] + &= -\int \frac{(t^2 - 2t - 1)(t^2 + 1) \dif t} + {(t - 1)(t^2 + 1)^2 t}\\[8pt] + &= -\int \frac{(t^2 - 2t - 1) \dif t} + {(t - 1)(t^2 + 1) t}\\[8pt] + &= -\int \br{ + \frac{2}{t^2 + 1} + \frac{1}{t} - \frac{1}{t - 1} + } \dif t\\[8pt] + &= -2\arctan t - \log{t} + \log(t - 1) + C\\[8pt] + &= -2\arctan \dfrac{\sqrt{1 - 2x - x^2} + 1}{x} + \log \dfrac{t - 1}{t} + C\\[8pt] + &= -2\arctan \dfrac{\sqrt{1 - 2x - x^2} + 1}{x} + + \log \dfrac{\sqrt{1 - 2x - x^2} + 1 - x}{\sqrt{1 - 2x - x^2} + 1} + C\\[8pt] + \end{align*} + +\clearpage + +\question{10.b}{ + \[ + \int \frac{x^8 \dif x}{\sqrt{x^2 + 1}} + \] +} + + Лемма (вообще говоря, это задача 9): + \begin{gather*} + P \in \mathbb{R}_n[x], \qquad + Q \in \mathbb{R}_{n - 1}[x], \qquad + R = \sqrt{ax^2 + bx + c} \implies + \int \frac{P \dif x}{R} = Q R + \lambda \int \frac{\dif x}{R}\\[16pt] + \br{ QR + \lambda \int \frac{\dif x}{R}}' = + Q'R + QR' + \frac{\lambda}{R} = + \frac{Q'R^2}{R} + \frac{Q(2ax + b)}{2R} + \frac{\lambda}{R} = + \frac{Q'R^2 + \frac{1}{2} Q(2ax + b) + \lambda}{R} + \end{gather*} + + Надо бы ещё доказать, что такое $Q$ всегда найдется, но нам достаточно того, что в задаче такой $Q$ есть. + + Тогда по лемме нам надо разложить $x^8$ на слагаемые $Q'(x^2 + 1) + Qx + \lambda$ + для некоторого $Q$. + + Пусть $Q = a_7x^7 + \ldots + a_0, \quad Q' = 7a_7x^6 + \ldots + a_1$ + + Получится система линейных уравнений, которую я выписывать не буду, а выпишу сразу ответ: + \[ + Q = \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x, \quad \lambda = \frac{35}{128} + \] + + Тогда + + \begin{align*} + \int \frac{x^8 \dif x}{\sqrt{x^2 + 1}} &= \br{ + \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x + } \sqrt{x^2 + 1} + \frac{25}{128}\int \frac{\dif x}{\sqrt{x^2 + 1}} \\[8pt]&= + \br{ + \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x + } \sqrt{x^2 + 1} + \frac{25}{128} \log \left|x + \sqrt{x^2 + 1}\right| + C + \end{align*} + +\question{17.b}{ + \[ + \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} + \] +} + + \newcommand{\brac}[2]{ \br{ \dfrac{#1}{#2} } } + \newcommand{\sbrac}[2]{ \br{ \frac{#1}{#2} } } + \renewcommand{\deft}{\br{ \sqrt{x^2 + x + 1} - x }} + + \begin{gather*} + \sqrt{x^2 + x + 1} = x + t\\ + x^2 + x + 1 = x^2 + 2xt + t^2 + \end{gather*} + \begin{align*} + x &= \frac{t^2 - 1}{1 - 2t}\\ + \dif x &= -\frac{2(t^2 - t + 1)}{(1 - 2t)^2} \dif t\\ + x + t &= \frac{t^2 - t + 1}{2t - 1}\\ + x + 3 &= \frac{t^2 - 6t + 2}{1 - 2t}\\ + x^2 + 1 &= \frac{t^4 + 2t^2 - 4t + 2}{(1 - 2t)^2} + \end{align*} + + \begin{align*} + \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} + &= -2 \int \frac{(x + 3)(t^2 - t + 1)\dif t}{(x^2 + 1)(x + t)(1 - 2t)^2}\\[8pt] + &= -2 \int \frac{ + \brac{t^2 - 6t + 2}{1 - 2t}(t^2 - t + 1) \dif t + }{ + \brac{t^4 + 2t^2 - 4t + 2}{(1 - 2t)^2} + \brac{t^2 - t + 1}{2t - 1} + (1 - 2t)^2 + }\\[8pt] + &= -2 \int - \frac{t^2 - 6t + 2}{t^4 + 2t^2 - 4t + 2} \dif t\\[8pt] + &= 2 \int \frac{t^2 - 6t + 2}{t^4 + 2t^2 - 4t + 2} \dif t\\[8pt] + &= \frac{1}{\sqrt{2}} \int \br{ + \frac{2 t - 3 \sqrt2 + 4}{-t^2 + \sqrt2 t + \sqrt2 - 2} + + \frac{2 t + 3 \sqrt2 + 4}{t^2 + \sqrt2 t + \sqrt2 + 2} + } \dif t\\[8pt] + \end{align*} + + \renewcommand{\deft}{t} + \def\firstdenum{\br{ \deft - \frac{\sqrt2}{2} }^2 + \sbrac{\sqrt{6 - 4\sqrt2}}{2}^2} + \def\firstpoly{ \deft^2 - \sqrt2 \deft - \sqrt2 + 2 } + \def\firstsqrt{ \sqrt{6 - 4\sqrt2} } + + \def\seconddenum{ \br{ \deft + \frac{\sqrt2}{2} }^2 + \sbrac{\sqrt{6 + 4\sqrt2}}{2}^2 } + \def\secondpoly{ \deft^2 + \sqrt2 \deft + \sqrt2 + 2 } + \def\secondsqrt{ \sqrt{6 + 4\sqrt2} } + + \begin{align*} + \int \frac{2 t - 3 \sqrt2 + 4}{-t^2 + \sqrt2 t + \sqrt2 - 2}\dif t + &= -2 \int \frac{t - \frac{3\sqrt2}{2} + 2}{\firstdenum}\dif t\\[8pt] + &= -2 \int \frac{t - \frac{\sqrt2}{2}}{\firstdenum} \dif t + -2 \int \frac{-\sqrt2 + 2}{\firstdenum} \dif t\\[8pt] + &= - \int \frac{\dif \br{ \firstpoly }}{\firstpoly} \dif t + +2(\sqrt2 - 2) \frac{2}{\firstsqrt} \arctan \frac{2t - \sqrt2}{\firstsqrt}\\[8pt] + &= -\log{ \left|\firstpoly\right| } - + 4\arctan \frac{2t - \sqrt2}{\firstsqrt} + C_1 + \end{align*} + + \begin{align*} + \int \frac{2 t + 3 \sqrt2 + 4}{\secondpoly}\dif t + &= \int \frac{2t + 3\sqrt2 + 4}{\seconddenum} \dif t\\[8pt] + &= \int \frac{2t + \sqrt2}{\seconddenum} + + \int \frac{2\sqrt2 + 4}{\seconddenum}\\[8pt] + &= \log{ \left|\secondpoly\right| } + + 2(\sqrt2 + 2)\frac{2}{\secondsqrt} \arctan \frac{2t + \sqrt2}{\secondsqrt} + C_2\\[8pt] + &= \log{ \left|\secondpoly\right| } + + 4\arctan \frac{2t + \sqrt2}{\secondsqrt} + C_2 + \end{align*} + + \begin{align*} + \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} + &= -\log{ \left|\firstpoly\right| } - + 4\arctan \frac{2t - \sqrt2}{\firstsqrt}\\[8pt] + & +\log{ \left|\secondpoly\right| } + + 4\arctan \frac{2t + \sqrt2}{\secondsqrt} + C\\[8pt] + \end{align*} + \renewcommand{\deft}{\br{\sqrt{x^2 + x + 1} - x}} + \begin{align*} + &= -\log{ \left|\firstpoly\right| } - + 4\arctan \frac{2\deft - \sqrt2}{\firstsqrt}\\[8pt] + & +\log{ \left|\secondpoly\right| } + + 4\arctan \frac{2\deft + \sqrt2}{\secondsqrt} + C + \end{align*} + +\clearpage +\question{17.c}{ + \[ + \int \frac{\dif x}{(x^3 - x)\sqrt{x^2 + x + 4}} + \] +} + \begin{gather*} + \sqrt{x^2 + x + 4} = x + t\\ + x^2 + x + 4 = x^2 + 2xt + t^2 + \end{gather*} + \begin{align*} + x &= \frac{t^2 - 4}{1 - 2t}\\ + \dif x &= -\frac{2(t^2 - t + 4)}{(1 - 2t)^2} \dif t\\ + x + t &= \frac{t^2 - t + 4}{2t - 1} + \end{align*} + + \medskip + + \renewcommand{\deft}{\sqrt{x^2 + x + 4} - x} + + \begin{align*} + \int \frac{\dif x}{(x^3 - x)\sqrt{x^2 + x + 4}} + &= \int \frac{\dif x}{x(x + 1)(x - 1)\sqrt{x^2 + x + 4}}\\[8pt] + &= -\int \frac{2(t^2 - t + 4) \dif t}{(1 - 2t)^2 x(x + 1)(x - 1)(x + t)}\\[8pt] + &= -2\int \frac{(t^2 - t + 4) \dif t}{ + (1 - 2t)^2 + \brac{t^2 - 4}{1 - 2t} + \brac{t^2 - 5 + 2t}{1 - 2t} + \brac{t^2 - 3 - 2t}{1 - 2t} + \brac{t^2 - t + 4}{2t - 1} + }\\[8pt] + &= 2 \int \frac{(1 - 2t)^2 \dif t}{ + (t^2 - 4)(t^2 + 2t - 5)(t^2 - 2t - 3) + }\\[8pt] + &= 2 \int \frac{(1 - 2t)^2 \dif t}{ + (t - 2)(t + 2)(t - \sqrt{6} + 1)(t + \sqrt{6} + 1)(t + 1)(t - 3) + }\\[8pt] + &= 2\int \br{ + -\frac{1}{t^2 - 4} + -\frac{1}{8(t + 1)} + +\frac{1}{8(t - 3)} + -\frac{1}{4\sqrt{6}(t + \sqrt{6} + 1)} + +\frac{1}{4\sqrt{6}(t - \sqrt{6} + 1)} + } \dif t\\[8pt] + &= -\arctan \frac{t}{2} + -\frac{1}{4}\log |t + 1| + +\frac{1}{4}\log |t - 3| + -\frac{1}{2\sqrt{6}}\log |t + \sqrt{6} + 1| + +\frac{1}{2\sqrt{6}}\log |t - \sqrt{6} + 1|\\[8pt] + &= -\arctan \frac{\deft}{2} + -\frac{1}{4}\log |\deft + 1| + +\frac{1}{4}\log |\deft - 3|\\[8pt] + &-\frac{1}{2\sqrt{6}}\log |\deft + \sqrt{6} + 1| + +\frac{1}{2\sqrt{6}}\log |\deft - \sqrt{6} + 1|\\[8pt] + \end{align*} + +\end{document} diff --git a/calc/sol0210.tex b/calc/sol0210.tex new file mode 100644 index 0000000..bb4ad94 --- /dev/null +++ b/calc/sol0210.tex @@ -0,0 +1,56 @@ +\documentclass[10pt,a5paper]{article} +\usepackage[svgnames, rgb]{xcolor} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} \texttt{sol0203}} +\title{ДЗ на 10.02} +\author{Шарафатдинов Камиль БПМИ-192} +\date{билд: \today} + + +% -- Here bet dragons -- +\begin{document}\thispagestyle{empty} + +\maketitle +\clearpage +\setcounter{page}{1} + +\question{1.f}{ + \[ + \int_1^e \sin \log x \dif x + \] +} + + \begingroup + \setlength{\jot}{8pt} + \begin{align*} + I = \int \sin \log \dif x + &= \int e^u \sin u \dif u + &\explain{ + \displaystyle u = \log x\\ + \displaystyle \dif u = \frac{\dif x}{x} = \frac{\dif x}{e^u} + }\\ + &= - e^u \cos u + \int e^u \cos u \dif u\\ + &= - e^u \cos u + e^u \sin u - \int e^u \sin u \dif u + \end{align*} + \endgroup + + \begin{flalign*} + 2I = e^u (\sin u - \cos u) + C\\ + I = \frac{e^u}{2} (\sin u - \cos u) + C = + \frac{x}{2} (\sin \log x - \cos \log x) + C + \end{flalign*} + + \[ + \int_1^e \sin \log x \dif x = + \frac{e}{2} (\sin 1 - \cos 1) - \frac{1}{2} (0 - 1) = + \frac{e}{2} (\sin 1 - \cos 1) + \frac{1}{2} + \] + +\vspace*{\fill} + + P.S. Ну проверь хотя бы одну задачу, пожаааалуйста + +\end{document} diff --git a/cat.pdf b/cat.pdf new file mode 100644 index 0000000..1b58542 Binary files /dev/null and b/cat.pdf differ diff --git a/cat.svg b/cat.svg new file mode 100644 index 0000000..5284eba --- /dev/null +++ b/cat.svg @@ -0,0 +1,706 @@ + + + + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/dm-14.tex b/dm-14.tex deleted file mode 100644 index 313e693..0000000 --- a/dm-14.tex +++ /dev/null @@ -1,113 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-14 (\texttt{cw14\_plus})} -\title{Дискретная математика 14} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\twocolumn -\begin{center} \textbf{1} \end{center} - - По условию, $\expected{\textrm{prize}} = 40$ - Значит, - \[ - \expected{\text{prize} \geqslant 5000} \leqslant \frac{40}{5000} < 0.01 - \] - - \qed - -\begin{center} \textbf{2} \end{center} - - \begin{align*} - \expected{X} = - \sum_{x \in \Omega} p(x) f(x) =\\ - \sum_{f(x) \geqslant 5} p(x) f(x) + \sum_{f(x) < 5} p(x) f(x) \geqslant\\ - \sum_{f(x) \geqslant 5} p(x) f(x) \geqslant - \sum_{f(x) \geqslant 5} p(x) 5 =\\ - 5\sum_{f(x) \geqslant 5} p(x) = - 5\ \frac{1}{2} = 2.5 - \end{align*} - - Для любого $ 2.5 \leqslant Y < \infty $ матожидание $f_Y$ равно $Y$, если: - - \begin{align*} - \Omega &= \{1, 2\} \\ - f_Y (1) &= 0 \\ - f_Y (2) &= 2Y \\ - p_Y (1) &= \frac{1}{2} \\ - p_Y (2) &= \frac{1}{2} \\ - \end{align*} - - -\begin{center} \textbf{3} \end{center} - Обозначим выбор чисел как двоичное число размера 30. - Тогда почти к каждому слову есть другое, симметричное, - то есть для почти каждого выбора $C$ 10 чисел есть симметричный выбор $C'$. - Пусть в $C$ находятся числа - \[ - \{c_1, \ldots, c_{10}\} - \] - Тогда в $C'$ находятся числа - \[ - \{29 - c_1, \ldots, 29 - c_{10}\} - \] - И сумма чисел в $C \text{ и } C'$ равна - \[ - 10 \cdot (c_1 + \ldots + c_{10} + 29 - c_1 + \ldots + 29 - c_{10}) = 290 - \] - - Симметричное слово есть для любого, но для некоторых оно совпадает. - Заметим, что так происходит только когда само слово было палиндромом, - Но тогда сумма чисел в выборе, соответствующем такому слову равна 145. - - Значит, матожидание суммы чисел равно 145. - -\begin{center} \textbf{4} \end{center} - Возьмем некоторое слово. Напишем перед ним букву b, а после - a. - Теперь расставим в получившейся конструкции перегородки между разными буквами. - Тогда количество подслов ab равно количеству перегородок, у которых слева стоит a, а справа - b. Заметим, что для таких перегородок соседние перегородки обязательно делят подслова ba (b слева, a справа), иначе наша перегородка имела бы слева букву b или справа букву a. Значит, количество слов с $n$ подсловами равно $ \binom{21}{2n + 1} $ - Тогда матожидание равно - \[ - \frac{\displaystyle \sum_{i = 1}^{10} \binom{21}{2i + 1} i }{2^{20}} = 4.75 - \] - (Ничего лучше, чем посчитать на калькуляторе, я не придумал) - -\begin{center} \textbf{5} \end{center} - \[ - \probability{X \geqslant 6} = - \probability{2^X \geqslant 2^6} - \] - По неравенству Маркова: - \[ - \probability{2^X \geqslant 64} \leqslant \frac{5}{64} < \frac{1}{10} - \] - \qed - -\begin{center} \textbf{6} \end{center} - Всего функций $(100n)^n$, из них инъекций: $\displaystyle \frac{(100n)!}{(99n)!}$ - - Так как нам нужно найти предел, можно рассмотреть только $n = 2k, k \in \mathbb{N}$ (просто чтобы $n$ делилось на $2$) - \begin{flalign*} - A_n = \frac{(100n)!}{(99n)! (100n)^n} &=\\ - \frac{99n + 1}{100n} \cdot \ldots \cdot \frac{99n + n}{100n} &=\\ - \frac{99n + 1}{100n} \cdot \ldots \cdot \frac{99n + \frac{n}{2}}{100n} \cdot Q_n &\leqslant \qquad\qquad Q_n < 1\\ - \br{ \frac{99n + \frac{n}{2}}{100n} }^{\frac{n}{2}} Q_n = - \br{ \frac{99.5}{100} }^{\frac{n}{2}} Q_n = B_n - \end{flalign*} - $\displaystyle \lim_{n \to \infty} B_n = 0$, а так как $0 < A_n \leqslant B_n$, то - $\displaystyle \lim_{n \to \infty} A_n = 0$, что и требовалось - -\end{document} diff --git a/dm-15.tex b/dm-15.tex deleted file mode 100644 index db0de91..0000000 --- a/dm-15.tex +++ /dev/null @@ -1,146 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-15 (\texttt{cw15\_plus})} -\title{Дискретная математика 15} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\twocolumn - -\dmquestion{1} - \[ - 99^{1000} = (-1)^{1000} = 1 \pmod{100} - \] - -\dmquestion{2} - \begin{align*} - x + 10y &=\\ - &= x + 10y - 13x - 13y\\ - &= -12x - 3y\\ - &= -3(4x + y) \pmod{13} - \end{align*} - - Так как $(3; 13) = 1$, то $x + 10y = 0 \pmod{13}$ тогда и только тогда, - когда $4x + y = 0 \pmod{13}$ - -\dmquestion{3} - \begin{align*} - 53x &= 1 &\pmod{42}\\ - 11x &= 1 + 42 \cdot 6 &\pmod{42}\\ - 11x &= 253 &\pmod{42}\\ - x &= 23 &\pmod{42} - \end{align*} - -\dmquestion{4} - \begin{align*} - 74x + 47y = 2900\\ - 27x = 2900 \pmod{47}\\ - 27x = 33 \pmod{47}\\ - 9x = 11 \pmod{47}\\ - 9x = -36 \pmod{47}\\ - x = -4 = 43 \pmod{47}\\\\ - 74 \cdot 43 + 47y = 2900\\ - 47y = -282\\ - y = -6 - \end{align*} - - Все решения имеют вид - \[ - (x_0 + 47k; y_0 - 74k), \qquad k \in \mathbb{Z} - \] - - Поэтому неотрицательных решений у этого уравнения нет - -\dmquestion{5} - \[ - \frac{n^2 - n + 1}{n^2 + 1} - \] - - Предположим противное: пусть такая дробь сократима. - - Пусть существует $p > 1$ такое, что - \[ - p \mid (n^2 + 1), p \mid (n^2 - n + 1) - \] - - Значит, - \[ - n = (n^2 + 1) - (n^2 - n + 1) \text{ тоже делится на $p$.} - \] - - Значит, $p \mid n^2$. - - Но $n^2 + 1 = 1 \pmod{p}$. Противоречие. - -\dmquestion{6} - - \textbf{Лемма} - \[ - 3^m - 1 = 3^{m - n} - 1 \pmod{3^n - 1} - \] - - Доказательство: - \begin{align*} - 3^{m - n}(3^n - 1) = 0 \pmod{3^n - 1}\\ - 3^m - 3^{m - n} = 0 \pmod{3^n - 1}\\ - 3^m = 3^{m - n} \pmod{3^n - 1}\\ - 3^m - 1 = 3^{m - n} - 1 \pmod{3^n - 1}\\ - \qed - \end{align*} - - По алгоритму Евклида и лемме (просто вычитаем одну степень из другой): - \begin{align*} - (3^{133} - 1, 3^{101} - 1) =\\ - (3^{101} - 1, 3^{32} - 1) =\\ - (3^{32} - 1, 3^5 - 1) =\\ - (3^2 - 1, 3^5 - 1) =\\ - (3^1 - 1, 3^2 - 1) =\\ - (2, 8) = 2 - \end{align*} - -\dmquestion{7} - - \[ - \frac{1}{1} + \frac{1}{2} + \ldots + \frac{1}{p - 1} = - \frac{\frac{(p - 1)!}{1} + \frac{(p - 1)!}{2} + \ldots + \frac{(p - 1)!}{p - 1}}{(p - 1)!} - \] - - Сгруппируем слагаемые в числителе так, чтобы их знаменатели в сумме равнялись $p$. - Так можно сделать, потому что их четное число. - \[ - \frac{ - \br{ \frac{(p - 1)!}{1} + \frac{(p - 1)!}{p - 1} } + - \br{ \frac{(p - 1)!}{2} + \frac{(p - 1)!}{p - 2} } + \ldots - }{(p - 1)!} - \] - - Заметим, что каждая скобка тогда делится на $p$: - \begin{gather*} - \frac{(p - 1)!}{k} + \frac{(p - 1)!}{p - k} =\\[8pt] - (p - 1)! \br{ \frac{(p - k) + k}{k(p - k)}} =\\[8pt] - p\frac{(p - 1)!}{k(p - k)} - \end{gather*} - - Так как это сумма факториалов, деленных на одно число, меньшее аргумента факториала, то это все еще целое число, а так как $p$ - простое и точно не делится на $k$ и $p - k$, то его можно вынести за скобку. - - Тогда наша сумма представляется в виде - - \[ - \frac{p \cdot Q}{(p - 1)!} - \] - - Так как в факториале нет множителей, делящих $p$, то $p$ останется в числителе, значит, числитель делится на $p$ \qed -\end{document} diff --git a/dm-16.tex b/dm-16.tex deleted file mode 100644 index 054f0a2..0000000 --- a/dm-16.tex +++ /dev/null @@ -1,109 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-16 (\texttt{cw16\_plus})} -\title{Дискретная математика 16} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\twocolumn - -\dmquestion{1} - - $\varphi(n) < n$, поэтому в $n!$ точно есть множитель $\varphi(n)$. - - Пусть $n! = \varphi(n) \cdot Q$ - - Тогда по теореме Эйлера (так как $(n, 2) = 1$) - \[ - 2^{n!} = 2^{\varphi(n) \cdot Q} = \br{ 2^{\varphi(n)} }^Q = 1^Q = 1 \pmod{n} - \] - - Поэтому $2^{n!} - 1 \divby n$ - -\dmquestion{2} - - Посмотрим, какие остатки может иметь $a^{10}$ при делении на $11$: - Либо $a$ делится на $11$, тогда $a^{10} = a = 0 \pmod{11}$. Либо $a$ не делится на $11$ и тогда, так как $11$ - простое число, $a^{10} = 1 \pmod{11}$ по МТФ. Аналогично для других букв. Тогда сумма - \[ - a^{10} + b^{10} + c^{10} + d^{10} + e^{10} + f^{10} - \] - по модулю $11$ может принимать любое значение от $0$ до $6$. Но по условию она равна $0$, поэтому и каждое слагаемое равно $0$ по модулю $11$. - Тогда каждая переменная делится на $11$ и $abcdef$ делится на $11^6$ \qed - -\dmquestion{3} - \[ - 7^2 = 49 = 1 \pmod{16} - \] - Поэтому $7^{7^7} = 7 \pmod{16}$, так как $7^7$ - нечетное число. - Тогда по теореме Эйлера - \[ - 7^{7^{7^7}} = 7^7 \pmod{17} - \] - \[ - 7^7 = 49^3 \cdot 7 = (-2)^3 \cdot 7 = -8 \cdot 7 = 12 \pmod{17} - \] - -\dmquestion{4} - \begin{align*} - x^2 = 1 \pmod{200}\\ - x^2 - 1 = 0 \pmod{200}\\ - (x + 1)(x - 1) = 0 \pmod{200} - \end{align*} - - Если $x$ - нечетный, то такое произведение всегда делится на $8$, - а если четный, то не делится даже на $2$. - - Если одна из скобок делится на $5$, то другая точно не делится. - - Поэтому нам нужно решить такую систему: - \[ - \begin{cases} - x = 1 \pmod{2}\\ - \begin{sqcases} - x + 1 = 0 \pmod{25}\\ - x - 1 = 0 \pmod{25} - \end{sqcases} - \end{cases} - \] - Решениями являются вычеты $\{49, 51, 99, 101, 149, 151, 199, 1\}$ - -\dmquestion{5} - Число заканчивается на $0001$ тогда и только тогда, когда оно сравнимо с $1$ по модулю $10^4$. - По теореме Эйлера - \[ - 3^{\varphi(10000)} = 1 \pmod{10000} - \] - -\dmquestion{6} - \begin{align*} - x^2 = x \pmod{10^k}\\ - x(x - 1) = 0 \pmod{10^k} - \end{align*} - - Если $x$ делится на $2^n$, то $x - 1$ на $2$ не делится. - Поэтому, на $2^k$ делится либо $x$, либо $x - 1$. Аналогично с $5$. - Тогда есть 4 случая: - \begin{enumerate} - \item $x \divby 10^k \Rightarrow x = 0 \pmod{10^k}$ - \item $x - 1 \divby 10^k \Rightarrow x = 1 \pmod{10^k}$ - \item $x \divby 2^k, \quad x - 1 \divby 5^k$ - \item $x \divby 5^k, \quad x - 1 \divby 2^k$ - \end{enumerate} - - В каждом из 3 и 4 пунктов есть ровно одно решение по модулю $10^k$ по китайской теореме об остатках. Решения не совпадают, потому что иначе $x$ и $x - 1$ должны бы были одновременно делиться на $2^k$. По тем же соображениям они не пересекаются и с пунктами 1 и 2. - \qed - -\end{document} diff --git a/dm-17.tex b/dm-17.tex deleted file mode 100644 index 8d5e101..0000000 --- a/dm-17.tex +++ /dev/null @@ -1,100 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-17 (\texttt{cw17\_plus})} -\title{Дискретная математика 17} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\twocolumn - -\dmquestion{1} - - С семинара: - \[ - (FG)' = F'G + G'F, \qquad \brac{1}{F}' = -\frac{F'}{F^{2}} - \] - Тогда: - \[ - \brac{F}{G}' = - \br{ F \cdot \frac{1}{G} }' = - \frac{F'}{G} - \frac{G'F}{G^2} = - \frac{F'G - G'F}{G^2} - \] - -\dmquestion{2} - - Пусть $F = f_1 x + f_2 x^2 + \ldots$ - - Аналогично, $G = g_1 x + g_2 x^2 + \dots$ - - Тогда - \[ - F(G(x)) = f_1 G(x) + f_2 G(x)^2 + \ldots - \] - - Будем строить $G$ по коэффициэнтам: - \begin{align*} - f_1 g_1 &&&&= 1\\ - f_1 g_2 &+ f_2 g_1 &&&= 0\\ - f_1 g_3 &&+ f_3 g_1 &&= 0\\ - f_1 g_4 &+ f_2 g_2 &&+ f_4 g_1 &= 0 - \end{align*} - - Тогда для каждого уравнения есть новый (ещё не определённый) коэффициент из первого члена ($f_1G(x)$), то есть если $f_1 \neq 0$, то мы всегда сможем продолжать строить функцию $G$ таким образом. - - Если $f_1 = 0$, то: - \begin{enumerate} - \item $F \equiv 0$, тогда $\forall G: F(G(x)) \equiv 0$ - \item $F \neq 0 $, тогда минимальная степень $x$ в выражении не меньше $2$, - для любой $G$. - \end{enumerate} - - Поэтому $F$ ``обратима'' (т.е. $\exists G : F(G(x)) = x$) - тогда и только тогда, когда $f_1 \neq 0$. - -\newpage - -\dmquestion{4} - \begin{align*} - F &= (1, 1, 1, 1, 1, \ldots)\\ - F' &= (0, 1, 2, 3, 4, \ldots)\\ - F'' &= (0, 0, 2 \cdot 1, 3 \cdot 2, 4 \cdot 3, \ldots)\\ - \end{align*} - - Мы знаем, что $F = \frac{1}{1 - x}$. - - Тогда $F' = \frac{1}{\br{ 1 - x }^2}$ - и $F'' = 2\frac{1 - x}{(1 - x)^4} = 2\frac{1}{(1 - x)^3}$. - - Также мы знаем, что если умножить функцию $G$ на $S = (1 + x + x^2 + \ldots)$, - то мы получим функцию, у которой $i$-тый коэффициент равен сумме первых $i$ коэффициентов $G$ - - \[ - K = \frac{F''}{1 - x} = \frac{2}{(1 - x)^4} - \] - \[ - K^{(n)} = 2\br{ 4 \cdot 5 \cdot \ldots (n + 3) - \frac{(1 - x)^{n + 2}}{(1 - x)^{2(n + 3)}} } = \frac{2n!}{(1 - x)^{n + 4}} - \] - \[ - \frac{K^{(n)}}{n!} = \frac{2(n + 3)!}{3!n!} = \frac{(n + 1)(n + 2)(n + 3)}{6} - \] - Это не совсем то, что мы хотели, потому что в $F''$ были два лишних нуля. Поэтому правильная формула выглядит так: - \[ - \frac{(n - 1)n(n + 2)}{6} = \frac{n(n^2 - 1)}{6} - \] - -\end{document} diff --git a/dm-18.tex b/dm-18.tex deleted file mode 100644 index e764814..0000000 --- a/dm-18.tex +++ /dev/null @@ -1,80 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-17 (\texttt{cw18\_plus})} -\title{Дискретная математика 18} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\setlength{\columnsep}{1cm} -\twocolumn -\dmquestion{1} - - Первый может на первом ходу взять четыре спички, а дальше играть по следующей стратегии: - если второй берет $k$ спичек, то первый следующим ходом должен будет взять $6 - k$ спичек. Он, очевидно, может так делать в любой момент, а так же после каждого хода первого количество спичек уменьшается на $6$. Значит, первый заберет последнюю спичку, а значит, второму спичек не останется и он проиграет. - - Ответ: у первого. -\dmquestion{2} - - Пусть второй сделает четыре хода как-нибудь. - - Пусть, для определенности, он всегда пишет $1$. - Тогда после пятого хода первого игрока на доске будет написано число $n$. - Одно из чисел $10n + 0, 10n + 1, 10n + 2, 10n + 3, 10n + 4, 10n + 5, 10n + 6$ обязательно делится на $7$, а значит, второй может написать соответствующую цифру и сделать число делящимся на $7$. - - Ответ: у второго. -\dmquestion{3} - - Заметим, что если число на доске - нечетное, то у него есть только нечетные делители. Поэтому за один ход его можно сделать только четным. А если на доске написано четное число, то его всегда можно уменьшить на единичку, то есть, сделать нечетным. - - Тогда первый может всегда делать число нечетным, а второй всегда будет вынужден делать его четным (после хода второго число на доске обязательно четное, поэтому первый может продолжать играть по этой стратигии). С каждым ходом число на доске уменьшается, поэтому когда-нибудь оно станет нулем и игра закончится. Так как четные числа появляются только после ходов второго игрока, то он и проиграет. - - Ответ: у первого. -\dmquestion{4} - - Рассмотрим немножко другую игру (3 с семинара). - У первого всегда есть выигрышная стратегия: - - Если количество минусов нечетно, то первым ходом он переправит минус посередине, а если четно, то два минуса посередине. Дальше он может действовать симметрично второму относительно центра (потому что первый не может ходить одновременно по обе стороны от середины). Значит, он всегда может сделать ход после второго, а значит он выиграет. - - Теперь, рассмотрим нашу задачу. При $n = 1, 2$ у первого есть выигрышная стратегия - переправить все минусы. При $n > 2$ после любого хода первого второй может действовать как если бы они играли в рассмотренную выше игру (с последовательно выписанными оставшимися минусами) и выиграть. То есть при $n > 2$ у второго есть выигрышная стратегия. - - Ответ: 1, 2. -\dmquestion{5} - - Докажем, что разбить выпуклый $n$-угольник можно только на $n - 2$ треугольника. - - Для $n = 3$: треугольник уже разбит на один треугольник. - - Пусть для $n - 1$ верно. Возьмем $n$-угольник и любое ребро из его разбиения на треугольники. Такое ребро делит его на два выпуклых многоугольника с количеством углов $k$ и $n - k + 2$. Тогда первый можно разбить только на $k - 2$ треугольников, а второй только на $n - k$ треугольников. Значит, разбить $n$-угольник можно только на $n - 2$ треугольника. - - Значит, вне зависимости от ходов, при четных $n$ выигрывает первый, а при нечетных - второй. -\dmquestion{6} - - Пронумеруем вершины $v_1, \ldots, v_n$. Пусть у первого игрока уже есть связный (связанный ребрами красного цвета) граф на первых $k$ вершинах (назовем его $G_k$) и каждый игрок сделал $k - 1$ ход. - - Так как граф полный, то $v_{k + 1}$ соединена с каждой из вершин в $G_k$. - - Так как второй игрок сделал $k - 1$ ходов, то есть ребро из $v_{k + 1}$ в $G_k$, которое не покрашено в синий цвет. - - А так как у первого игрока есть граф на $k$ вершинах, то в нем есть хотя бы $k - 1$ ребер. Значит, первый не красил ребра вне $G_k$, значит, есть ребро из $v_{k + 1}$ в $G_k$, которое еще никем не покрашено. - - Значит, первый может покрасить это ребро в красный цвет и у него будет связный граф на первых $k + 1$ вершинах. - - Так как в самом начале у первого есть связный граф из одной вершины, то он может продолжать действовать так, чтобы перед каждым его ходом у него был связный граф на первых вершинах. Значит, после $n - 1$ хода у него будет связный граф на $n$ вершинах, а второй к этому моменту сделает только $n - 2$ хода, поэтому у него точно не будет связного графа на $n$ вершинах. - - Ответ: при любых $n \geq 2$. - -\end{document} diff --git a/dm-19.tex b/dm-19.tex deleted file mode 100644 index 12aa975..0000000 --- a/dm-19.tex +++ /dev/null @@ -1,42 +0,0 @@ -\documentclass[11pt]{article} -\usepackage[x11names, svgnames, rgb]{xcolor} -%\usepackage{tikz} -%\usetikzlibrary{arrows,shapes} - -\usepackage{scrextend} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} дм-19 (\texttt{cw19\_plus})} -\title{Дискретная математика 19} -\author{Шарафатдинов Камиль БПМИ192} -\date{билд: \today} - -% -- Here bet dragons -- -\begin{document} - -\maketitle - -\setlength{\columnsep}{1cm} -\twocolumn -\dmquestion{1} - Заметим, что мы всегда можем выбрать два числа так, что они делят весь массив - на три примерно равные части, то есть такие, - что каждые две отличаются не более чем на 1. - Пусть мы умеем, запросив значение в этих числах, понимать в какой части - (или в каких двух подряд идущих частях) лежит максимум. - Тогда за 2 хода мы умеем уменьшать рассматриваемый массив в $\dfrac{3}{2}$ раза, а значит, мы сведем задачу к поиску максимума на массиве из менее чем трех элементов, а значит, решим задачу за менее чем $4\log_3 n$ ходов. - -\dmquestion{2} - - Разобьем монеты на $\lfloor n/2 \rfloor$ пар (одна останется) - и сравним веса монет в каждой паре. - Если нашлась пара, в которой монеты имеют разный вес, то фальшивая в этой паре та, которая легче. Если монеты в каждой паре одинаковы по весу, то фальшивая - та, что осталась. Пар $\lfloor n/2 \rfloor$, поэтому сравнений столько же. - -\dmquestion{3} - - Пусть мы справились за меньше, чем $\lfloor n/2 \rfloor$ взвешиваний. Тогда в сравнении могли поучаствовать не более, чем $n - 3$ монеты. Значит, есть хотя бы три монеты, про которые никакой информации нет. Значит, если фальшивая была среди них, то по итогу взвешивания каждая из них может оказаться ответом, а наверняка выбрать среди них фальшивую мы не можем. Значит, нужно хотя бы $\lfloor n/2 \rfloor$ хода. - - -\end{document} diff --git a/dm/dm-14.tex b/dm/dm-14.tex new file mode 100644 index 0000000..313e693 --- /dev/null +++ b/dm/dm-14.tex @@ -0,0 +1,113 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-14 (\texttt{cw14\_plus})} +\title{Дискретная математика 14} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\twocolumn +\begin{center} \textbf{1} \end{center} + + По условию, $\expected{\textrm{prize}} = 40$ + Значит, + \[ + \expected{\text{prize} \geqslant 5000} \leqslant \frac{40}{5000} < 0.01 + \] + + \qed + +\begin{center} \textbf{2} \end{center} + + \begin{align*} + \expected{X} = + \sum_{x \in \Omega} p(x) f(x) =\\ + \sum_{f(x) \geqslant 5} p(x) f(x) + \sum_{f(x) < 5} p(x) f(x) \geqslant\\ + \sum_{f(x) \geqslant 5} p(x) f(x) \geqslant + \sum_{f(x) \geqslant 5} p(x) 5 =\\ + 5\sum_{f(x) \geqslant 5} p(x) = + 5\ \frac{1}{2} = 2.5 + \end{align*} + + Для любого $ 2.5 \leqslant Y < \infty $ матожидание $f_Y$ равно $Y$, если: + + \begin{align*} + \Omega &= \{1, 2\} \\ + f_Y (1) &= 0 \\ + f_Y (2) &= 2Y \\ + p_Y (1) &= \frac{1}{2} \\ + p_Y (2) &= \frac{1}{2} \\ + \end{align*} + + +\begin{center} \textbf{3} \end{center} + Обозначим выбор чисел как двоичное число размера 30. + Тогда почти к каждому слову есть другое, симметричное, + то есть для почти каждого выбора $C$ 10 чисел есть симметричный выбор $C'$. + Пусть в $C$ находятся числа + \[ + \{c_1, \ldots, c_{10}\} + \] + Тогда в $C'$ находятся числа + \[ + \{29 - c_1, \ldots, 29 - c_{10}\} + \] + И сумма чисел в $C \text{ и } C'$ равна + \[ + 10 \cdot (c_1 + \ldots + c_{10} + 29 - c_1 + \ldots + 29 - c_{10}) = 290 + \] + + Симметричное слово есть для любого, но для некоторых оно совпадает. + Заметим, что так происходит только когда само слово было палиндромом, + Но тогда сумма чисел в выборе, соответствующем такому слову равна 145. + + Значит, матожидание суммы чисел равно 145. + +\begin{center} \textbf{4} \end{center} + Возьмем некоторое слово. Напишем перед ним букву b, а после - a. + Теперь расставим в получившейся конструкции перегородки между разными буквами. + Тогда количество подслов ab равно количеству перегородок, у которых слева стоит a, а справа - b. Заметим, что для таких перегородок соседние перегородки обязательно делят подслова ba (b слева, a справа), иначе наша перегородка имела бы слева букву b или справа букву a. Значит, количество слов с $n$ подсловами равно $ \binom{21}{2n + 1} $ + Тогда матожидание равно + \[ + \frac{\displaystyle \sum_{i = 1}^{10} \binom{21}{2i + 1} i }{2^{20}} = 4.75 + \] + (Ничего лучше, чем посчитать на калькуляторе, я не придумал) + +\begin{center} \textbf{5} \end{center} + \[ + \probability{X \geqslant 6} = + \probability{2^X \geqslant 2^6} + \] + По неравенству Маркова: + \[ + \probability{2^X \geqslant 64} \leqslant \frac{5}{64} < \frac{1}{10} + \] + \qed + +\begin{center} \textbf{6} \end{center} + Всего функций $(100n)^n$, из них инъекций: $\displaystyle \frac{(100n)!}{(99n)!}$ + + Так как нам нужно найти предел, можно рассмотреть только $n = 2k, k \in \mathbb{N}$ (просто чтобы $n$ делилось на $2$) + \begin{flalign*} + A_n = \frac{(100n)!}{(99n)! (100n)^n} &=\\ + \frac{99n + 1}{100n} \cdot \ldots \cdot \frac{99n + n}{100n} &=\\ + \frac{99n + 1}{100n} \cdot \ldots \cdot \frac{99n + \frac{n}{2}}{100n} \cdot Q_n &\leqslant \qquad\qquad Q_n < 1\\ + \br{ \frac{99n + \frac{n}{2}}{100n} }^{\frac{n}{2}} Q_n = + \br{ \frac{99.5}{100} }^{\frac{n}{2}} Q_n = B_n + \end{flalign*} + $\displaystyle \lim_{n \to \infty} B_n = 0$, а так как $0 < A_n \leqslant B_n$, то + $\displaystyle \lim_{n \to \infty} A_n = 0$, что и требовалось + +\end{document} diff --git a/dm/dm-15.tex b/dm/dm-15.tex new file mode 100644 index 0000000..db0de91 --- /dev/null +++ b/dm/dm-15.tex @@ -0,0 +1,146 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-15 (\texttt{cw15\_plus})} +\title{Дискретная математика 15} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\twocolumn + +\dmquestion{1} + \[ + 99^{1000} = (-1)^{1000} = 1 \pmod{100} + \] + +\dmquestion{2} + \begin{align*} + x + 10y &=\\ + &= x + 10y - 13x - 13y\\ + &= -12x - 3y\\ + &= -3(4x + y) \pmod{13} + \end{align*} + + Так как $(3; 13) = 1$, то $x + 10y = 0 \pmod{13}$ тогда и только тогда, + когда $4x + y = 0 \pmod{13}$ + +\dmquestion{3} + \begin{align*} + 53x &= 1 &\pmod{42}\\ + 11x &= 1 + 42 \cdot 6 &\pmod{42}\\ + 11x &= 253 &\pmod{42}\\ + x &= 23 &\pmod{42} + \end{align*} + +\dmquestion{4} + \begin{align*} + 74x + 47y = 2900\\ + 27x = 2900 \pmod{47}\\ + 27x = 33 \pmod{47}\\ + 9x = 11 \pmod{47}\\ + 9x = -36 \pmod{47}\\ + x = -4 = 43 \pmod{47}\\\\ + 74 \cdot 43 + 47y = 2900\\ + 47y = -282\\ + y = -6 + \end{align*} + + Все решения имеют вид + \[ + (x_0 + 47k; y_0 - 74k), \qquad k \in \mathbb{Z} + \] + + Поэтому неотрицательных решений у этого уравнения нет + +\dmquestion{5} + \[ + \frac{n^2 - n + 1}{n^2 + 1} + \] + + Предположим противное: пусть такая дробь сократима. + + Пусть существует $p > 1$ такое, что + \[ + p \mid (n^2 + 1), p \mid (n^2 - n + 1) + \] + + Значит, + \[ + n = (n^2 + 1) - (n^2 - n + 1) \text{ тоже делится на $p$.} + \] + + Значит, $p \mid n^2$. + + Но $n^2 + 1 = 1 \pmod{p}$. Противоречие. + +\dmquestion{6} + + \textbf{Лемма} + \[ + 3^m - 1 = 3^{m - n} - 1 \pmod{3^n - 1} + \] + + Доказательство: + \begin{align*} + 3^{m - n}(3^n - 1) = 0 \pmod{3^n - 1}\\ + 3^m - 3^{m - n} = 0 \pmod{3^n - 1}\\ + 3^m = 3^{m - n} \pmod{3^n - 1}\\ + 3^m - 1 = 3^{m - n} - 1 \pmod{3^n - 1}\\ + \qed + \end{align*} + + По алгоритму Евклида и лемме (просто вычитаем одну степень из другой): + \begin{align*} + (3^{133} - 1, 3^{101} - 1) =\\ + (3^{101} - 1, 3^{32} - 1) =\\ + (3^{32} - 1, 3^5 - 1) =\\ + (3^2 - 1, 3^5 - 1) =\\ + (3^1 - 1, 3^2 - 1) =\\ + (2, 8) = 2 + \end{align*} + +\dmquestion{7} + + \[ + \frac{1}{1} + \frac{1}{2} + \ldots + \frac{1}{p - 1} = + \frac{\frac{(p - 1)!}{1} + \frac{(p - 1)!}{2} + \ldots + \frac{(p - 1)!}{p - 1}}{(p - 1)!} + \] + + Сгруппируем слагаемые в числителе так, чтобы их знаменатели в сумме равнялись $p$. + Так можно сделать, потому что их четное число. + \[ + \frac{ + \br{ \frac{(p - 1)!}{1} + \frac{(p - 1)!}{p - 1} } + + \br{ \frac{(p - 1)!}{2} + \frac{(p - 1)!}{p - 2} } + \ldots + }{(p - 1)!} + \] + + Заметим, что каждая скобка тогда делится на $p$: + \begin{gather*} + \frac{(p - 1)!}{k} + \frac{(p - 1)!}{p - k} =\\[8pt] + (p - 1)! \br{ \frac{(p - k) + k}{k(p - k)}} =\\[8pt] + p\frac{(p - 1)!}{k(p - k)} + \end{gather*} + + Так как это сумма факториалов, деленных на одно число, меньшее аргумента факториала, то это все еще целое число, а так как $p$ - простое и точно не делится на $k$ и $p - k$, то его можно вынести за скобку. + + Тогда наша сумма представляется в виде + + \[ + \frac{p \cdot Q}{(p - 1)!} + \] + + Так как в факториале нет множителей, делящих $p$, то $p$ останется в числителе, значит, числитель делится на $p$ \qed +\end{document} diff --git a/dm/dm-16.tex b/dm/dm-16.tex new file mode 100644 index 0000000..054f0a2 --- /dev/null +++ b/dm/dm-16.tex @@ -0,0 +1,109 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-16 (\texttt{cw16\_plus})} +\title{Дискретная математика 16} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\twocolumn + +\dmquestion{1} + + $\varphi(n) < n$, поэтому в $n!$ точно есть множитель $\varphi(n)$. + + Пусть $n! = \varphi(n) \cdot Q$ + + Тогда по теореме Эйлера (так как $(n, 2) = 1$) + \[ + 2^{n!} = 2^{\varphi(n) \cdot Q} = \br{ 2^{\varphi(n)} }^Q = 1^Q = 1 \pmod{n} + \] + + Поэтому $2^{n!} - 1 \divby n$ + +\dmquestion{2} + + Посмотрим, какие остатки может иметь $a^{10}$ при делении на $11$: + Либо $a$ делится на $11$, тогда $a^{10} = a = 0 \pmod{11}$. Либо $a$ не делится на $11$ и тогда, так как $11$ - простое число, $a^{10} = 1 \pmod{11}$ по МТФ. Аналогично для других букв. Тогда сумма + \[ + a^{10} + b^{10} + c^{10} + d^{10} + e^{10} + f^{10} + \] + по модулю $11$ может принимать любое значение от $0$ до $6$. Но по условию она равна $0$, поэтому и каждое слагаемое равно $0$ по модулю $11$. + Тогда каждая переменная делится на $11$ и $abcdef$ делится на $11^6$ \qed + +\dmquestion{3} + \[ + 7^2 = 49 = 1 \pmod{16} + \] + Поэтому $7^{7^7} = 7 \pmod{16}$, так как $7^7$ - нечетное число. + Тогда по теореме Эйлера + \[ + 7^{7^{7^7}} = 7^7 \pmod{17} + \] + \[ + 7^7 = 49^3 \cdot 7 = (-2)^3 \cdot 7 = -8 \cdot 7 = 12 \pmod{17} + \] + +\dmquestion{4} + \begin{align*} + x^2 = 1 \pmod{200}\\ + x^2 - 1 = 0 \pmod{200}\\ + (x + 1)(x - 1) = 0 \pmod{200} + \end{align*} + + Если $x$ - нечетный, то такое произведение всегда делится на $8$, + а если четный, то не делится даже на $2$. + + Если одна из скобок делится на $5$, то другая точно не делится. + + Поэтому нам нужно решить такую систему: + \[ + \begin{cases} + x = 1 \pmod{2}\\ + \begin{sqcases} + x + 1 = 0 \pmod{25}\\ + x - 1 = 0 \pmod{25} + \end{sqcases} + \end{cases} + \] + Решениями являются вычеты $\{49, 51, 99, 101, 149, 151, 199, 1\}$ + +\dmquestion{5} + Число заканчивается на $0001$ тогда и только тогда, когда оно сравнимо с $1$ по модулю $10^4$. + По теореме Эйлера + \[ + 3^{\varphi(10000)} = 1 \pmod{10000} + \] + +\dmquestion{6} + \begin{align*} + x^2 = x \pmod{10^k}\\ + x(x - 1) = 0 \pmod{10^k} + \end{align*} + + Если $x$ делится на $2^n$, то $x - 1$ на $2$ не делится. + Поэтому, на $2^k$ делится либо $x$, либо $x - 1$. Аналогично с $5$. + Тогда есть 4 случая: + \begin{enumerate} + \item $x \divby 10^k \Rightarrow x = 0 \pmod{10^k}$ + \item $x - 1 \divby 10^k \Rightarrow x = 1 \pmod{10^k}$ + \item $x \divby 2^k, \quad x - 1 \divby 5^k$ + \item $x \divby 5^k, \quad x - 1 \divby 2^k$ + \end{enumerate} + + В каждом из 3 и 4 пунктов есть ровно одно решение по модулю $10^k$ по китайской теореме об остатках. Решения не совпадают, потому что иначе $x$ и $x - 1$ должны бы были одновременно делиться на $2^k$. По тем же соображениям они не пересекаются и с пунктами 1 и 2. + \qed + +\end{document} diff --git a/dm/dm-17.tex b/dm/dm-17.tex new file mode 100644 index 0000000..8d5e101 --- /dev/null +++ b/dm/dm-17.tex @@ -0,0 +1,100 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-17 (\texttt{cw17\_plus})} +\title{Дискретная математика 17} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\twocolumn + +\dmquestion{1} + + С семинара: + \[ + (FG)' = F'G + G'F, \qquad \brac{1}{F}' = -\frac{F'}{F^{2}} + \] + Тогда: + \[ + \brac{F}{G}' = + \br{ F \cdot \frac{1}{G} }' = + \frac{F'}{G} - \frac{G'F}{G^2} = + \frac{F'G - G'F}{G^2} + \] + +\dmquestion{2} + + Пусть $F = f_1 x + f_2 x^2 + \ldots$ + + Аналогично, $G = g_1 x + g_2 x^2 + \dots$ + + Тогда + \[ + F(G(x)) = f_1 G(x) + f_2 G(x)^2 + \ldots + \] + + Будем строить $G$ по коэффициэнтам: + \begin{align*} + f_1 g_1 &&&&= 1\\ + f_1 g_2 &+ f_2 g_1 &&&= 0\\ + f_1 g_3 &&+ f_3 g_1 &&= 0\\ + f_1 g_4 &+ f_2 g_2 &&+ f_4 g_1 &= 0 + \end{align*} + + Тогда для каждого уравнения есть новый (ещё не определённый) коэффициент из первого члена ($f_1G(x)$), то есть если $f_1 \neq 0$, то мы всегда сможем продолжать строить функцию $G$ таким образом. + + Если $f_1 = 0$, то: + \begin{enumerate} + \item $F \equiv 0$, тогда $\forall G: F(G(x)) \equiv 0$ + \item $F \neq 0 $, тогда минимальная степень $x$ в выражении не меньше $2$, + для любой $G$. + \end{enumerate} + + Поэтому $F$ ``обратима'' (т.е. $\exists G : F(G(x)) = x$) + тогда и только тогда, когда $f_1 \neq 0$. + +\newpage + +\dmquestion{4} + \begin{align*} + F &= (1, 1, 1, 1, 1, \ldots)\\ + F' &= (0, 1, 2, 3, 4, \ldots)\\ + F'' &= (0, 0, 2 \cdot 1, 3 \cdot 2, 4 \cdot 3, \ldots)\\ + \end{align*} + + Мы знаем, что $F = \frac{1}{1 - x}$. + + Тогда $F' = \frac{1}{\br{ 1 - x }^2}$ + и $F'' = 2\frac{1 - x}{(1 - x)^4} = 2\frac{1}{(1 - x)^3}$. + + Также мы знаем, что если умножить функцию $G$ на $S = (1 + x + x^2 + \ldots)$, + то мы получим функцию, у которой $i$-тый коэффициент равен сумме первых $i$ коэффициентов $G$ + + \[ + K = \frac{F''}{1 - x} = \frac{2}{(1 - x)^4} + \] + \[ + K^{(n)} = 2\br{ 4 \cdot 5 \cdot \ldots (n + 3) + \frac{(1 - x)^{n + 2}}{(1 - x)^{2(n + 3)}} } = \frac{2n!}{(1 - x)^{n + 4}} + \] + \[ + \frac{K^{(n)}}{n!} = \frac{2(n + 3)!}{3!n!} = \frac{(n + 1)(n + 2)(n + 3)}{6} + \] + Это не совсем то, что мы хотели, потому что в $F''$ были два лишних нуля. Поэтому правильная формула выглядит так: + \[ + \frac{(n - 1)n(n + 2)}{6} = \frac{n(n^2 - 1)}{6} + \] + +\end{document} diff --git a/dm/dm-18.tex b/dm/dm-18.tex new file mode 100644 index 0000000..e764814 --- /dev/null +++ b/dm/dm-18.tex @@ -0,0 +1,80 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-17 (\texttt{cw18\_plus})} +\title{Дискретная математика 18} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\setlength{\columnsep}{1cm} +\twocolumn +\dmquestion{1} + + Первый может на первом ходу взять четыре спички, а дальше играть по следующей стратегии: + если второй берет $k$ спичек, то первый следующим ходом должен будет взять $6 - k$ спичек. Он, очевидно, может так делать в любой момент, а так же после каждого хода первого количество спичек уменьшается на $6$. Значит, первый заберет последнюю спичку, а значит, второму спичек не останется и он проиграет. + + Ответ: у первого. +\dmquestion{2} + + Пусть второй сделает четыре хода как-нибудь. + + Пусть, для определенности, он всегда пишет $1$. + Тогда после пятого хода первого игрока на доске будет написано число $n$. + Одно из чисел $10n + 0, 10n + 1, 10n + 2, 10n + 3, 10n + 4, 10n + 5, 10n + 6$ обязательно делится на $7$, а значит, второй может написать соответствующую цифру и сделать число делящимся на $7$. + + Ответ: у второго. +\dmquestion{3} + + Заметим, что если число на доске - нечетное, то у него есть только нечетные делители. Поэтому за один ход его можно сделать только четным. А если на доске написано четное число, то его всегда можно уменьшить на единичку, то есть, сделать нечетным. + + Тогда первый может всегда делать число нечетным, а второй всегда будет вынужден делать его четным (после хода второго число на доске обязательно четное, поэтому первый может продолжать играть по этой стратигии). С каждым ходом число на доске уменьшается, поэтому когда-нибудь оно станет нулем и игра закончится. Так как четные числа появляются только после ходов второго игрока, то он и проиграет. + + Ответ: у первого. +\dmquestion{4} + + Рассмотрим немножко другую игру (3 с семинара). + У первого всегда есть выигрышная стратегия: + + Если количество минусов нечетно, то первым ходом он переправит минус посередине, а если четно, то два минуса посередине. Дальше он может действовать симметрично второму относительно центра (потому что первый не может ходить одновременно по обе стороны от середины). Значит, он всегда может сделать ход после второго, а значит он выиграет. + + Теперь, рассмотрим нашу задачу. При $n = 1, 2$ у первого есть выигрышная стратегия - переправить все минусы. При $n > 2$ после любого хода первого второй может действовать как если бы они играли в рассмотренную выше игру (с последовательно выписанными оставшимися минусами) и выиграть. То есть при $n > 2$ у второго есть выигрышная стратегия. + + Ответ: 1, 2. +\dmquestion{5} + + Докажем, что разбить выпуклый $n$-угольник можно только на $n - 2$ треугольника. + + Для $n = 3$: треугольник уже разбит на один треугольник. + + Пусть для $n - 1$ верно. Возьмем $n$-угольник и любое ребро из его разбиения на треугольники. Такое ребро делит его на два выпуклых многоугольника с количеством углов $k$ и $n - k + 2$. Тогда первый можно разбить только на $k - 2$ треугольников, а второй только на $n - k$ треугольников. Значит, разбить $n$-угольник можно только на $n - 2$ треугольника. + + Значит, вне зависимости от ходов, при четных $n$ выигрывает первый, а при нечетных - второй. +\dmquestion{6} + + Пронумеруем вершины $v_1, \ldots, v_n$. Пусть у первого игрока уже есть связный (связанный ребрами красного цвета) граф на первых $k$ вершинах (назовем его $G_k$) и каждый игрок сделал $k - 1$ ход. + + Так как граф полный, то $v_{k + 1}$ соединена с каждой из вершин в $G_k$. + + Так как второй игрок сделал $k - 1$ ходов, то есть ребро из $v_{k + 1}$ в $G_k$, которое не покрашено в синий цвет. + + А так как у первого игрока есть граф на $k$ вершинах, то в нем есть хотя бы $k - 1$ ребер. Значит, первый не красил ребра вне $G_k$, значит, есть ребро из $v_{k + 1}$ в $G_k$, которое еще никем не покрашено. + + Значит, первый может покрасить это ребро в красный цвет и у него будет связный граф на первых $k + 1$ вершинах. + + Так как в самом начале у первого есть связный граф из одной вершины, то он может продолжать действовать так, чтобы перед каждым его ходом у него был связный граф на первых вершинах. Значит, после $n - 1$ хода у него будет связный граф на $n$ вершинах, а второй к этому моменту сделает только $n - 2$ хода, поэтому у него точно не будет связного графа на $n$ вершинах. + + Ответ: при любых $n \geq 2$. + +\end{document} diff --git a/dm/dm-19.tex b/dm/dm-19.tex new file mode 100644 index 0000000..6d77d4b --- /dev/null +++ b/dm/dm-19.tex @@ -0,0 +1,42 @@ +\documentclass[11pt]{article} +\usepackage[x11names, svgnames, rgb]{xcolor} +%\usepackage{tikz} +%\usetikzlibrary{arrows,shapes} + +\usepackage{scrextend} + +\input{intro} + +\lhead{\color{gray} Шарафатдинов Камиль 192} +\rhead{\color{gray} дм-19 (\texttt{cw19\_plus})} +\title{Дискретная математика 19} +\author{Шарафатдинов Камиль БПМИ192} +\date{билд: \today} + +% -- Here bet dragons -- +\begin{document} + +\maketitle + +\setlength{\columnsep}{1cm} +\twocolumn +\dmquestion{1} + Заметим, что мы всегда можем выбрать два числа так, что они делят весь массив + на три примерно равные части, то есть такие, + что каждые две отличаются не более чем на 1. + Пусть мы умеем, запросив значение в этих числах, понимать в какой части + (или в каких двух подряд идущих частях) лежит максимум. + Тогда за 2 хода мы умеем уменьшать рассматриваемый массив в $\frac{3}{2}$ раза, а значит, мы сведем задачу к поиску максимума на массиве из менее чем трех элементов, а значит, решим задачу за менее чем $4\log_3 n$ ходов. + +\dmquestion{2} + + Разобьем монеты на $\lfloor n/2 \rfloor$ пар (одна останется) + и сравним веса монет в каждой паре. + Если нашлась пара, в которой монеты имеют разный вес, то фальшивая в этой паре та, которая легче. Если монеты в каждой паре одинаковы по весу, то фальшивая - та, что осталась. Пар $\lfloor n/2 \rfloor$, поэтому сравнений столько же. + +\dmquestion{3} + + Пусть мы справились за меньше, чем $\lfloor n/2 \rfloor$ взвешиваний. Тогда в сравнении могли поучаствовать не более, чем $n - 3$ монеты. Значит, есть хотя бы три монеты, про которые никакой информации нет. Значит, если фальшивая была среди них, то по итогу взвешивания каждая из них может оказаться ответом, а наверняка выбрать среди них фальшивую мы не можем. Значит, нужно хотя бы $\lfloor n/2 \rfloor$ хода. + + +\end{document} diff --git a/intro.sty b/intro.sty new file mode 100644 index 0000000..2c9efac --- /dev/null +++ b/intro.sty @@ -0,0 +1,94 @@ +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{intro}[2020/04/04 Math tasks intro] + +\usepackage[no-math]{fontspec} +\setmainfont{Gentium Plus} +\setmonofont{Inconsolata LGC} +\newfontfamily\slab{Roboto Slab} +\newfontfamily\roboto{Roboto} + +\setlength\headheight{13.6pt} + +\usepackage{ + amsmath, amssymb, mathtools, relsize, + graphicx, xcolor, + fancyhdr, + hyperref, + enumerate, + framed, + lastpage +} +\usepackage{datetime2} +\usepackage[shortlabels]{enumitem} +\usepackage{mathshit} + + +\flushbottom + +\renewcommand{\baselinestretch}{1.1} + +\usepackage{geometry} +\geometry{ + b5paper, + left=0.4in, right=0.4in, + top=0.5in, bottom=0.6in, + headsep=.1in +} + +\newcommand{\question}[2]{ + \def\FrameCommand{ + \fboxsep=\FrameSep\fcolorbox{gray}{white} + } + \MakeFramed{ + \advance\hsize-\width \FrameRestore + } + \noindent {\small \roboto \textbf{#1}} + #2 + \endMakeFramed +} + +\newcommand{\dmquestion}[1]{ + \begin{center} + { + \color{darkgray} + \framebox[3em]{ + \color{black} + \texttt{#1} + } + } + \end{center} +} + +\setlength\FrameSep{0.75em} +\setlength\OuterFrameSep{\partopsep} + +\hypersetup{colorlinks=true, linkcolor=magenta} + +% -- Left/right header text and footer (to appear on every page) -- +\pagestyle{fancy} +\renewcommand{\footrulewidth}{0pt} +\renewcommand{\headrulewidth}{0pt} + +% clear first page +\fancypagestyle{plain} +{ + \fancyhf{} + \renewcommand{\headrulewidth}{0pt} + \renewcommand{\footrulewidth}{0pt} +} + +\cfoot{} +\rfoot{\footnotesize \texttt{\thepage}} + +\author{Шарафатдинов Камиль \and БПМИ192} +\date{билд \qquad \small\texttt{\DTMnow+0300}} + +\setlength{\leftskip}{24pt} +\setlength{\rightskip}{24pt} + +% simplified inkscape svg insertion +\newcommand{\drawcat}[1]{ + \begin{figure} + \includegraphics[width=#1,page=1]{cat.pdf} + \end{figure} +} diff --git a/intro.tex b/intro.tex deleted file mode 100644 index 2281906..0000000 --- a/intro.tex +++ /dev/null @@ -1,59 +0,0 @@ -\usepackage[sfdefault,condensed,scaled=0.9]{roboto} -%\usepackage[T2A]{fontenc} -%\usepackage{inconsolata} -%\setmonofont[Scale=0.9]{Inconsolata} - -\setlength\headheight{13.6pt} - -\usepackage{ - amsmath, amssymb, mathtools, relsize, - graphicx, xcolor, - fancyhdr, hyperref, enumerate -} -\usepackage[shortlabels]{enumitem} -\usepackage{mathshit} - -\flushbottom - -\renewcommand{\baselinestretch}{1.1} - -\usepackage{geometry} -\geometry{ - b5paper, - left=0.4in, right=0.4in, - top=0.5in, bottom=0.6in, - headsep=.1in -} - -\newenvironment{cframed}[1][gray] -{ - \def\FrameCommand{ - \fboxsep=\FrameSep\fcolorbox{#1}{white} - } - \MakeFramed{ - \advance\hsize-\width \FrameRestore - } -} -{\endMakeFramed} - -\newcommand{\question}[2]{ - \bigskip\bigskip - \begin{cframed} - \noindent \textbf{#1} - #2 - \end{cframed} -} - - -\setlength\FrameSep{0.75em} -\setlength\OuterFrameSep{\partopsep} - -\hypersetup{colorlinks=true, linkcolor=magenta} - -% -- Left/right header text and footer (to appear on every page) -- -\pagestyle{fancy} -\renewcommand{\footrulewidth}{0.4pt} -\renewcommand{\headrulewidth}{0.4pt} - -\cfoot{} -\rfoot{\thepage} diff --git a/last.tex b/last.tex new file mode 120000 index 0000000..d90caf2 --- /dev/null +++ b/last.tex @@ -0,0 +1 @@ +alg/alg-1.tex \ No newline at end of file diff --git a/mathshit.sty b/mathshit.sty index 5a9cd02..b4ca786 100644 --- a/mathshit.sty +++ b/mathshit.sty @@ -1,11 +1,13 @@ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{mathshit}[2020/04/04 Math Shit] -\RequirePackage{framed} - \DeclareMathOperator{\dif}{d \!} +\DeclareMathOperator{\ord}{ord} +\DeclareMathOperator{\lcm}{lcm} + \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \newcommand{\dist}[2]{\norm{#1 - #2}} +\newcommand{\cycle}[1]{\langle #1 \rangle} \makeatletter \newenvironment{sqcases}{% @@ -22,11 +24,7 @@ \makeatother \DeclareRobustCommand{\divby}{% - \mathrel{\vbox{\baselineskip.65ex\lineskiplimit0pt\hbox{.}\hbox{.}\hbox{.}}}% -} - -\newcommand{\dmquestion}[1]{ - \begin{center} \textbf{#1} \end{center} + \mathrel{\vbox{\baselineskip.5ex\lineskiplimit0pt\hbox{$.$}\hbox{$.$}\hbox{$.$}}}% } \newcommand{\br}[1]{\left( #1 \right)} diff --git a/sol0113.tex b/sol0113.tex deleted file mode 100644 index 06ac8d6..0000000 --- a/sol0113.tex +++ /dev/null @@ -1,22 +0,0 @@ -\documentclass[10pt,a5paper]{article} -\usepackage[svgnames, rgb]{xcolor} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} ДЗ к 27.01 (\texttt{sol0113 + sol0120})} -\title{ДЗ на 27.01} -\author{Шарафатдинов Камиль БПМИ-192} -\date{билд: \today} - - -% -- Here bet dragons -- -\begin{document}\thispagestyle{empty} - -\maketitle -\clearpage -\setcounter{page}{1} -\[ - \abs{\frac{1}{2}} -\] -\end{document} diff --git a/sol0120.tex b/sol0120.tex deleted file mode 100644 index f073973..0000000 --- a/sol0120.tex +++ /dev/null @@ -1,372 +0,0 @@ -\documentclass[10pt,a5paper]{article} -\usepackage[svgnames, rgb]{xcolor} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} ДЗ к 27.01 (\texttt{sol0113 + sol0120})} -\title{ДЗ на 27.01} -\author{Шарафатдинов Камиль БПМИ-192} -\date{билд: \today} - - -% -- Here bet dragons -- -\begin{document}\thispagestyle{empty} - -\maketitle -\clearpage -\setcounter{page}{1} - -\question{Лемма 1}{ - \[ - \int \frac{dx}{x^s} = \frac{1}{(1 - s)x^{s - 1}} + C - \] -} - \[ - \ br{ \frac{1}{(1 - s)x^{s - 1}} + C }' = - -\frac{0 - (1 - s)(s - 2)x^{s - 2}}{(1 - s)^2 x^{2s - 2}} = - \frac{1}{x^s} \qed - \] - -\question{Лемма 2}{ - \[ - \int \frac{dx}{(x^2 + a^2)^2} = \frac{1}{2a^2} \ br{ - \frac{x}{x^2 + a^2} + \frac{1}{a}\arctan\frac{x}{a} - } + C - \] -} - - \begin{align*} - \ br{ - \frac{1}{2a^2} \ br{ - \frac{x}{x^2 + a^2} + \frac{1}{a}\arctan\frac{x}{a} - } - }' = - \frac{1}{2a^2} \ br{ - \frac{x^2 + a^2 - 2x^2}{(x^2 + a^2)^2} + \frac{1}{x^2 + a^2} - } = - \frac{1}{2a^2} \ br{ - \frac{2a^2}{(x^2 + a^2)^2} - } = - \frac{1}{(x^2 + a^2)^2} \qed - \end{align*} - -\question{(seminar0113) 7.3}{ - \[ - \int \frac{dx}{x^4 + 4} = \frac{ - \log | x^2 + 2x + 2 | + 2\arctan(x + 1) - - \log | x^2 - 2x + 2 | + 2\arctan(x - 1) - }{16} + \bar{C} - \] -} - - \[ - x^4 + 4 = (x - (1 + i))(x - (i - 1))(x - (-i - 1))(x - (-i + 1)) = - (x^2 + 2x + 2)(x^2 - 2x + 2) - \] - - \[ - \frac{1}{x^4 + 4} = \frac{Ax + B}{x^2 + 2x + 2} + \frac{Cx + D}{x^2 - 2x + 2} - \] - - \[ - (Ax + B)(x^2 - 2x + 2) + (Cx + D)(x^2 + 2x + 2) \equiv 1 - \] - - С помощью давно забытой китайской техники решения систем уравнений получаем: - \[\begin{cases*} - A = \frac{1}{8}\\ - B = \frac{1}{4}\\ - C = -\frac{1}{8}\\ - D = \frac{1}{4}\\ - \end{cases*}\] - - \[ - \int \frac{1}{x^4 + 4} = - \frac{1}{8}\int \frac{x + 2}{x^2 + 2x + 2} dx + - \frac{1}{8}\int \frac{2 - x}{x^2 - 2x + 2} dx - \] - - \begin{minipage}{0.45\textwidth} - \setlength{\jot}{16pt} - \begin{gather*} - \int \frac{x + 2}{x^2 + 2x + 2} dx =\\ - \int \frac{x + 2}{(x + 1)^2 + 1} dx =\\ - \int \frac{(x + 1) dx}{(x + 1)^2 + 1} + \int \frac{dx}{(x + 1)^2 + 1} =\\ - =\begin{bmatrix} \frac{d(x^2 + 2x + 2)}{2} = (x + 1)dx \end{bmatrix} =\\ - \int \frac{\frac{1}{2}d( (x + 1)^2 + 1 )}{(x + 1)^2 + 1} + \arctan(x + 1) =\\ - = \frac{1}{2}\log | x^2 + 2x + 2 | + \arctan(x + 1) + C_1 - \end{gather*} - \end{minipage} - \begin{minipage}{0.45\textwidth} - \begin{tabular}{|p{\textwidth}} - \setlength{\jot}{16pt} - \begin{gather*} - \int \frac{2 - x}{x^2 - 2x + 2} dx =\\ - -\int \frac{x - 2}{(x - 1)^2 + 1} dx =\\ - -\int \frac{(x - 1) dx}{(x - 1)^2 + 1} + \int \frac{dx}{(x - 1)^2 + 1} =\\ - =\begin{bmatrix} \frac{d(x^2 - 2x + 2)}{2} = (x - 1)dx \end{bmatrix} =\\ - -\int \frac{\frac{1}{2}d( (x - 1)^2 + 1 )}{(x - 1)^2 + 1} + \arctan(x - 1) =\\ - = -\frac{1}{2}\log | x^2 - 2x + 2 | + \arctan(x - 1) + C_2 - \end{gather*} - \end{tabular} - \end{minipage} - - \begin{gather*} - \frac{1}{8}\int \frac{x + 2}{x^2 + 2x + 2} dx + - \frac{1}{8}\int \frac{2 - x}{x^2 - 2x + 2} dx =\\ - =\frac{1}{16}\ br{ - \log | x^2 + 2x + 2 | + 2\arctan(x + 1) - - \log | x^2 - 2x + 2 | + 2\arctan(x - 1) - } + \bar{C} - \end{gather*} - -\question{(seminar0113) 8.b}{ - \[ - \int \frac{x^5 - x}{x^8 + 1}dx = \frac{\sqrt{2}}{8} \ br{ - \log |x^4 - \sqrt{2} x^2 + 1| - \log |x^4 + \sqrt{2} x^2 + 1| - } + \bar{C} - \] -} - - \[ - \int \frac{x^5 - x}{x^8 + 1}dx = - \int \frac{x(x^4 - 1}{x^8 + 1}dx = - \begin{bmatrix} - u = x^2\\ - dx = \frac{du}{2x} - \end{bmatrix} = - \int \frac{x(u^2 - 1)}{u^4 + 1}\frac{du}{2x} = - \frac{1}{2} \int \frac{u^2 - 1}{u^4 + 1} du - \] - \[ - u^4 + 1 = \ br{u^2 + \sqrt{2} u + 1}\ br{u^2 - \sqrt{2} u + 1} - \] - \[ - \frac{u^2 - 1}{u^4 + 1} = - \frac{Au + B}{u^2 + \sqrt{2} u + 1} + - \frac{Cu + D}{u^2 - \sqrt{2} u + 1} - \] - - \[ - (Au + B)(u^2 - \sqrt{2}u + 1) + (Cu + D)(u^2 + \sqrt{2}u + 1) \equiv u^2 - 1 - \] - - Все тем же китайским методом: - \[\begin{cases*} - A = -\frac{\sqrt{2}}{2}\\ - B = -\frac{1}{2}\\ - C = \frac{\sqrt{2}}{2}\\ - D = -\frac{1}{2}\\ - \end{cases*}\] - - \newcommand{\invsq}{\frac{\sqrt{2}}{2}} - \[ - \int \frac{u^2 - 1}{u^4 + 1} du = - \invsq \int \frac{-u - \invsq}{u^2 + \sqrt{2} u + 1} du + - \invsq \int \frac{u - \invsq}{u^2 - \sqrt{2} u + 1} du - \] - - \begin{minipage}{0.45\textwidth} - \setlength{\jot}{16pt} - \begin{gather*} - \int \frac{-u - \invsq}{u^2 + \sqrt{2} u + 1} du =\\ - -\int \frac{u + \invsq}{u^2 + \sqrt{2} u + 1} du =\\ - -\frac{1}{2} \int \frac{d \ br{ u^2 + \sqrt{2} u + 1 }}{u^2 + \sqrt{2} u + 1} =\\ - -\frac{1}{2} \log |u^2 + \sqrt{2} u + 1| + C_1 - \end{gather*} - \end{minipage} - \begin{minipage}{0.45\textwidth} - \begin{tabular}{|p{\textwidth}} - \setlength{\jot}{16pt} - \begin{gather*} - \int \frac{u - \invsq}{u^2 - \sqrt{2} u + 1} du =\\ - \int \frac{u + \invsq}{u^2 - \sqrt{2} u + 1} du =\\ - \frac{1}{2} \int \frac{d \ br{ u^2 - \sqrt{2} u + 1 }}{u^2 - \sqrt{2} u + 1} =\\ - \frac{1}{2} \log |u^2 - \sqrt{2} u + 1| + C_2 - \end{gather*} - \end{tabular} - \end{minipage} - - \[ - \frac{1}{2} \int \frac{u^2 - 1}{u^4 + 1} du = - \frac{\sqrt{2}}{8} \ br{ - \log |u^2 - \sqrt{2} u + 1| - \log |u^2 + \sqrt{2} u + 1| - } + C_3 - \] - - Обратно к $x$: - \[ - \int \frac{x^5 - x}{x^8 + 1}dx = - \frac{\sqrt{2}}{8} \ br{ - \log |x^4 - \sqrt{2} x^2 + 1| - \log |x^4 + \sqrt{2} x^2 + 1| - } + \bar{C} - \] - -\clearpage -\question{(seminar0113) 13}{ - \[ - \int \frac{x \ dx}{(x^2 + 1)(x + 2)(x + 3)} = \frac{1}{20} \ br{ - -8 \log |x + 2| + 6 \log |x + 3| + \log (x^2 + 1) + 2\arctan x - } + \bar{C} - \] -} - \[ - \frac{x}{(x^2 + 1)(x + 2)(x + 3)} = - \frac{Ax + B}{x^2 + 1} + \frac{C}{x + 2} + \frac{D}{x + 3} - \] - - \[ - (Ax + B)(x + 2)(x + 3) + C(x^2 + 1)(x + 3) + D(x^2 + 1)(x + 2) \equiv x - \] - \[\begin{cases*} - A = 0.1\\ - B = 0.1\\ - C = -0.4\\ - D = 0.3\\ - \end{cases*}\] - - \begin{gather*} - \int -\frac{2}{5} \frac{dx}{x + 2} = -\frac{2 \log |x + 2|}{5} + C_1\\[16pt] - \int \frac{3}{10} \frac{dx}{x + 3} = \frac{3 \log |x + 3|}{10} + C_2\\[16pt] - \int \frac{1}{10} \frac{(x + 1) dx}{x^2 + 1} = - \frac{1}{10} \ br{ - \frac{1}{2}\int \frac{2x \ dx}{x^2 + 1} + \int \frac{dx}{x^2 + 1} - } = - \frac{1}{10} \ br{ - \frac{1}{2} \log (x^2 + 1) + \arctan(x) - } + C_3 - \end{gather*} - - \[ - \int \frac{x \ dx}{(x^2 + 1)(x + 2)(x + 3)} = \frac{1}{20} \ br{ - -8 \log |x + 2| + 6 \log |x + 3| + \log (x^2 + 1) + 2\arctan x - } + \bar{C} - \] - -\question{(seminar0120) 2.4}{ - \[ - \int \frac{dx}{x(x^2 + 1)^2} = -\frac{1}{2} \ br{ - -\log (x^2 + 1) + - \frac{1}{x^2 + 1} + - 2\log |x| - } + \bar{C} - \] -} - - \[ - \frac{1}{x(x^2 + 1)^2} = - \frac{Ax + B}{x^2 + 1} + \frac{Cx + D}{(x^2 + 1)^2} + \frac{E}{x} - \] - - \[ - (Ax + B)(x^2 + 1)x + (Cx + D)x + E(x^2 + 1)^2 \equiv 1 - \] - - \[\begin{cases*} - A = -1\\ - B = 0\\ - C = -1\\ - D = 0\\ - E = 1 - \end{cases*}\] - - \begin{gather*} - \int - \frac{x \ dx}{x^2 + 1} = - -\frac{1}{2} \int \frac{2x \ dx}{x^2 + 1} = - -\frac{1}{2} \log (x^2 + 1) + C_1\\[12pt] - \int - \frac{x \ dx}{(x^2 + 1)^2} = - -\frac{1}{2} \int \frac{2x \ dx}{(x^2 + 1)^2} = - \begin{bmatrix} - \displaystyle \int \frac{dx}{x^s} = \frac{1}{(1 - s)x^{s - 1}} + C - \end{bmatrix} = - \frac{1}{2(x^2 + 1)} + C_2\\[12pt] - \int \frac{dx}{x} = \log |x| + C_3 - \end{gather*} - - \[ - \int \frac{dx}{x(x^2 + 1)^2} = - -\frac{1}{2} \log (x^2 + 1) + - \frac{1}{2(x^2 + 1)} + - \log |x| + \bar{C} - \] - -\question{(seminar0120) 11}{ - \[ - \int \frac{dx}{(x^3 + 1)^2} - \] -} - - \[ - \frac{1}{(x^3 + 1)^2} = \frac{1}{(x + 1)^2(x^2 - x + 1)^2} = - \frac{A}{x + 1} + \frac{B}{(x + 1)^2} + \frac{Cx + D}{x^2 - x + 1} + \frac{Ex + F}{(x^2 - x + 1)^2} - \] - - \[ - A(x^2 - x + 1)^2(x + 1) + - B(x^2 - x + 1)^2 + - (Cx + D)(x + 1)^2(x^2 - x + 1) + - (Ex + F)(x + 1)^2 \equiv 1 - \] - \[\begin{cases*} - A = 2/9\\ - B = 1/9\\ - C = -2/9, \ \ - D = 1/3\\ - E = -1/3, \ \ - F = 1/3\\ - \end{cases*}\] - - \begin{align} - \int \frac{2dx}{9(x + 1)} &= \frac{2}{9} \log |x + 1| + C_1 &\\[8pt] - \int \frac{dx}{9(x + 1)^2} & = -\frac{1}{9(x + 1)} + C_2 & - \begin{bmatrix} - \text{Лемма 1} - \end{bmatrix}\\[8pt] - \int \frac{-2x + 3}{9(x^2 - x + 1)}dx &= - -\frac{1}{9} \ br{ - \int \frac{(2x - 1) dx}{x^2 - x + 1} - - \int \frac{2 dx}{\ br{ x - \frac{1}{2} }^2 + \frac{3}{4}} - }\nonumber \\[8pt] - &= - -\frac{1}{9} \ br{ - \log (x^2 - x + 1) - - \frac{4}{\sqrt{3}} \arctan \frac{2x - 1}{\sqrt{3}} - } + C_3\\[8pt] - \frac{1}{3} \int \frac{(1 - x)dx}{(x^2 - x + 1)^2} &= - -\frac{1}{6} \ br{ - \int \frac{(2x - 1)dx}{(x^2 - x + 1)^2} - - \int \frac{dx}{\ br{ \ br{ x - \frac{1}{2} }^2 + \frac{3}{4} }^2} - }\nonumber \\[8pt] - &= - -\frac{1}{6} \ br{ - -\frac{1}{x^2 - x + 1} + - \frac{2}{3} \ br{ - \frac{x}{x^2 - x + 1} + - \frac{2}{\sqrt{3}} \arctan\frac{2x - 1}{\sqrt{3}} - } - } + C_4 - &\begin{bmatrix} - \text{Лемма 1 на левую часть}\\ - \text{Лемма 2 на правую часть} - \end{bmatrix} - \nonumber \\[8pt] - &= \frac{1}{9} \ br{ - \frac{2x - 1}{x^2 - x + 1} - - \frac{2}{\sqrt{3}} \arctan \frac{2x - 1}{\sqrt{3}} - } + C_4 - \end{align} - - \begin{gather*} - \int \frac{1}{(x^3 + 1)^2} = - \int \frac{2dx}{9(x + 1)} + - \int \frac{dx}{9(x + 1)^2} + - \int \frac{-2x + 3}{9(x^2 - x + 1)}dx + - \frac{1}{3} \int \frac{(1 - x)dx}{(x^2 - x + 1)^2} =\\[16pt] - \frac{1}{9} \ br{ - 2\log |x + 1| - \frac{1}{x + 1} - - \log(x^2 - x + 1) + \frac{4}{\sqrt{3}}\arctan \frac{2x - 1}{\sqrt{3}} - - \frac{2x - 1}{x^2 - x + 1} - \frac{2}{\sqrt{3}}\arctan\frac{2x - 1}{\sqrt{3}} - } + C - \end{gather*} -\end{document} \ No newline at end of file diff --git a/sol0127.tex b/sol0127.tex deleted file mode 100644 index 1098687..0000000 --- a/sol0127.tex +++ /dev/null @@ -1,268 +0,0 @@ -\documentclass[10pt,a5paper]{article} -\usepackage[svgnames, rgb]{xcolor} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} \texttt{sol0127}} -\title{ДЗ на 03.02} -\author{Шарафатдинов Камиль БПМИ-192} -\date{билд: \today} - - -% -- Here bet dragons -- -\begin{document}\thispagestyle{empty} - -\maketitle -\clearpage -\setcounter{page}{1} - -%\question{8.a}{ -% \[ -% \int \frac{2\sin^3 x + \cos^2 x \sin 2x}{\sin^4 x + 3 \cos^4 x} \dif x = \todo + C -% \] -%} - - - -\question{8.c}{ - \[ - \int \frac{\dif x}{\cosh^3 x + 3\cosh x} = \frac{ - 2\arctan \sinh x - \arctan \frac{\sinh x}{2} - }{6} + C - \] -} - \begin{align*} - \int \frac{\dif x}{\cosh^3 x + 3\cosh x} - &= \int \frac{\frac{\dif \sinh x}{\cosh x}}{\cosh^3 x + 3\cosh x} - &\explain{ - \dif \sinh x = \cosh x \dif x - } \\[8pt] - &= \int \frac{\dif \sinh x}{\cosh^4 x + 3\cosh^2 x} \\[8pt] - &= \int \frac{\dif \sinh x}{\br{ 1 + \sinh^2 x }^2 + 3\br {1 + \sinh^2 x}} - &\explain{ - \cosh^2 x - \sinh^2 x = 1 - } \\[8pt] - &= \int \frac{\dif u}{\br{ 1 + u^2 }^2 + 3\br {1 + u^2}} - &\explain{ - u = \sinh x - } \\[8pt] - &= \int \frac{\dif u}{4 + 5u^2 + u^4} \\[8pt] - &= \int \frac{\dif u}{\br{ u^2 + 1 } \br{ u^2 + 4 }} \\[8pt] - &= \int \frac{\dif u}{3} \br{ - \frac{1}{ u^2 + 1 } - \frac{1}{ u^2 + 4 } - } \\[8pt] - &= \frac{1}{3} \br{ - \int \frac{du}{u^2 + 1} - \int \frac{du}{u^2 + 4} - } \\[8pt] - &= \frac{1}{3} \br{ - \arctan u - \frac{1}{2}\arctan \frac{u}{2} - } + C - &\explain{ - u = \sinh x - }\\[8pt] - &= \frac{1}{6} \br{ - 2\arctan \sinh x - \arctan \frac{\sinh x}{2} - } + C - \end{align*} - -\clearpage -\question{8.e}{ - \[ - \int \frac{\dif x}{\sin^4 x + \cos^4 x} = \frac{\sqrt{2}}{2} \br{ - \arctan \br{ \sqrt{2} \tan x + 1 } + \arctan \br{ \sqrt{2} \tan x - 1 } - } + C - \] -} - - \[ - \sin^4 x + \cos^4 x = - \br{ 1 - \cos^2 x }^2 + \cos^4 x = - 1 - 2\cos^2 x + 2\cos^4 x - \] - \[ - \dif x = \cos^2 x \dif\ (\tan x) - \] - \[ - 1 + \tan^2 x = \frac{1}{\cos^2 x} - \] - - \begin{align*} - \int \frac{\dif x}{\sin^4 x + \cos^4 x} - &= \int \frac{\cos^2 x \dif\ (\tan x)}{1 - 2\cos^2 x + 2\cos^4 x} \\[8pt] - &= \int \frac{\dif\ (\tan x)}{\frac{1}{\cos^2 x} - 2 + 2\cos^2 x} \\[8pt] - &= \int \frac{\dif\ (\tan x)}{1 + \tan^2 x - 2 + \frac{2}{1 + \tan^2 x}} \\[8pt] - &= \int \frac{\dif u}{-1 + u^2 + \frac{2}{1 + u^2}} & [u = \tan x]\\[8pt] - &= \int \frac{(1 + u^2) \dif u}{u^4 + 1} \\[8pt] - \end{align*} - - По прошлой домашке мы знаем, что - \[ - x^4 + 1 = (x^2 - \sqrt{2} x + 1)(x^2 + \sqrt{2} x + 1) - \] - - Разложим на слагаемые: - \[ - \frac{x^2 + 1}{x^4 + 1} = - \frac{1}{2} \br{ \frac{1}{x^2 + \sqrt{2} x + 1} + \frac{1}{x^2 - \sqrt{2} + 1} } - \] - - \begin{align*} - \int \frac{1}{u^2 + \sqrt{2} u + 1}\dif u - &= \int \frac{1}{\br{ u + \frac{\sqrt{2}}{2} }^2 + \frac{1}{2}}\dif u \\[8pt] - &= \sqrt{2} \arctan \br{ \sqrt{2} u + 1 } + C_1 \\[16pt] - \int \frac{1}{u^2 - \sqrt{2} u + 1}\dif u - &= \int \frac{1}{\br{ u - \frac{\sqrt{2}}{2} }^2 + \frac{1}{2}}\dif u \\[8pt] - &= \sqrt{2} \arctan \br{ \sqrt{2} u - 1 } + C_2 \\[8pt] - \end{align*} - - \begin{gather*} - \int \frac{\dif x}{\sin^4 x + \cos^4 x} = - \int \frac{(\tan^2 x + 1) \dif\ \tan x}{\tan^4 x + 1} =\\[8pt] = - \frac{\sqrt{2}}{2} \br{ - \arctan \br{ \sqrt{2} \tan x + 1 } + \arctan \br{ \sqrt{2} \tan x - 1 } - } + C - \end{gather*} - -\question{8.g}{ - \[ - \int \frac{\dif x}{a \sin x + b \cos x + c}, \qquad c > \sqrt{a^2 + b^2} - \] -} - - Найдем такой интеграл в предположении $a > 1$: - - \begin{align*} - \int \frac{\dif x}{\sin x + a} - &= \int \frac{\frac{2 \dif u}{1 + u^2}}{\frac{2u}{1 + u^2} + a} - &\explain{ - \displaystyle u = \tan \frac{x}{2}\\[8pt] - \displaystyle \dif x = \frac{2 \dif u}{1 + u^2}\\[8pt] - \displaystyle \sin x = \frac{2u}{1 + u^2} - } \\[8pt] - &= \int \frac{2\dif u}{2u + a + au^2} \\[8pt] - &= \int \frac{2\dif u} - {\br{ \sqrt{a} u + \frac{1}{\sqrt{a}} }^2 + 1 - \frac{1}{a}} \\[8pt] - &= \int \frac{2\dif u} - {\br{ \sqrt{a} u + \frac{1}{\sqrt{a}} }^2 + \frac{a^2 - 1}{a}} \\[8pt] - &= \frac{2}{\sqrt{a}}\int \frac{\dif v}{v^2 + \frac{a^2 - 1}{a}} - &\explain{ - v = \sqrt{a} u + \frac{1}{\sqrt{a}}\\ - \dif v = \sqrt{a} \dif u - } \\[8pt] - &= \frac{2\sqrt{a}}{\sqrt{a}\sqrt{a^2 - 1}} - \arctan \br{ \frac{\sqrt{a} v}{\sqrt{a^2 - 1}} } + C \\[8pt] - &= \frac{2}{\sqrt{a^2 - 1}} - \arctan \br{ \frac{\sqrt{a} v}{\sqrt{a^2 - 1}} } + C \\[8pt] - &= \frac{2}{\sqrt{a^2 - 1}} - \arctan \br{ \frac{au + 1}{\sqrt{a^2 - 1}} } + C - &\explain{ - v = \sqrt{a} u + \frac{1}{\sqrt{a}} - } \\[8pt] - &= \frac{2}{\sqrt{a^2 - 1}} - \arctan \br{ \frac{a \tan \frac{x}{2} + 1}{\sqrt{a^2 - 1}} } + C - \end{align*} - - Теперь, непосредственно задание - - \begin{align*} - \int \frac{\dif x}{a \sin x + b \cos x + c} - &= \int \frac{\dif x}{r \br{ \frac{a}{r} \sin x + \frac{b}{r} \cos x} + c } - &\explain{ - \displaystyle r = \sqrt{a^2 + b^2} - } \\[8pt] - &= \frac{1}{r} \int \frac{\dif x}{\cos \phi \sin x + \sin \phi \cos x + c/r} - &\explain{ - \displaystyle \phi = \arccos \frac{a}{r} = \arcsin \frac{b}{r} - } \\[8pt] - &= \frac{1}{r} \int \frac{\dif x}{\sin \br{ \phi + x } + c/r} \\[8pt] - &= \frac{1}{r} \int \frac{\dif u}{\sin \br{ u } + c/r} - &\explain{ - u = \phi + x\\ - du = dx - } \\[8pt] - &= \frac{2}{r\sqrt{\dfrac{c^2}{r^2} - 1}} - \arctan \br{ - \frac - {\displaystyle \frac{c}{r} \tan \frac{u}{2} + 1} - {\displaystyle \sqrt{\frac{c^2}{r^2} - 1}} - } + C - &\explain{\text{По доказанному}}\\[8pt] - &= \frac{2}{\sqrt{c^2 - r^2}} - \arctan \br{ - \frac - {\displaystyle \frac{c}{r} \tan \frac{\arccos \dfrac{a}{r}}{2} + 1} - {\displaystyle \sqrt{\frac{c^2}{r^2} - 1}} - } + C \\[8pt] - &= \frac{2}{\sqrt{c^2 - r^2}} - \arctan \br{ - \frac - {\displaystyle c \tan \frac{\arccos \dfrac{a}{r}}{2} + r} - {\displaystyle \sqrt{c^2 - r^2}} - } + C \\[8pt] - &= \frac{2}{\sqrt{c^2 - a^2 - b^2}} - \arctan \br{ - \frac - {\displaystyle c \tan \frac{\arccos \dfrac{a}{\sqrt{a^2 + b^2}}}{2} + \sqrt{a^2 + b^2}} - {\displaystyle \sqrt{c^2 - a^2 - b^2}} - } + C \\[8pt] - \end{align*} - -\clearpage - -\question{10}{ - \[ - \int \frac{\dif x}{(a\sin x + b\cos x)^n} - \] -} - - Найдем рекуррентную формулу для следующего интеграла: - \begin{align*} - \int \frac{\dif x}{\sin^n x} - &= -\int \frac{\dif \cos x}{\sin^{n + 1} x}\\[6pt] - &= -\frac{\cos x}{\sin^{n + 1} x} - - \int \br{ \frac{1}{\sin^{n + 1} x} }' \cos x \dif x - &\explain{ - \displaystyle \int Fg \dif x = FG - \int fG \dif x\\ - \displaystyle F = \frac{1}{\sin^{n + 1} x}\\[10pt] - \displaystyle g = \frac{\dif \cos x}{\dif x}\\ - \displaystyle G = \cos x - } \\[8pt] - &= -\frac{\cos x}{\sin^{n + 1} x} - - (n + 1) \int \frac{\cos^2 x \dif x}{\sin^{n + 2} x} \\[8pt] - &= -\frac{\cos x}{\sin^{n + 1} x} - - (n + 1) \int \frac{(1 - \sin^2 x) \dif x}{\sin^{n + 2} x} \\[8pt] - &= -\frac{\cos x}{\sin^{n + 1} x} - - (n + 1) \int \frac{\dif x}{\sin^{n + 2} x} + - (n + 1) \int \frac{\dif x}{\sin^n x} - \end{align*} - - Пусть $\displaystyle J_n = \int \frac{\dif x}{\sin^n x}$. - - Переобозначим $n = n + 2$ в полученном интеграле, чтобы формула получилась красивой - \begin{align*} - J_{n - 2} &= -\frac{\cos x}{\sin^{n - 1} x} - (n - 1) J_n + (n - 1) J_{n - 2}\\[8pt] - (n - 1)J_n &= -\frac{\cos x}{\sin^{n - 1} x} + (n - 2)J_{n - 2}\\[8pt] - J_n &= \frac{\cos x}{(1 - n) \sin^{n - 1} x} + \frac{n - 2}{n - 1}J_{n - 2} - \end{align*} - - Тогда: - \begin{align*} - I_n = \int \frac{\dif x}{(a\sin x + b\cos x)^n} - &= \frac{1}{r} \int \frac{\dif x}{(\frac{a}{r}\sin x + \frac{b}{r}\cos x)^n} - &\explain{ - \displaystyle r = \sqrt{a^2 + b^2} - } \\[8pt] - &= \frac{1}{r} \int \frac{\dif x}{(\cos \phi \sin x + \sin \phi \cos x)^n} - &\explain{ - \displaystyle \phi = \arccos \frac{a}{r} = \arcsin \frac{b}{r} - } \\[8pt] - &= \frac{1}{r} \int \frac{\dif x}{(\sin (\phi + x))^n} \\[8pt] - &= \frac{\cos (\phi + x)}{r(1 - n) \sin^{n - 1} (\phi + x)} + - \frac{n - 2}{n - 1} I_{n - 2} \\[8pt] - &= \frac{\cos (\arccos{\frac{a}{\sqrt{a^2 + b^2}}} + x)} - {\sqrt{a^2 + b^2}(1 - n) \sin^{n - 1} (\arccos{\frac{a}{\sqrt{a^2 + b^2}}} + x)} + - \frac{n - 2}{n - 1} I_{n - 2} - \end{align*} - -\end{document} diff --git a/sol0203.tex b/sol0203.tex deleted file mode 100644 index f568637..0000000 --- a/sol0203.tex +++ /dev/null @@ -1,282 +0,0 @@ -\documentclass[10pt,a5paper]{article} -\usepackage[svgnames, rgb]{xcolor} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} \texttt{sol0203}} -\title{ДЗ на 10.02} -\author{Шарафатдинов Камиль БПМИ-192} -\date{билд: \today} - - -% -- Here bet dragons -- -\begin{document}\thispagestyle{empty} - -\maketitle -\clearpage -\setcounter{page}{1} - - -\newcommand{\deft}{\texttt{\\deft is undefined}} - - -\question{1.b}{ - \[ - \int \frac{\dif x}{\sqrt[6]{(x - 7)^7(x - 5)^5}} - = -3\sqrt[6]{\dfrac{x - 5}{x - 7}} + C - \] -} - - \begin{align*} - \int \frac{\dif x}{\sqrt[6]{(x - 7)^7(x - 5)^5}} - &= -6 \int \frac{t^7 \dif t}{t^7 \br{ \sqrt[6]{x - 5} }^5} - &\explain{ - \displaystyle t = \sqrt[6]{\frac{1}{x - 7}}\\[8pt] - \displaystyle \frac{\dif t}{\dif x} - = -\frac{1}{6} \br{ \sqrt[6]{\frac{1}{x - 7}} }^7 - = -\frac{1}{6} t^7 - }\\[8pt] - &= -6 \int \frac{\dif t}{\br{ \sqrt[6]{x - 5} }^5}\\[8pt] - &= -6 \int \frac{t^5 \dif t}{\br{ \sqrt[6]{1 + 2t^6} }^5} - &\explain{ - \dfrac{1}{\sqrt[6]{x - 5}} - &= \displaystyle \sqrt[6]{\frac{1}{\frac{1}{t^6} + 2}}\\[8pt] - &= \dfrac{t}{\sqrt[6]{1 + 2t^6}} - }\\[8pt] - &= 3 \int \frac{u^5 \dif u}{u^7} - = 3 \int \frac{\dif u}{u^2} - &\explain{ - \displaystyle u = \dfrac{1}{\sqrt[6]{1 + 2t^6}}\\ - \displaystyle \frac{\dif u}{\dif t} = -2t^5 u^7\\ - }\\ - &= -\frac{3}{u} + C\\ - &= -3\sqrt[6]{1 + 2t^6} + C\\ - &= -3\sqrt[6]{1 + \dfrac{2}{x - 7}} + C\\ - &= -3\sqrt[6]{\dfrac{x - 5}{x - 7}} + C - \end{align*} - -\clearpage - -\question{7.c}{ - \[ - \int \frac{\dif x}{1 + \sqrt{1 - 2x - x^2}} - \] -} - - Воспользуемся почти подстановкой Эйлера: - $ - \displaystyle \sqrt{ax^2 + bx + c} = xt - \sqrt{c} - $ - - \begin{align*} - \int \frac{\dif x}{1 + \sqrt{1 - 2x - x^2}} - &= \int \frac{\dif x}{xt} - &\explain{ - \displaystyle \sqrt{1 - 2x - x^2} = xt - 1\\[4pt] - \displaystyle 1 - 2x - x^2 = x^2t^2 - 2xt + 1\\[4pt] - \displaystyle x \br{ t^2 + 1 } = t - 1\\[4pt] - \displaystyle x = \dfrac{t - 1}{t^2 + 1}\\[16pt] - \displaystyle \dfrac{\dif x}{\dif t} = -2 \dfrac{t^2 - 2t - 1}{(t^2 + 1)^2} - }\\ - &= \int \frac{-2\dfrac{t^2 - 2t - 1}{(t^2 + 1)^2} \dif t} - {2\dfrac{t - 1}{t^2 + 1} t}\\[8pt] - &= -\int \frac{(t^2 - 2t - 1)(t^2 + 1) \dif t} - {(t - 1)(t^2 + 1)^2 t}\\[8pt] - &= -\int \frac{(t^2 - 2t - 1) \dif t} - {(t - 1)(t^2 + 1) t}\\[8pt] - &= -\int \br{ - \frac{2}{t^2 + 1} + \frac{1}{t} - \frac{1}{t - 1} - } \dif t\\[8pt] - &= -2\arctan t - \log{t} + \log(t - 1) + C\\[8pt] - &= -2\arctan \dfrac{\sqrt{1 - 2x - x^2} + 1}{x} + \log \dfrac{t - 1}{t} + C\\[8pt] - &= -2\arctan \dfrac{\sqrt{1 - 2x - x^2} + 1}{x} - + \log \dfrac{\sqrt{1 - 2x - x^2} + 1 - x}{\sqrt{1 - 2x - x^2} + 1} + C\\[8pt] - \end{align*} - -\clearpage - -\question{10.b}{ - \[ - \int \frac{x^8 \dif x}{\sqrt{x^2 + 1}} - \] -} - - Лемма (вообще говоря, это задача 9): - \begin{gather*} - P \in \mathbb{R}_n[x], \qquad - Q \in \mathbb{R}_{n - 1}[x], \qquad - R = \sqrt{ax^2 + bx + c} \implies - \int \frac{P \dif x}{R} = Q R + \lambda \int \frac{\dif x}{R}\\[16pt] - \br{ QR + \lambda \int \frac{\dif x}{R}}' = - Q'R + QR' + \frac{\lambda}{R} = - \frac{Q'R^2}{R} + \frac{Q(2ax + b)}{2R} + \frac{\lambda}{R} = - \frac{Q'R^2 + \frac{1}{2} Q(2ax + b) + \lambda}{R} - \end{gather*} - - Надо бы ещё доказать, что такое $Q$ всегда найдется, но нам достаточно того, что в задаче такой $Q$ есть. - - Тогда по лемме нам надо разложить $x^8$ на слагаемые $Q'(x^2 + 1) + Qx + \lambda$ - для некоторого $Q$. - - Пусть $Q = a_7x^7 + \ldots + a_0, \quad Q' = 7a_7x^6 + \ldots + a_1$ - - Получится система линейных уравнений, которую я выписывать не буду, а выпишу сразу ответ: - \[ - Q = \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x, \quad \lambda = \frac{35}{128} - \] - - Тогда - - \begin{align*} - \int \frac{x^8 \dif x}{\sqrt{x^2 + 1}} &= \br{ - \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x - } \sqrt{x^2 + 1} + \frac{25}{128}\int \frac{\dif x}{\sqrt{x^2 + 1}} \\[8pt]&= - \br{ - \frac{1}{8}x^7 - \frac{7}{48} x^5 + \frac{35}{192} x^3 - \frac{35}{128} x - } \sqrt{x^2 + 1} + \frac{25}{128} \log \left|x + \sqrt{x^2 + 1}\right| + C - \end{align*} - -\question{17.b}{ - \[ - \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} - \] -} - - \newcommand{\brac}[2]{ \br{ \dfrac{#1}{#2} } } - \newcommand{\sbrac}[2]{ \br{ \frac{#1}{#2} } } - \renewcommand{\deft}{\br{ \sqrt{x^2 + x + 1} - x }} - - \begin{gather*} - \sqrt{x^2 + x + 1} = x + t\\ - x^2 + x + 1 = x^2 + 2xt + t^2 - \end{gather*} - \begin{align*} - x &= \frac{t^2 - 1}{1 - 2t}\\ - \dif x &= -\frac{2(t^2 - t + 1)}{(1 - 2t)^2} \dif t\\ - x + t &= \frac{t^2 - t + 1}{2t - 1}\\ - x + 3 &= \frac{t^2 - 6t + 2}{1 - 2t}\\ - x^2 + 1 &= \frac{t^4 + 2t^2 - 4t + 2}{(1 - 2t)^2} - \end{align*} - - \begin{align*} - \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} - &= -2 \int \frac{(x + 3)(t^2 - t + 1)\dif t}{(x^2 + 1)(x + t)(1 - 2t)^2}\\[8pt] - &= -2 \int \frac{ - \brac{t^2 - 6t + 2}{1 - 2t}(t^2 - t + 1) \dif t - }{ - \brac{t^4 + 2t^2 - 4t + 2}{(1 - 2t)^2} - \brac{t^2 - t + 1}{2t - 1} - (1 - 2t)^2 - }\\[8pt] - &= -2 \int - \frac{t^2 - 6t + 2}{t^4 + 2t^2 - 4t + 2} \dif t\\[8pt] - &= 2 \int \frac{t^2 - 6t + 2}{t^4 + 2t^2 - 4t + 2} \dif t\\[8pt] - &= \frac{1}{\sqrt{2}} \int \br{ - \frac{2 t - 3 \sqrt2 + 4}{-t^2 + \sqrt2 t + \sqrt2 - 2} - + \frac{2 t + 3 \sqrt2 + 4}{t^2 + \sqrt2 t + \sqrt2 + 2} - } \dif t\\[8pt] - \end{align*} - - \renewcommand{\deft}{t} - \def\firstdenum{\br{ \deft - \frac{\sqrt2}{2} }^2 + \sbrac{\sqrt{6 - 4\sqrt2}}{2}^2} - \def\firstpoly{ \deft^2 - \sqrt2 \deft - \sqrt2 + 2 } - \def\firstsqrt{ \sqrt{6 - 4\sqrt2} } - - \def\seconddenum{ \br{ \deft + \frac{\sqrt2}{2} }^2 + \sbrac{\sqrt{6 + 4\sqrt2}}{2}^2 } - \def\secondpoly{ \deft^2 + \sqrt2 \deft + \sqrt2 + 2 } - \def\secondsqrt{ \sqrt{6 + 4\sqrt2} } - - \begin{align*} - \int \frac{2 t - 3 \sqrt2 + 4}{-t^2 + \sqrt2 t + \sqrt2 - 2}\dif t - &= -2 \int \frac{t - \frac{3\sqrt2}{2} + 2}{\firstdenum}\dif t\\[8pt] - &= -2 \int \frac{t - \frac{\sqrt2}{2}}{\firstdenum} \dif t - -2 \int \frac{-\sqrt2 + 2}{\firstdenum} \dif t\\[8pt] - &= - \int \frac{\dif \br{ \firstpoly }}{\firstpoly} \dif t - +2(\sqrt2 - 2) \frac{2}{\firstsqrt} \arctan \frac{2t - \sqrt2}{\firstsqrt}\\[8pt] - &= -\log{ \left|\firstpoly\right| } - - 4\arctan \frac{2t - \sqrt2}{\firstsqrt} + C_1 - \end{align*} - - \begin{align*} - \int \frac{2 t + 3 \sqrt2 + 4}{\secondpoly}\dif t - &= \int \frac{2t + 3\sqrt2 + 4}{\seconddenum} \dif t\\[8pt] - &= \int \frac{2t + \sqrt2}{\seconddenum} + - \int \frac{2\sqrt2 + 4}{\seconddenum}\\[8pt] - &= \log{ \left|\secondpoly\right| } + - 2(\sqrt2 + 2)\frac{2}{\secondsqrt} \arctan \frac{2t + \sqrt2}{\secondsqrt} + C_2\\[8pt] - &= \log{ \left|\secondpoly\right| } + - 4\arctan \frac{2t + \sqrt2}{\secondsqrt} + C_2 - \end{align*} - - \begin{align*} - \int \frac{(x + 3) \dif x}{(x^2 + 1)\sqrt{x^2 + x + 1}} - &= -\log{ \left|\firstpoly\right| } - - 4\arctan \frac{2t - \sqrt2}{\firstsqrt}\\[8pt] - & +\log{ \left|\secondpoly\right| } + - 4\arctan \frac{2t + \sqrt2}{\secondsqrt} + C\\[8pt] - \end{align*} - \renewcommand{\deft}{\br{\sqrt{x^2 + x + 1} - x}} - \begin{align*} - &= -\log{ \left|\firstpoly\right| } - - 4\arctan \frac{2\deft - \sqrt2}{\firstsqrt}\\[8pt] - & +\log{ \left|\secondpoly\right| } + - 4\arctan \frac{2\deft + \sqrt2}{\secondsqrt} + C - \end{align*} - -\clearpage -\question{17.c}{ - \[ - \int \frac{\dif x}{(x^3 - x)\sqrt{x^2 + x + 4}} - \] -} - \begin{gather*} - \sqrt{x^2 + x + 4} = x + t\\ - x^2 + x + 4 = x^2 + 2xt + t^2 - \end{gather*} - \begin{align*} - x &= \frac{t^2 - 4}{1 - 2t}\\ - \dif x &= -\frac{2(t^2 - t + 4)}{(1 - 2t)^2} \dif t\\ - x + t &= \frac{t^2 - t + 4}{2t - 1} - \end{align*} - - \medskip - - \renewcommand{\deft}{\sqrt{x^2 + x + 4} - x} - - \begin{align*} - \int \frac{\dif x}{(x^3 - x)\sqrt{x^2 + x + 4}} - &= \int \frac{\dif x}{x(x + 1)(x - 1)\sqrt{x^2 + x + 4}}\\[8pt] - &= -\int \frac{2(t^2 - t + 4) \dif t}{(1 - 2t)^2 x(x + 1)(x - 1)(x + t)}\\[8pt] - &= -2\int \frac{(t^2 - t + 4) \dif t}{ - (1 - 2t)^2 - \brac{t^2 - 4}{1 - 2t} - \brac{t^2 - 5 + 2t}{1 - 2t} - \brac{t^2 - 3 - 2t}{1 - 2t} - \brac{t^2 - t + 4}{2t - 1} - }\\[8pt] - &= 2 \int \frac{(1 - 2t)^2 \dif t}{ - (t^2 - 4)(t^2 + 2t - 5)(t^2 - 2t - 3) - }\\[8pt] - &= 2 \int \frac{(1 - 2t)^2 \dif t}{ - (t - 2)(t + 2)(t - \sqrt{6} + 1)(t + \sqrt{6} + 1)(t + 1)(t - 3) - }\\[8pt] - &= 2\int \br{ - -\frac{1}{t^2 - 4} - -\frac{1}{8(t + 1)} - +\frac{1}{8(t - 3)} - -\frac{1}{4\sqrt{6}(t + \sqrt{6} + 1)} - +\frac{1}{4\sqrt{6}(t - \sqrt{6} + 1)} - } \dif t\\[8pt] - &= -\arctan \frac{t}{2} - -\frac{1}{4}\log |t + 1| - +\frac{1}{4}\log |t - 3| - -\frac{1}{2\sqrt{6}}\log |t + \sqrt{6} + 1| - +\frac{1}{2\sqrt{6}}\log |t - \sqrt{6} + 1|\\[8pt] - &= -\arctan \frac{\deft}{2} - -\frac{1}{4}\log |\deft + 1| - +\frac{1}{4}\log |\deft - 3|\\[8pt] - &-\frac{1}{2\sqrt{6}}\log |\deft + \sqrt{6} + 1| - +\frac{1}{2\sqrt{6}}\log |\deft - \sqrt{6} + 1|\\[8pt] - \end{align*} - -\end{document} diff --git a/sol0210.tex b/sol0210.tex deleted file mode 100644 index bb4ad94..0000000 --- a/sol0210.tex +++ /dev/null @@ -1,56 +0,0 @@ -\documentclass[10pt,a5paper]{article} -\usepackage[svgnames, rgb]{xcolor} - -\input{intro} - -\lhead{\color{gray} Шарафатдинов Камиль 192} -\rhead{\color{gray} \texttt{sol0203}} -\title{ДЗ на 10.02} -\author{Шарафатдинов Камиль БПМИ-192} -\date{билд: \today} - - -% -- Here bet dragons -- -\begin{document}\thispagestyle{empty} - -\maketitle -\clearpage -\setcounter{page}{1} - -\question{1.f}{ - \[ - \int_1^e \sin \log x \dif x - \] -} - - \begingroup - \setlength{\jot}{8pt} - \begin{align*} - I = \int \sin \log \dif x - &= \int e^u \sin u \dif u - &\explain{ - \displaystyle u = \log x\\ - \displaystyle \dif u = \frac{\dif x}{x} = \frac{\dif x}{e^u} - }\\ - &= - e^u \cos u + \int e^u \cos u \dif u\\ - &= - e^u \cos u + e^u \sin u - \int e^u \sin u \dif u - \end{align*} - \endgroup - - \begin{flalign*} - 2I = e^u (\sin u - \cos u) + C\\ - I = \frac{e^u}{2} (\sin u - \cos u) + C = - \frac{x}{2} (\sin \log x - \cos \log x) + C - \end{flalign*} - - \[ - \int_1^e \sin \log x \dif x = - \frac{e}{2} (\sin 1 - \cos 1) - \frac{1}{2} (0 - 1) = - \frac{e}{2} (\sin 1 - \cos 1) + \frac{1}{2} - \] - -\vspace*{\fill} - - P.S. Ну проверь хотя бы одну задачу, пожаааалуйста - -\end{document} -- cgit v1.2.1-18-gbd029