From 55b8806da4c2ca14827c37183d1c2edf4f7f2f49 Mon Sep 17 00:00:00 2001 From: syn Date: Wed, 15 Apr 2020 04:40:51 +0300 Subject: Cleaner main file --- alg/alg-1.tex | 5 +---- intro.sty | 2 ++ mathshit.sty | 3 +++ 3 files changed, 6 insertions(+), 4 deletions(-) diff --git a/alg/alg-1.tex b/alg/alg-1.tex index a9906b8..9587e4b 100644 --- a/alg/alg-1.tex +++ b/alg/alg-1.tex @@ -1,11 +1,8 @@ \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 -- @@ -66,7 +63,7 @@ Тогда пусть по построению $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)$. + Очевидно, что $\gcd(\deg(h), \ \deg(h_i)) \leqslant \deg(h_i)$. Но так как $h \notin \cycle{h_i}$, то $\deg(h)\ \nodivby \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$, что и требовалось. diff --git a/intro.sty b/intro.sty index 2c9efac..cbc5b0c 100644 --- a/intro.sty +++ b/intro.sty @@ -1,6 +1,8 @@ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{intro}[2020/04/04 Math tasks intro] + +\usepackage[x11names, svgnames, rgb]{xcolor} \usepackage[no-math]{fontspec} \setmainfont{Gentium Plus} \setmonofont{Inconsolata LGC} diff --git a/mathshit.sty b/mathshit.sty index b4ca786..2e892aa 100644 --- a/mathshit.sty +++ b/mathshit.sty @@ -1,6 +1,8 @@ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{mathshit}[2020/04/04 Math Shit] +\RequirePackage{cancel} + \DeclareMathOperator{\dif}{d \!} \DeclareMathOperator{\ord}{ord} \DeclareMathOperator{\lcm}{lcm} @@ -26,6 +28,7 @@ \DeclareRobustCommand{\divby}{% \mathrel{\vbox{\baselineskip.5ex\lineskiplimit0pt\hbox{$.$}\hbox{$.$}\hbox{$.$}}}% } +\newcommand{\nodivby}{\cancel{\divby}} \newcommand{\br}[1]{\left( #1 \right)} \newcommand{\brac}[2]{ \br{ \frac{#1}{#2} } } -- cgit v1.2.1-18-gbd029