blob: af6f3d6fd1d311ae30ce0d4c9589f44da65dcb2f [file] [log] [blame]
Adrià Vilanova Martínez4caba882021-10-06 21:51:23 +02001\documentclass[11pt,a4paper,dvipsnames]{article}
2\usepackage[utf8]{inputenc}
3
4\usepackage[catalan]{babel}
5\input{../../../hw_preamble.tex}
6
7\title{Laboratori 2: Discriminant\\Teoria de Galois}
8\author{Adrià Vilanova Martínez}
9
10\printversionfalse % "true": print version (no colors), "false": display version
11\showcorrectionsfalse % Change "true" to "false" in order to show corrections as
12 % if they weren't corrections (in black instead of red).
13
14% Ruffini macro (source: https://tex.stackexchange.com/a/122728)
15\usepackage{xparse}
16\ExplSyntaxOn
17\NewDocumentCommand{\ruffini}{mmmm}
18 {% #1 = polynomial, #2 = divisor, #3 = middle row, #4 = result
19 \franklin_ruffini:nnnn { #1 } { #2 } { #3 } { #4 }
20 }
21
22\seq_new:N \l_franklin_temp_seq
23\tl_new:N \l_franklin_scheme_tl
24\int_new:N \l_franklin_degree_int
25
26\cs_new_protected:Npn \franklin_ruffini:nnnn #1 #2 #3 #4
27 {
28 % Start the first row
29 \tl_set:Nn \l_franklin_scheme_tl { #2 & }
30 % Split the list of coefficients
31 \seq_set_split:Nnn \l_franklin_temp_seq { , } { #1 }
32 % Remember the number of columns
33 \int_set:Nn \l_franklin_degree_int { \seq_count:N \l_franklin_temp_seq }
34 % Fill the first row
35 \tl_put_right:Nx \l_franklin_scheme_tl
36 { \seq_use:Nnnn \l_franklin_temp_seq { & } { & } { & } }
37 % End the first row and leave two empty places in the next
38 \tl_put_right:Nn \l_franklin_scheme_tl { \\ & & }
39 % Split the list of coefficients and fill the second row
40 \seq_set_split:Nnn \l_franklin_temp_seq { , } { #3 }
41 \tl_put_right:Nx \l_franklin_scheme_tl
42 { \seq_use:Nnnn \l_franklin_temp_seq { & } { & } { & } }
43 % End the second row
44 \tl_put_right:Nn \l_franklin_scheme_tl { \\ }
45 % Compute the \cline command
46 \tl_put_right:Nx \l_franklin_scheme_tl
47 {
48 \exp_not:N \cline { 2-\int_to_arabic:n { \l_franklin_degree_int + 1 } }
49 }
50 % Leave an empty place in the third row (no rule either)
51 \tl_put_right:Nn \l_franklin_scheme_tl { \multicolumn{1}{r}{} & }
52 % Split and fill the third row
53 \seq_set_split:Nnn \l_franklin_temp_seq { , } { #4 }
54 \tl_put_right:Nx \l_franklin_scheme_tl
55 { \seq_use:Nnnn \l_franklin_temp_seq { & } { & } { & } }
56 % Start the array (with \use:x because the array package
57 % doesn't expand the argument)
58 \use:x
59 {
60 \exp_not:n { \begin{array} } { r | *{\int_use:N \l_franklin_degree_int} { r } }
61 }
62 % Body of the array and finish
63 \tl_use:N \l_franklin_scheme_tl
64 \end{array}
65 }
66\ExplSyntaxOff
67
68\begin{document}
69
70\maketitle
71
72\section{Fórmula de Cardano}
73
74\begin{Problem}
75 Feu un canvi de variable del tipus $X = Y - m$ per transformar l'equació inicial en una equació:
76 \[ Y^3 + pY + q = 0, \quad p, q \in K \]
77
78 \begin{enumerate}[a)]
79 \item Expresseu $p, q$ en termes de $b, c, d$.
80 \item Expresseu les arrels $\beta_1, \beta_2, \beta_3$ de la nova equació en termes d'$\alpha_1, \alpha_2, \alpha_3$.
81 \end{enumerate}
82\end{Problem}
83
84\textbf{Apartat a):} \\
85\[ 0 = a(Y - m)^3 + b(Y - m)^2 + c(Y - m) + d = \]
86\[ = a(Y^3 - 3 Y^2 m + 3 Y m^2 - m^3) + b(Y^2 - 2Ym + m^2) + c(Y - m) + d = \]
87\[ = aY^3 + (-3am + b)Y^2 (3am^2 - 2bm + c)Y + (-am^3 + bm^2 - cm + d). \]
88
89Per no liar molt la troca suposarem des del principi $a = 1$. Podem considerar que el que hem fet és multiplicar l'equació per $a^{-1}$, i treballem sobre les variables $\tilde{b} = ba^{-1}$, $\tilde{c} = ca^{-1}$, $\tilde{d} = da^{-1}$.
90
91Aleshores, igualant coeficients, obtenim:
92\[ \left\{ \begin{array}{l}
93 -3m + b = 0 \implies m = \frac{b}{3}, \\
94 3m^2 - 2bm + c = p \implies 3 \frac{b^2}{9} - 2b \frac{b}{3} + c = p \implies \frac{b^2}{3} - \frac{2}{3}b^2 + c = p \implies -\frac{b^2}{3} + c = p, \\
95 -m^3 + bm^2 - cm + d = q \implies - \frac{b^3}{27} + \frac{b^3}{9} - c\frac{b}{3} + d = q \implies \frac{2b^3}{27} - \frac{cb}{3} + d = q,
96\end{array} \right\} \implies \]
97\[ \implies \begin{cases}
98 m = \frac{b}{3}, \\
99 p = c - \frac{b^2}{3}, \\
100 q = \frac{2}{27}b^3 - \frac{cb}{3} + d.
101\end{cases} \]
102
103\textbf{Apartat b):} \\
104Si anomenem $P(X) := aX^3 + bX^2 + cX + d$ i $Q(Y) := Y^3 + pY + q = 0$, aleshores:
105\[ Q(Y) = P(Y - m). \]
106Per tant,
107\[ \forall \beta_i : Q(\beta_i) = 0 \implies P(\beta_i - m) 0 0 \implies \beta_i - m = \alpha_i \implies \beta_i = \alpha_i + m. \]
108
109\begin{Problem}
110 Comproveu que el canvi $Y = U - V$ transforma l'equació anterior en:
111 \[ (U^3 - V^3) - (3UV - p)(U - V) + q = 0. \]
112 Feu el canvi $V = p/(3U)$ per obtenir l'equació
113 \[ U^6 + qU^3 - p^3/27 = 0. \]
114\end{Problem}
115
116\[ 0 = (U - V)^3 + p(U - V) + q = U^3 - V^3 + 3UV^2 - 3U^2V + p(U - V) + q = \]
117\[ = (U^3 - V^3) + 3UV(V - U) + p(U - V) + q = \]
118\[ = (U^3 - V^3) + (-3UV + p)(U - V) + q = \]
119\[ = (U^3 - V^3) - (3UV - p)(U - V) + q. \]
120
121Així doncs, fent la substitució $V = \frac{p}{3U}$:
122\[ 0 = \left( U^3 - \frac{p^3}{27 U^3} \right) - \cancel{\left( 3 \frac{p}{3} - p \right)}(U - V) + qU^3 \implies \]
123\[ \implies 0 = U^6 + qU^3 - \frac{p^3}{27}. \]
124
125\begin{Problem}
126 Trobeu els dos valors $z_1, z_2 \in \bar{K}$ de $U^3$ que són solució de l'equació anterior.
127\end{Problem}
128
129Fem el canvi $U^3 = T$. Aleshores:
130\[ T^2 + qT - \frac{p^3}{27} = 0. \]
131
132Apliquem la fórmula de l'equació de segon grau ``a cegues'' (tal com vam comentar a la primera classe): (treballem a $\bar{K}$ on existeixen totes les arrels)
133\[ z_{1, 2} = \frac{-q \pm \sqrt{q^2 + 4 \frac{p^3}{27}}}{2}. \]
134
135\begin{Problem}
136 Trieu una arrel cúbica $u_1 \in \bar{K}$ de $z_1$, i preneu $v_1 = \frac{p}{3 u_1}$. Comproveu que:
137 \[ v_1^3 = - z_2, \quad u_1^3 + v_1^3 = -q. \]
138\end{Problem}
139
140Observem que $v_1^3 = - z_2 \iff \frac{v_1^3}{z_2} = -1$. Per tant, calculem el membre de l'esquerra:
141\[ \frac{v_1^3}{z_2} = \frac{p^3}{3^3 u_1^3 z_2} = \frac{p^3}{27 z_1 z_2}. \]
142
143A més:
144\[ z_1 z_2 = \frac{1}{4} \left( - q + \sqrt{q^2 + 4 \frac{p^3}{27}} \right) \cdot \left( - q - \sqrt{q^2 + 4 \frac{p^3}{27}} \right) = \frac{1}{4} \left( q^2 - q^2 - 4 \frac{p^3}{27} \right) = - \frac{p^3}{27}. \]
145
146Per tant, substituint a l'expressió anterior:
147\[ \frac{v_1^3}{z_2} = \frac{p^3}{27} \cdot \left( - \frac{27}{p^3} \right) = -1. \]
148
149Ara demostrarem $u_1^3 - v_1^3 = -q$:
150\[ u_1^3 = z_1, v_1^3 = \frac{p^3}{27 u_1^3} \implies \]
151\[ \implies u_1^3 - v_1^3 = z_1 - \frac{p^3}{27 z_1} = \frac{27 z_1^2 - p^3}{27 z_1} \implies \]
152\[ \implies z_1(u_1^3 - v_1^3) = z_1^2 - \frac{p^3}{27} \notate[X]{{}={}}{1}{\scriptstyle \text{Eq. } \left. T^2 + qT - \frac{p^3}{27} \right|_{T = z_1} = 0} - qz_1 \implies \]
153\[ \implies u_1^3 - v_1^3 = -q. \]
154
155\begin{Problem}
156 Comproveu que $u_1 - v_1$ és una arrel de l'equació $Y^3 + pY + q = 0$. Quines són les altres arrels? Escriviu fórmules generals per a les arrels $\beta_1, \beta_2, \beta_3$.
157\end{Problem}
158
159Ha de ser arrel pel canvi de variables que hem fet. Anem a comprovar-ho:
160\[ (u_1 - v_1)^3 + p(u_1 - v_1) + q = \underbrace{\cancel{u_1^3 - v_1^3}}_{-q} + 3u_1v_1^2 - 3u_1^2v_1 + p(u_1 - v_1) + \cancel{q} = \]
161\[ = (p - 3u_1v_1)(u_1 - v_1) \notate[X]{{}={}}{1}{v_1 = \frac{p}{3u_1}} \left( p - 3u_1\frac{p}{3u_1} \right)(u_1 - v_1) = (p - p)(u_1 - v_1) = 0. \]
162
163Donat que hem considerat 1 arrel cúbica en concret de $z_1$ i no les altres 2 arrels cúbiques, per construir les altres 2 arrels prenem $u_2, u_3 \in \bar{K}$ arrels cúbiques diferents de $z_1$ (o $z_2$) i prenem $v_i = \frac{p}{3 u_i}$. Aleshores: $u_i - v_i =: \beta_i$ seran les arrels de l'equació $Y^3 + pY + q = 0$.
164
165Això és perquè el procediment amb el qual hem demostrat que $u_1 - v_1$ és arrel és independent de l'arrel escollida.
166
167\[ \beta_i = u_i - v_i = y_i - \frac{p}{3 u_i}, \]
168on $u_i$ és una de les arrels cúbiques de $z_i$ (en total n'hi haurà 3, ja que pel Teorema Fonamental de l'Àlgebra n'hi ha 3, i si n'hi ha menys, és perquè hi ha arrels repetides).
169
170\newpage
171
172\begin{Problem}
173 Trobeu les solucions de l'equació $X^3 - 6X - 6 = 0$ en $\mathbb{Q}$ i en $\mathbb{F}_{43}$.
174\end{Problem}
175
176\begin{itemize}
177 \item \textbf{Cas $\mathbb{Q}$}: Intentem factoritzar mitjançant Ruffini per trobar les arrels (sabem que si no es pot factoritzar per Ruffini, aleshores és irreductible i no existeix cap arrel a $\mathbb{Q}$):
178
179 \begin{center}
180 \begin{minipage}{\textwidth}
181 \begin{multicols}{2}
182 \[ \ruffini{1,0,-6,-6}{1}{1,1,-5}{1,1,-5,-11} \]
183 \[ \ruffini{1,0,-6,-6}{-1}{-1,1,5}{1,-1,-5,-1} \]
184 \[ \ruffini{1,0,-6,-6}{2}{2,4,-4}{1,2,-2,-10} \]
185 \[ \ruffini{1,0,-6,-6}{-2}{-2,4,4}{1,-2,-2,-2} \]
186 \[ \ruffini{1,0,-6,-6}{3}{3,9,9}{1,3,3,3} \]
187 \[ \ruffini{1,0,-6,-6}{-3}{-3,9,-9}{1,-3,3,-15} \]
188 \[ \ruffini{1,0,-6,-6}{6}{6,36,210}{1,6,30,204} \]
189 \[ \ruffini{1,0,-6,-6}{-6}{-6,36,-210}{1,-6,30,-216} \]
190 \end{multicols}
191 \end{minipage}
192 \end{center}
193
194 És a dir, no existeix cap solució de l'equació en $\mathbb{Q}$.
195
196 \item \textbf{Cas $\mathbb{F}_{43}$:}
197 \[ z_1, z_2 = \frac{6 \pm \sqrt{36 + 4 \frac{(-6)^3}{27}}}{2} = \frac{1}{2} \left( 6 \pm \sqrt{36} \cdot \sqrt{1 - \frac{24}{27}} \right) = \]
198 \[ = \frac{1}{2} \left( 6 \pm 6 \sqrt{1 - \frac{24}{27}} \right) = 3 \pm 3 \sqrt{\frac{3}{27}} = 3 \pm \sqrt{\frac{1}{9}} = 3 \pm 1 = 2, 4. \]
199
200 Ara busquem arrels cúbiques de $2$ i $4$ a $\mathbb{F}_{43}$. Són les següents:
201 \[ 20^3 = 2, \quad 32^3 = 2, \quad 34^3 = 2, \quad 13^3 = 4, \quad 35^3 = 4, \quad 38^3 = 4. \]
202 \[ u_1 = 20, \quad u_2 = 32, \quad u_3 = 34, \quad u_4 = 13, \quad u_5 = 35, \quad u_6 = 38. \]
203
204 Tenim que:
205 \[ v_i = \frac{p}{3 u_i} = \frac{-6}{3} u_i^{-1} = -2 u_i^{-1} \implies \]
206 \[ \implies \left\{ \begin{array}{l}
207 v_1 = -2 u_1^{-1} = -2 \cdot 28 = 30 \\
208 v_2 = -2 u_2^{-1} = -2 \cdot 39 = 8 \\
209 v_3 = -2 u_3^{-1} = -2 \cdot 19 = 5 \\
210 v_4 = -2 u_4^{-1} = -2 \cdot 10 = 23 \\
211 v_5 = -2 u_5^{-1} = -2 \cdot 16 = 11 \\
212 v_6 = -2 u_6^{-1} = -2 \cdot 17 = 9
213 \end{array} \right\} \implies \]
214 \[ \implies \begin{cases}
215 \beta_1 = u_1 - v_1 = 20 - 30 = 33, \\
216 \beta_2 = u_2 - v_2 = 32 - 8 = 24, \\
217 \beta_3 = u_3 - v_3 = 34 - 5 = 29, \\
218 \beta_4 = u_4 - v_4 = 13 - 23 = 33, \\
219 \beta_5 = u_5 - v_5 = 35 - 11 = 24, \\
220 \beta_6 = u_6 - v_6 = 38 - 9 = 29.
221 \end{cases} \]
222
223 Hem comprovat que efectivament és el mateix prendre $z_1$ que $z_2$ per tal de generar les 3 arrels.
224
225 Per tant, les arrels són:
226 \[ \beta_1 = 33, \quad \beta_2 = 24, \quad \beta_3 = 29. \]
227\end{itemize}
228
229\begin{Problem}
230 Considereu l'equació $X^3 + X - 2 = 0$ sobre $\mathbb{Q}$.
231
232 \begin{enumerate}[a)]
233 \item Trobeu les solucions \textit{a ull}.
234 \item Calculeu les solucions amb les fórmules de l'exercici 5 i deduïu la igualtat:
235 \[ \sqrt[3]{1 + \frac{2}{3} \sqrt{\frac{7}{3}}} + \sqrt[3]{1 - \frac{2}{3} \sqrt{\frac{7}{3}}}. \]
236 \item Comproveu que
237 \[ \left( \frac{1}{2} + \frac{1}{2} \sqrt{\frac{7}{3}} \right)^3 = 1 + \frac{2}{3} \sqrt{\frac{7}{3}}, \]
238 i utilitzeu aquesta igualtat per relacionar els resultats que heu obtingut als apartats anteriors.
239 \end{enumerate}
240\end{Problem}
241
242\textbf{Apartat a):} \\
243A ull veiem que una solució trivial és $X = 1$. Aleshores, factoritzant el polinomi (dividim $X^3 + X - 2$ entre $X - 1$) obtenim:
244\[ (X^3 + X - 2) = (X - 1)(X^2 + X + 2), \]
245on veiem que les altres 2 arrels no pertanyen als racionals, ja que els coeficients són tots estrictament positius.
246
247\textbf{Apartat b):} \\
248Calculem les solucions amb les fórmules de l'apartat 5:
249\[ z_{1, 2} = \frac{-q \pm \sqrt{q^2 + 4 \frac{p^3}{27}}}{2} = \frac{2 \pm \sqrt{4 + \frac{4}{27}}}{2} = 1 \pm \sqrt{1 + \frac{1}{27}} = \]
250\[ = 1 \pm \sqrt{\frac{28}{27}} = 1 \pm \frac{2}{3}\sqrt{\frac{7}{3}}. \]
251
252Aleshores:
253\[ u_1 = \sqrt[3]{1 + \frac{2}{3} \sqrt{\frac{7}{3}}} \implies v_1 = \sqrt[3]{- z_2} = - \sqrt[3]{1 - \frac{2}{3} \sqrt{\frac{7}{3}}}. \]
254
255Finalment, tenim que $u_1 - v_1$ és arrel:
256\[ u_1 - v_1 = \sqrt[3]{1 + \frac{2}{3} \sqrt{\frac{7}{3}}} + \sqrt[3]{1 - \frac{2}{3} \sqrt{\frac{7}{3}}}. \]
257
258Escollim encabir $\mathbb{Q}$ dins de $\mathbb{R}$ i alhora de $\mathbb{C}$ com a clausura algebraica per conveniència. Aleshores, mentre que una arrel de l'equació és racional (i per tant real), les altres dues són complexes. Aquesta arrel que hem trobat explícitament ($u_1 - v_1$) és real i, per tant, ha de ser igual 1 que és l'única arrel real.
259
260\textbf{Apartat c):}
261\[ \left( \frac{1}{2} + \frac{1}{2} \sqrt{\frac{7}{3}} \right)^3 = \frac{1}{8} \left( 1 + \sqrt{\frac{7}{3}} \right)^3 = \frac{1}{8} \left( 1 + 3 \sqrt{\frac{7}{3}} + \frac{\cancel{3} \cdot 7}{\cancel{3}} + \left( \sqrt{\frac{7}{3}} \right)^3 \right) = \]
262\[ = \frac{1}{8} \left( 8 + \sqrt{\frac{7}{3}} \left( 3 + \frac{7}{3} \right) \right) =  \frac{1}{8} \left( 8 + \sqrt{\frac{7}{3}} \frac{16}{3} \right) = 1 + \frac{2}{3} \sqrt{\frac{7}{3}}. \]
263
264Observem que aquesta igualtat el que ens diu és que $\frac{1}{2} + \frac{1}{2} \sqrt{\frac{7}{3}}$ és una arrel tercera de $z_1$. Relacionant-lo amb l'apartat b), tenim que
265\[ \sqrt[3]{1 - \frac{2}{3} \sqrt{\frac{7}{3}}} = 1 - \frac{1}{2} + \frac{1}{2} \sqrt{\frac{7}{3}} = \frac{1}{2} - \frac{1}{2} \sqrt{\frac{7}{3}}, \]
266que és el conjugat.
267
268Veiem que sumant els dos conjugats efectivament obtenim 1, el que hem vist a l'apartat a).
269
270\newpage
271
272La resta de l'entregable (apartats 8-12) estan fets a mà.
273
274\end{document}