\( \newenvironment {prompt}{}{} \newcommand {\accordion }[0]{} \newcommand {\ungraded }[0]{} \newcommand {\xmDefaultPreamble }[0]{xmPreamble.tex} \newcommand {\xmDefaultPrintstyle }[0]{xmPrintstyle.sty} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\,d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty - \infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\VerbMathToks }[2]{\alteqtoks {\begin {#2} #1 \end {#2}}} \newcommand {\DeclareMicrotypeVariants }[1]{} \newcommand {\DeclareMicrotypeAlias }[2]{} \newcommand {\LoadMicrotypeFile }[1]{} \newcommand {\DeclareMicrotypeFilePrefix }[1]{} \newcommand {\DeclareMicrotypeBabelHook }[2]{} \newcommand {\microtypesetup }[1]{} \newcommand {\microtypecontext }[1]{} \newcommand {\textmicrotypecontext }[2]{#2} \newcommand {\leftprotrusion }[1]{#1} \newcommand {\rightprotrusion }[1]{#1} \newcommand {\noprotrusionifhmode }[0]{} \newcommand {\lsstyle }[0]{} \newcommand {\lslig }[1]{#1} \newcommand {\maketitle }[0]{} \newcommand {\problem }[0]{ } \newcommand {\exercise }[0]{ } \newcommand {\question }[0]{ } \newcommand {\exploration }[0]{ } \newcommand {\dialogue }[0]{\begin {description}} \newcommand {\GetTranslation }[1]{#1} \)
Apresentamos a notação de somatório (notação sigma).

1 A notação em si

A notação de somatório (ou notação sigma) é uma maneira de escrever uma soma de muitos termos de forma concisa. Uma soma em notação de somatório se parece com isto:

\[ \sum _{k=1}^{5} 3k \]

O \(\Sigma \) (sigma) indica que uma soma está sendo calculada. A variável \(k\) é chamada de índice da soma. Os números acima e abaixo do \(\Sigma \) são chamados de limites superior e inferior do somatório. Neste caso, o limite superior é \(5\), e o limite inferior é \(1\). A notação significa que tomamos cada valor inteiro de \(k\) entre \(1\) e \(5\) (ou seja, \(1\), \(2\), \(3\), \(4\) e \(5\)) e substituímos cada um deles na fórmula do termo geral (aqui, essa fórmula é \(3k\)). Depois, somamos todos esses valores. \[ \sum _{k=1}^{5} 3k= 3\cdot 1 + 3\cdot 2 + 3\cdot 3 + 3\cdot 4 + 3\cdot 5 = 45 \]

Tente uma por conta própria.

Escreva por extenso o que significa a expressão a seguir (não é preciso simplificar): \[ \sum _{n=-1}^{4} \sqrt {n+1} =\sqrt {0}+\sqrt {\class{xm-given}{1}}+\sqrt {\class{xm-given}{2}}+\sqrt {\class{xm-given}{3}}+\sqrt {\class{xm-given}{4}}+\sqrt {\class{xm-given}{5}}\]

Vamos tentar fazer o caminho inverso.

Tente uma por conta própria.

Escreva a soma a seguir em notação de somatório. \[ \frac {1}{\sqrt {2}} - \frac {2}{\sqrt {3}} + \frac {3}{\sqrt {4}} - \frac {4}{\sqrt {5}}+ \ldots + \frac {51}{\sqrt {52}} - \frac {52}{\sqrt {53}}\] Escrevemos: \[ \sum _{k=2}^{53} \left ( \class{xm-given}{(-1)^{k}\frac {k-1}{\sqrt {k}} } \right ) \]

2 Calculando com a notação de somatório

Queremos usar a notação de somatório para simplificar nossos cálculos. Para isso, precisamos conhecer algumas somas básicas. Primeiro, vamos falar da soma de uma constante. (Observe que, aqui, nosso limite superior do somatório é \(n\). Neste caso, \(n\) não é a variável índice, mas sim o maior valor que a variável índice vai assumir.) \[ \sum _{k=1}^n C = \underbrace {C+C+ \dots +C}_{\text {n termos}} \] Esta é uma soma de \(n\) termos, cada um deles com valor \(C\). Isto é, estamos somando \(n\) cópias de \(C\). Essa soma é simplesmente \(nC\). As outras somas básicas de que precisamos são bem mais complicadas de deduzir. Em vez de explicar de onde elas vêm, vamos apenas dar a você uma lista das fórmulas finais, que você pode usar.

Agora que temos essa lista, vamos usá-la para calcular.

Como a notação de somatório é apenas uma nova maneira de escrever uma adição, as propriedades usuais da adição continuam valendo, mas algumas das mais importantes ficam com uma aparência um pouco diferente.

Comutatividade e associatividade:

\[ \sum _{k=1}^{n} (a_k + b_k) = \sum _{k=1}^n a_k + \sum _{k=1}^n b_k \]

Distributividade:

\[ \sum _{k=1}^{n} c \cdot a_k = c \sum _{k=1}^n a_k \]

Tente uma por conta própria.

Determine o valor da soma \(\sum _{k=1}^{50} \left ( 4k^2-18k + 2(-1)^k \right )\) \[ \sum _{k=1}^{50} \left ( 4k^2 - 18k + 2(-1)^k \right ) = \class{xm-answer}{\cssId{xm-answer-1}{\phantom{\rule{7em}{1.5em}}}} \]