Add electrodinàmica HW3
Change-Id: I9447b19459337b77aedd158fd29e54542b08ea2a
diff --git a/quad9/electrodinamica/homework/hw3/LLEGEIX-ME.txt b/quad9/electrodinamica/homework/hw3/LLEGEIX-ME.txt
new file mode 100644
index 0000000..99e47ce
--- /dev/null
+++ b/quad9/electrodinamica/homework/hw3/LLEGEIX-ME.txt
@@ -0,0 +1,6 @@
+Hola! Degut al fet que a l'entrega s'indica que els fulls han de ser manuscrits,
+he pujat tant el desenvolupament manuscrit que he fet a una pissarra de la
+biblioteca, com un document LaTeX que he escrit posteriorment per tal d'aclarar
+millor els passos que he fet a la pissarra (essencialment és el mateix).
+
+Crec que el document fet amb LaTeX s'entèn molt millor.
diff --git a/quad9/electrodinamica/homework/hw3/main.tex b/quad9/electrodinamica/homework/hw3/main.tex
new file mode 100644
index 0000000..e5acfa3
--- /dev/null
+++ b/quad9/electrodinamica/homework/hw3/main.tex
@@ -0,0 +1,141 @@
+\documentclass[11pt,a4paper,dvipsnames]{article}
+\usepackage[utf8]{inputenc}
+
+\usepackage[catalan]{babel}
+\input{../../../hw_preamble.tex}
+
+\usepackage{biblatex}
+\addbibresource{referencies.bib}
+
+\title{Entrega 4 de problemes\\Electrodinàmica}
+\author{Adrià Vilanova Martínez}
+\date{26 d'octubre, 2021}
+
+\showcorrectionsfalse % Change "true" to "false" in order to show corrections as
+ % if they weren't corrections (in black instead of red).
+
+\newcommand{\X}{\mathbf{X}}
+\newcommand{\Y}{\mathbf{Y}}
+
+\begin{document}
+
+\maketitle
+
+\begin{FreeProblem}
+ \textbf{Problema II.3.} Demostreu:
+
+ \begin{enumerate}[a)]
+ \item $\X, \Y$ vectors tipus-temps orientats al futur $\implies \X + \Y$ també ho és.
+ \item $\left.\begin{array}{r}
+ \X \text{ tipus temps}, \\
+ \exists \Y \neq 0 \text{ tq } \X \cdot \Y = 0
+ \end{array}\right\} \implies \Y \text{ és de tipus temps}.$
+ \end{enumerate}
+\end{FreeProblem}
+
+\textbf{Solució per a):} \\
+$\X, \Y$ són vectors tipus-temps, així que tenim:
+\[ \begin{cases}
+ \X^2 = \X \cdot \X = X_\nu Y^\nu > 0 \implies (X^0)^2 - (X^1)^2 - (X^2)^2 - (X^3)^2 > 0, \\
+ \Y^2 = \Y \cdot \Y = Y_\nu Y^\nu > 0 \implies (Y^0)^2 - (Y^1)^2 - (Y^2)^2 - (Y^3)^2 > 0. \\
+\end{cases} \]
+
+A més, com $\X, \Y$ estan enfocats al futur:
+\[ \begin{cases}
+ X^0 > 0, \\
+ Y^0 > 0.
+\end{cases} \]
+
+Per tant:
+\[ (\X + \Y) \cdot (\X + \Y) = (\X + \Y)_\nu (\X + \Y)^\nu = (X_\nu + Y_\nu) (X_\nu + Y_\nu) = \]
+\[ = \underbrace{X_\nu X^\nu}_{> 0} + X_\nu Y^\nu + X^\nu Y_\nu + \underbrace{Y_\nu X^\nu}_{> 0} > 2 X_\nu Y^\nu = 2 \X \cdot \Y. \]
+
+Ara ens agradaria veure que $\X \cdot \Y \leq 0$ sota la mètrica de Minkoswki per acabar la demostració.
+
+\[ \left.\begin{array}{r}
+ X_\nu X^\nu > 0, \\
+ X^0 > 0
+\end{array}\right\} \implies X^0 > \sqrt{(X^1)^2 + (X^2)^2 + (X^3)^2} = ||\vec{X}^i||, \]
+on designem per $|| \cdot ||$ la norma euclidiana que resulta de considerar el vector que té com a components les 3 darreres components del quadrivector (és a dir, la part espaial).
+
+Anàlogament, tenim que $Y^0 > ||\vec{Y}^i||$.
+
+Aleshores:
+\[ \X \cdot \Y = X^0 Y^0 - X^1 Y^1 - X^2 Y^2 - X^3 Y^3 > || \vec{X}^i || \, || \vec{Y}^i || - (\vec{X}^i, \vec{Y}^i), \]
+on denotem per $(\vec{u}_1, \vec{u}_2)$ el producte escalar euclidià, de nou de la part espaial dels quadrivectors.
+
+Finalment, considerem dos casos:
+
+\begin{itemize}
+ \item \underline{Si $(\vec{X}^i, \vec{Y}^i) \leq 0$}: aleshores tenim trivialment $\X \cdot \Y > || \vec{X}^i || \, || \vec{Y}^i || - (\vec{X}^i, \vec{Y}^i) \geq 0$.
+
+ \item \underline{Si $(\vec{X}^i, \vec{Y}^i) > 0$}: aleshores $(\vec{X}^i, \vec{Y}^i) = |(\vec{X}^i, \vec{Y}^i)|$, i apliquem la desigualtat de Cauchy-Schwarz amb el producte escalar i norma euclidianes, fet que ens dona que:
+ \[ \X \cdot \Y > || \vec{X}^i || \, || \vec{Y}^i || - |(\vec{X}^i, \vec{Y}^i)| \notate[X]{{}\geq{}}{0.7}{\scriptstyle \text{Cauchy-Schwarz}} 0. \]
+ \qed
+\end{itemize}
+
+\textbf{Solució per b):} \\
+$\X$ és de tipus temps, així que $\X^2 > 0$. A més, tenim $\X \cdot \Y = 0$. Volem veure que $\Y^2 < 0$.
+
+Demostrem-ho per reducció a l'absurd. Suposem que $\Y^2 \geq 0$. Si arribem a una contradicció, això vol dir que el que hem suposat era fals i, per tant, haurem demostrat el que volíem.
+
+Amb la notació de l'apartat anterior, tenim:
+\[ \X \cdot \Y = X^0 Y^0 - X^1 Y^1 - X^2 Y^2 - X^3 Y^3 = X^0 Y^0 - (\vec{X}^i, \vec{Y}^i). \]
+
+Separem diversos casos, tot i que utilitzarem el mateix argument (exceptuant petits detalls) per tots ells excepte el darrer:
+
+\begin{itemize}
+ \item \underline{Si $X^0 > 0, Y^0 > 0$}: \\
+ En aquest cas, $X^0 Y^0 > 0$. Per ser $\X$ de tipus temps ($\X^2 > 0$) i $\Y^2 \geq 0$ per hipòtesi, raonant com a l'apartat (a) tenim:
+ \[ \begin{cases}
+ X^0 > \sqrt{(X^1)^2 + (X^2)^2 + (X^3)^2} = || \vec{X}^i ||, \\
+ Y^0 \geq \sqrt{(Y^1)^2 + (Y^2)^2 + (Y^3)^2} = || \vec{Y}^i ||
+ \end{cases} \]
+ i, per tant:
+ \[ X^0 Y^0 > || \vec{X}^i || || \vec{Y}^i || \notate[X]{{}\geq{}}{0.7}{\scriptstyle \text{Cauchy-Schwarz}} |(\vec{X}^i, \vec{Y}^i)| \implies \]
+ \[ \implies X^0 Y^0 \neq |(\vec{X}^i, \vec{Y}^i)| \implies \]
+ \[ \implies \X \cdot \Y = X^0 Y^0 - (\vec{X}^i, \vec{Y}^i) \neq 0. \]
+
+ Per tant, hem arribat a una contradicció, ja que una de les hipòtesis inicials era que $\X \cdot \Y = 0$.
+
+ \item \underline{Si $X^0 > 0, Y^0 < 0$}: \\
+ Seguint el mateix argument que en el cas anterior, tenim:
+ \[ \left.\begin{array}{r}
+ X^0 Y^0 < 0, \\
+ X^0 > || \vec{X}^i ||, \\
+ - Y^0 \geq || \vec{Y}^i ||.
+ \end{array}\right\} \implies - X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
+
+ Per tant, de nou, arribem a una contradicció.
+
+ \item \underline{Si $X^0 < 0, Y^0 > 0$}: \\
+ Utilitzant de nou el mateix argument, però canviant alguns signes:
+ \[ \left.\begin{array}{r}
+ X^0 Y^0 < 0, \\
+ - X^0 > || \vec{X}^i ||, \\
+ Y^0 \geq || \vec{Y}^i ||.
+ \end{array}\right\} \implies - X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
+
+ De nou, arribem a contradicció.
+
+ \item \underline{Si $X^0 < 0, Y^0 < 0$}: \\
+ I finalment, aplicant per 4t cop el mateix raonament:
+ \[ \left.\begin{array}{r}
+ X^0 Y^0 > 0, \\
+ - X^0 > || \vec{X}^i ||, \\
+ - Y^0 \geq || \vec{Y}^i ||.
+ \end{array}\right\} \implies X^0 Y^0 > |(\vec{X}^i, \vec{Y}^i)| \implies \X \cdot \Y \neq 0. \]
+
+ En aquest cas, com no podria ser d'una altra manera, també arribem a una contradicció.
+
+ \item \underline{Si $X^0 = 0$ o bé $Y^0 = 0$}: \\
+ Suposem $X^0 = 0$ (el mateix argument funciona amb $\Y$, s'explica en el següent paràgraf). Aleshores, $\X^2 = \cancel{(X^0)^2} - (X^1)^2 - (X^2)^2 - (X^3)^2 \leq 0$, que vol dir que $\X$ no és de tipus temps. Això es contradiu amb la hipòtesi que els vectors són de tipus temps!
+
+ Suposem $Y^0 = 0$. En el cas de $\Y$, hem suposat que era o de tipus temps, o de tipus llum ($\Y^2 \geq 0$). Si suposem que és de tipus temps, pel raonament anterior hem vist que arribem a contradicció. Però si suposem que és de tipus llum, aleshores tenim $\Y^2 = 0, Y^0 = 0 \implies \Y = 0$. Però per la hipòtesi de l'enunciat, $\Y \neq 0$ i, per tant, també hem arribat a contradicció.
+
+ Aquest raonament ens ha portat a descobrir que un vector de tipus temps no pot tenir mai la coordenada 0-èssima (temporal) igual a 0.
+\end{itemize}
+
+Per tant, això queda demostrat per reducció a l'absurd, ja que hem trobar una contradicció per cadascun dels casos, i això ens diu que $\Y^2 \geq 0$ és fals, és a dir, que $\Y^2 < 0$, que és el que volíem veure. \qed
+
+\end{document}