1.8: Reales módulo 2π
- Page ID
- 114785
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\ket}[1]{\left| #1 \right>}\)
\(\newcommand{\bra}[1]{\left< #1 \right|}\)
\(\newcommand{\braket}[2]{\left< #1 \vphantom{#2} \right| \left. #2 \vphantom{#1} \right>}\)
\(\newcommand{\braopket}[3]{\left< #1 \vphantom{#2}\vphantom{#3} \right| #2 \vphantom{#1}\vphantom{#3} \left| #3 \vphantom{#1}\vphantom{#2} \right>}\)
\(\newcommand{\qmvec}[1]{\mathbf{\vec{#1}}}\)
\(\newcommand{\op}[1]{\hat{\mathbf{#1}}}\)
\(\newcommand{\expect}[1]{\langle #1 \rangle}\)
\(\newcommand{\dfn}[1]{\emph{\textbf{#1}}}\)
Considere tres medias líneas a partir del mismo punto,\([OA)\),\([OB)\), y\([OC)\). Hacen tres ángulos\(AOB\),\(BOC\), y\(AOC\), así el valor\(\measuredangle AOC\) debe coincidir con la suma\(\measuredangle AOB + \measuredangle BOC\) hasta la rotación completa. Esta propiedad se expresará por la fórmula
\[\measuredangle AOB + \measuredangle BOC \equiv \measuredangle AOC,\]
donde "\(\equiv\)" es una nueva notación que estamos a punto de introducir. La última identidad pasará a formar parte de los axiomas.
Escribiremos\(\alpha \equiv \beta\) (mod\(2 \cdot \pi\)), o brevemente
\[\alpha \equiv \beta\]
si\(\alpha = \beta + 2 \cdot \pi \cdot n\) para algún entero\(n\). En este caso decimos
“\(\alpha\)es igual a\(\beta\) módulo\(2 \cdot \pi\)”.
Por ejemplo
\(-\pi \equiv \pi \equiv 3 \cdot \pi\)y\(\dfrac{1}{2} \cdot \pi \equiv -\dfrac{3}{2} \cdot \pi\).
La relación introducida "\(\equiv\)" se comporta como un signo de igualdad, pero
\(\cdots \equiv \alpha - 2\cdot \pi \cdots \alpha \cdots \alpha + 2 \cdot \pi \equiv \alpha + 4 \cdot \pi \equiv \cdots\);
es decir, si las medidas de ángulo difieren por giro completo, entonces se consideran iguales.
Con "\(\equiv\)“, podemos hacer suma, resta y multiplicación con números enteros sin meternos en problemas. Es decir, si
\(\alpha \equiv \beta\)y\(\alpha' \equiv \beta'\),
entonces
\(\alpha + \alpha' \equiv \beta + \beta'\),\(\alpha - \alpha' \equiv \beta - \beta'\) y\(n \cdot \alpha \equiv n \cdot \beta\)
para cualquier entero\(n\). Pero "\(\equiv\)" no respeta en general la multiplicación con números no enteros; por ejemplo
\(\pi \equiv -\pi\)pero\(\dfrac{1}{2} \cdot \pi \not \equiv -\dfrac{1}{2} \cdot \pi\).
Ejercicio\(\PageIndex{1}\)
Demostrar que\(2 \cdot \alpha \equiv 0\) si y sólo si\(\alpha \equiv 0\) o\(\alpha \equiv \pi\).
- Pista
-
La cuación\(2 \cdot \alpha \equiv 0\) significa que\(2 \cdot \alpha = 2 \cdot k \cdot \pi\) para algún entero\(k\). Por lo tanto,\(a = k\cdot \pi\) para algún entero\(k\).
Equivalentemente,\(\alpha = 2 \cdot n \cdot \pi\) o\(\alpha = (2 \cdot n + 1) \cdot \pi\) para algún entero\(n\). La primera identidad significa eso\(\alpha \equiv 0\) y la segunda significa eso\(\alpha \equiv \pi\).