Utilizador:Thiago Marcel/Mestrado/Análise/Números Reais: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Página substituída por '== Análise na reta == === Números Reais === * Imagem:3de8.svg /1-8/ * Imagem:0de8.svg /9-16/ * Imagem:0de8.svg /17-24/ * Imagem:0de8.svg [...' |
|||
Linha 1: | Linha 1: | ||
== |
== Análise na reta == |
||
=== Números Reais === |
|||
Dados <math> a,b,c,d</math> num corpo K, sendo b e d diferentes de zero, prove: |
|||
* [[Imagem:3de8.svg]] [[/1-8/]] |
|||
* <math> {a \over b} + {c \over d} = {ad+bc \over bd}</math> |
|||
* [[Imagem:0de8.svg]] [[/9-16/]] |
|||
* <math> {a \over b} \cdot {c \over d} = {a \cdot c \over b \cdot d}</math> |
|||
* [[Imagem:0de8.svg]] [[/17-24/]] |
|||
* [[Imagem:0de8.svg]] [[/25-29/]] |
|||
=== Resolução === |
|||
* <math> {a \over b} + {c \over d} = {a bd d^{-1} b^{-1} \over b} + {c bd d^{-1} b^{-1} \over d} = ad d^{-1} b^{-1} + cb d^{-1} b^{-1} = (ad+bc)(bd)^{-1} = {ad+bc \over bd}</math> |
|||
* <math> {a \over b} \cdot {c \over d} = {a bb^{-1} \over b} \cdot {c dd^{-1} \over d} = a b^{-1} \cdot c d^{-1} = ac b^{-1}d^{-1} = ac (db)^{-1} = ac (bd)^{-1} = {a \cdot c \over b \cdot d}</math> |
|||
<math> </math> |
|||
== 2 == |
|||
Dado <math>a \ne 0</math> num corpo K, põe-se, por definição, <math> a^0 = 1 </math> e, se <math> n \in \mathbb{N}, a^{-n} = {1 \over a^n}, \mbox{ ou seja}, a^{-n}=(a^n)^{-1}. </math> Sejam quais forem <math> m, n \in \mathbb{Z} ,</math> prove : |
|||
* <math> a^m \cdot a^n = a^{m+n}. </math> |
|||
* <math> (a^m)^n = a^{mn} </math> |
|||
=== Resolução === |
|||
* <math> a^m \cdot a^n = \underbrace{ a \cdot a \cdot...\cdot a }_{ m } \cdot \underbrace{ a \cdot a \cdot...\cdot a }_{n} = \underbrace{ a \cdot a \cdot...\cdot a }_{m+n} = a^{m+n}. </math> |
|||
* <math> (a^m)^n = (\underbrace{ a \cdot a \cdot...\cdot a }_{m} )^n = \underbrace{ \underbrace{ a \cdot a \cdot...\cdot a }_{m} \cdot \underbrace{ a \cdot a \cdot...\cdot a }_{m} \cdot ... \cdot \underbrace{ a \cdot a \cdot...\cdot a }_{m}}_{n} = \underbrace{ a \cdot a \cdot...\cdot a }_{\underbrace{m+m+...+m}_{n}} = \underbrace{ a \cdot a \cdot...\cdot a }_{mn} = a^{mn} </math> |
|||
== 3 == |
|||
Se <math> {x_1 \over y_1}= {x_2 \over y_2} = ... = {x_n \over y_n} </math> num corpo K, prove que, dados <math> a_1,...,a_n \in K </math> tais que <math> a_1y_1+...+a_ny_n \ne 0, \mbox{ tem-se } {a_1x_1+...+a_nx_n \over a_1y_1+...+a_ny_n} = {x_1 \over y_1}</math> |
|||
=== Resolução === |
|||
Por indução sobre n, |
|||
* vamos mostrar válido para n = 1: <math>{a_1x_1 \over a_1y_1} = {x_1 \over y_1}</math> |
|||
* Supor válido para n = k e mostrar válido para n=k+1: |
|||
** <math> {a_1x_1+...+a_kx_k \over a_1y_1+...+a_ky_k} = {x_1 \over y_1} \Rightarrow (a_1x_1+...+a_kx_k)y_1 = (a_1y_1+...+a_ky_k)x_1 </math>. Como <math> {x_1 \over y_1} = {x_{k+1} \over y_{k+1}} \Rightarrow x_1 y_{k+1} = y_1 x_{k+1}.</math> Logo <math> (a_1x_1+...+a_kx_k)y_1 + a_{k+1} x_{k+1}y_1= (a_1y_1+...+a_ky_k)x_1 + a_{k+1}y_{k+1}x_1 \Rightarrow </math> <math> \Rightarrow (a_1x_1+...+ a_kx_k + a_{k+1}x_{k+1})y_1= (a_1y_1+...+a_ky_k + a_{k+1}y_{k+1})x_1 \Rightarrow {a_1x_1+...+ a_kx_k + a_{k+1}x_{k+1} \over (a_1y_1+...+a_ky_k + a_{k+1}y_{k+1}}={x_1 \over y_1}</math> |
|||
<math> </math> |
|||
== 4 == |
|||
== 5 == |
|||
== 6 == |
|||
== 7 == |
|||
== 8 == |