#set document(title: "3.2 Arithmetic and Geometric Sequences", author: "OpenStax / XYZ Homework")
#set page(width: 8.5in, height: auto, margin: 1in)
#import "@preview/cetz:0.5.2"
#set text(font: ("STIX Two Text", "Libertinus Serif", "New Computer Modern"), size: 10.5pt, lang: "en")
#show math.equation: set text(font: ("STIX Two Math", "New Computer Modern Math"))
#set par(justify: true, leading: 0.62em, spacing: 0.9em)
#set enum(spacing: 1.1em)   // room between list items so tall inline fractions don't collide
#set list(spacing: 1.1em)
#set table(stroke: 0.5pt + rgb("#c7ccd3"))

#let BLUE = rgb("#183B6F")     // brand navy — section bars + example/solution labels (white on navy 11.09:1)
#let ORANGE = rgb("#A94509")   // brand primary-700 — AA-safe deep orange for TEXT (5.93:1 on white; raw brand #F37021 is 2.94:1 and must never carry text)
#let RED = rgb("#DC2626")      // brand error-600
#let GREEN = rgb("#059669")    // brand success-600 (decoration only; small green text uses green-text #007942)

#show heading.where(level: 1): it => block(width: 100%, above: 0pt, below: 16pt,
  fill: gradient.linear(BLUE, rgb("#2C5AA0")), inset: (x: 14pt, y: 12pt), radius: 3pt,
  text(fill: white, weight: "bold", size: 19pt, it.body))
#show heading.where(level: 2): it => block(width: 100%, above: 18pt, below: 10pt,
  fill: BLUE, inset: (x: 10pt, y: 6pt), radius: 2pt,
  text(fill: white, weight: "bold", size: 12pt, it.body))
#show heading.where(level: 3): it => text(fill: ORANGE, weight: "bold", size: 12.5pt, it.body)
#show heading.where(level: 4): it => text(fill: BLUE, weight: "bold", size: 10.5pt, it.body)

#let examplebox(label, title, body) = block(width: 100%, breakable: true,
  fill: rgb("#EFF1F5"), stroke: 0.5pt + rgb("#CFDDF0"), radius: 4pt, inset: 10pt,
  above: 12pt, below: 12pt)[
  #block(below: 6pt)[#box(fill: BLUE, inset: (x: 6pt, y: 2pt), radius: 2pt,
    text(fill: white, weight: "bold", size: 8.5pt, label)) #h(0.4em) #strong[#title]]
  #body]

// rail = decorative left rule (raw brand token); labelcolor = AA-safe label text shade
#let notebox(label, rail, labelcolor, tint, body) = block(width: 100%, breakable: true, fill: tint,
    stroke: (left: 3pt + rail), inset: (left: 10pt, rest: 8pt), radius: (right: 4pt),
    above: 11pt, below: 11pt)[
    #text(fill: labelcolor, weight: "bold", size: 7.5pt, tracking: 0.5pt)[#upper(label)]
    #linebreak() #body]

#let solutionbox(body) = block(above: 4pt, below: 8pt)[
  #text(fill: BLUE, weight: "bold", size: 8.5pt)[Solution] #linebreak() #body]

#let figph(msg) = block(width: 100%, height: 60pt, fill: rgb("#f6f7f9"),
  stroke: (paint: rgb("#c7ccd3"), dash: "dashed"), radius: 4pt, inset: 10pt)[
  #align(center + horizon, text(fill: rgb("#889"), style: "italic", size: 9pt, msg))]

// Standardize inlined figure sizes: measure the natural CeTZ canvas, then scale to a
// consistent envelope (aspect-aware; see build_typst.py FIG_* constants). Unlike the
// print preamble, dimensions are FLOORED: in an editor a user can trim a figure to a
// degenerate 1-D shape (a bare line), and w/h or tw/w would then divide by zero.
#let _STD_W = 3.5
#let _WIDE_W = 5.6
#let _MAX_H = 3.4
#let _ASPECT_WIDE = 2.2
#let _UPSCALE_MAX = 1.15
#let stdfig(body) = context {
  let m = measure(body)
  let w = calc.max(m.width / 1in, 0.01)
  let h = calc.max(m.height / 1in, 0.01)
  let tw = if w / h > _ASPECT_WIDE { _WIDE_W } else { _STD_W }
  let s = calc.min(tw / w, _MAX_H / h, _UPSCALE_MAX)
  align(center, box(scale(x: s * 100%, y: s * 100%, reflow: true, body)))
}

#show figure: set block(breakable: false)
#set figure(gap: 8pt)
#show figure.caption: set text(size: 8.5pt, fill: rgb("#555"))


    
== 3.2#h(0.6em)Arithmetic and Geometric Sequences


    #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[
For the patterns of dots below,
        draw the next pattern in the sequence.
        Then give a recursive definition and a closed formula for the number of dots in the #math.equation(block: false, alt: "n")[$n$]th pattern.


      #figure(figph[A sequence of three dot patterns, starting with a single dot (labeled n = 0), then the same dot with four new dots extending into an X (labeled n = 1) and finally the same pattern but with four new dots extending onto the limbs of the X (labeled n = 2).], alt: "A sequence of three dot patterns, starting with a single dot (labeled n = 0), then the same dot with four new dots extending into an X (labeled n = 1) and finally the same pattern but with four new dots extending onto the limbs of the X (labeled n = 2).", caption: none)


      #figure(figph[A sequence of three dot patterns, labeled n = 0, n = 1, and n = 2, from left to right. The first pattern contains two dots, on above the other. The second pattern can be viewed as each of the dots from the first pattern splitting into 3, forming two triangles (so six dots total). The third patter again takes each dot from the second pattern and splits them into three, arranged as triangles (so 18 dots all together).], alt: "A sequence of three dot patterns, labeled n = 0, n = 1, and n = 2, from left to right. The first pattern contains two dots, on above the other. The second pattern can be viewed as each of the dots from the first pattern splitting into 3, forming two triangles (so six dots total). The third patter again takes each dot from the second pattern and splits them into three, arranged as triangles (so 18 dots all together).", caption: none)


      #figure(figph[A sequence of four dot patters, labeled n = 1 through n = 4. The first pattern is a single dot. The second adds a row of two dots below the single dot (so three dots in a triangle). The third pattern adds a row of three dots, creating six dots arranged in a triangle. Finally we add four dots below the previous six, still forming a triangle, this time of 10 dots.], alt: "A sequence of four dot patters, labeled n = 1 through n = 4. The first pattern is a single dot. The second adds a row of two dots below the single dot (so three dots in a triangle). The third pattern adds a row of three dots, creating six dots arranged in a triangle. Finally we add four dots below the previous six, still forming a triangle, this time of 10 dots.", caption: none)
]


    We now turn to the question of finding closed formulas for particular types of sequences.


    #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[
#emph[Arithmetic Sequences]


      If the terms of a sequence differ by a constant,
      we say the sequence is #strong[arithmetic].
      If the initial term (#math.equation(block: false, alt: "a sub 0")[$a_(0)$]) of the sequence is #math.equation(block: false, alt: "a")[$a$] and the
      #strong[common difference]
      is #math.equation(block: false, alt: "d")[$d$], then we have,


      Recursive definition: #math.equation(block: false, alt: "a sub n equals a sub n minus 1 plus d")[$a_(n) = a_(n − 1) + d$] with #math.equation(block: false, alt: "a sub 0 equals a")[$a_(0) = a$].


      Closed formula: #math.equation(block: false, alt: "a sub n equals a plus d n")[$a_(n) = a + d n$].
]


    How do we know this?
    For the recursive definition,
    we need to specify #math.equation(block: false, alt: "a sub 0")[$a_(0)$].
    Then we need to express #math.equation(block: false, alt: "a sub n")[$a_(n)$] in terms of #math.equation(block: false, alt: "a sub n minus 1")[$a_(n − 1)$].
    If we call the first term #math.equation(block: false, alt: "a")[$a$], then #math.equation(block: false, alt: "a sub 0 equals a")[$a_(0) = a$].
    For the recurrence relation, by the definition of an arithmetic sequence,
    the difference between successive terms is some constant,
    say #math.equation(block: false, alt: "d")[$d$].
    So #math.equation(block: false, alt: "a sub n minus a sub n minus 1 equals d")[$a_(n) − a_(n − 1) = d$], or in other words,


    #math.equation(block: true, alt: "a sub 0 equals a a sub n equals a sub n minus 1 plus d")[$a_(0) = a #h(2em) a_(n) = a_(n − 1) + d$]
    .


    To find a closed formula, first write out the sequence in general:


    #math.equation(block: true, alt: "a sub 0, equals a; a sub 1, equals a sub 0 plus d equals a plus d; a sub 2, equals a sub 1 plus d equals a plus d plus d equals a plus 2 d; a sub 3, equals a sub 2 plus d equals a plus 2 d plus d equals a plus 3 d; ⋮")[$a_(0) & = a \ a_(1) & = a_(0) + d = a + d \ a_(2) & = a_(1) + d = a + d + d = a + 2 d \ a_(3) & = a_(2) + d = a + 2 d + d = a + 3 d \  & ⋮$]
    We see that to find the #math.equation(block: false, alt: "n")[$n$]th term,
    we need to start with #math.equation(block: false, alt: "a")[$a$] and then add #math.equation(block: false, alt: "d")[$d$] a bunch of times.
    In fact, add it #math.equation(block: false, alt: "n")[$n$] times.
    Thus #math.equation(block: false, alt: "a sub n equals a plus d n")[$a_(n) = a + d n$].


    #examplebox("Example 1")[][
Find recursive definitions and closed formulas for the arithmetic sequences below.
        Assume the first term listed is #math.equation(block: false, alt: "a sub 0")[$a_(0)$].


        + #math.equation(block: false, alt: "2 , 5 , 8 , 11 , 14 , and so on")[$2 , 5 , 8 , 11 , 14 , …$].
+ #math.equation(block: false, alt: "50 , 43 , 36 , 29 , and so on")[$50 , 43 , 36 , 29 , …$].


      
      #solutionbox[
First we should check that these sequences really are arithmetic by taking differences of successive terms.
        Doing so will reveal the common difference #math.equation(block: false, alt: "d")[$d$].


        + #math.equation(block: false, alt: "5 minus 2 equals 3")[$5 − 2 = 3$], #math.equation(block: false, alt: "8 minus 5 equals 3")[$8 − 5 = 3$], etc.
            To get from each term to the next,
            we add three, so #math.equation(block: false, alt: "d equals 3")[$d = 3$].
            The recursive definition is therefore #math.equation(block: false, alt: "a sub n equals a sub n minus 1 plus 3")[$a_(n) = a_(n − 1) + 3$] with #math.equation(block: false, alt: "a sub 0 equals 2")[$a_(0) = 2$].
            The closed formula is #math.equation(block: false, alt: "a sub n equals 2 plus 3 n")[$a_(n) = 2 + 3 n$].
+ Here the common difference is #math.equation(block: false, alt: "minus 7")[$− 7$],
              since we add #math.equation(block: false, alt: "minus 7")[$− 7$] to 50 to get 43, and so on.
              Thus we have a recursive definition of
              #math.equation(block: false, alt: "a sub n equals a sub n minus 1 minus 7")[$a_(n) = a_(n − 1) − 7$] with #math.equation(block: false, alt: "a sub 0 equals 50")[$a_(0) = 50$].
              The closed formula is #math.equation(block: false, alt: "a sub n equals 50 minus 7 n")[$a_(n) = 50 − 7 n$].
]
]


    What about sequences like #math.equation(block: false, alt: "2 , 6 , 18 , 54 , and so on")[$2 , 6 , 18 , 54 , …$]?
    This is not arithmetic because the difference between terms is not constant.
    However, the #emph[ratio] between successive terms is constant.
    We call such sequences #strong[geometric].


    The recursive definition for the geometric sequence with initial term #math.equation(block: false, alt: "a")[$a$] and common ratio #math.equation(block: false, alt: "r")[$r$] is
    #math.equation(block: false, alt: "a sub n equals a sub n minus 1 times r ; a sub 0 equals a")[$a_(n) = a_(n − 1) ⋅ r ; a_(0) = a$].
    To get the next term we multiply the previous term by #math.equation(block: false, alt: "r")[$r$].
    We can find the closed formula like we did for the arithmetic progression.
    Write


    #math.equation(block: true, alt: "a sub 0, equals a; a sub 1, equals a sub 0 times r; a sub 2, equals a sub 1 times r equals a sub 0 times r times r equals a sub 0 times r squared; ⋮")[$a_(0) & = a \ a_(1) & = a_(0) ⋅ r \ a_(2) & = a_(1) ⋅ r = a_(0) ⋅ r ⋅ r = a_(0) ⋅ r^(2) \  & ⋮$]
    We must multiply the first term #math.equation(block: false, alt: "a")[$a$] by #math.equation(block: false, alt: "r")[$r$] a number of times,
    #math.equation(block: false, alt: "n")[$n$] times to be precise.
    We get #math.equation(block: false, alt: "a sub n equals a times r to the power n")[$a_(n) = a ⋅ r^(n)$].


    #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[
#emph[Geometric Sequences]


      A sequence is called #strong[geometric]
      if the ratio between successive terms is constant.
      Suppose the initial term #math.equation(block: false, alt: "a sub 0")[$a_(0)$] is #math.equation(block: false, alt: "a")[$a$] and the
      #strong[common ratio] is #math.equation(block: false, alt: "r")[$r$].
      Then we have,


      Recursive definition: #math.equation(block: false, alt: "a sub n equals r a sub n minus 1")[$a_(n) = r a_(n − 1)$] with #math.equation(block: false, alt: "a sub 0 equals a")[$a_(0) = a$].


      Closed formula: #math.equation(block: false, alt: "a sub n equals a times r to the power n")[$a_(n) = a ⋅ r^(n)$].
]


    #examplebox("Example 2")[][
Find the recursive and closed formula for the geometric sequences below.
        Again, the first term listed is #math.equation(block: false, alt: "a sub 0")[$a_(0)$].


        + #math.equation(block: false, alt: "3 , 6 , 12 , 24 , 48 , and so on")[$3 , 6 , 12 , 24 , 48 , …$]
+ #math.equation(block: false, alt: "27 , 9 , 3 , 1 , 1 / 3 , and so on")[$27 , 9 , 3 , 1 , 1 / 3 , …$]


      
      #solutionbox[
Start by checking that these sequences really are geometric by dividing each term by its previous term.
        If this ratio really is constant,
        we will have found #math.equation(block: false, alt: "r")[$r$].


        + #math.equation(block: false, alt: "6 / 3 equals 2")[$6 / 3 = 2$], #math.equation(block: false, alt: "12 / 6 equals 2")[$12 / 6 = 2$], #math.equation(block: false, alt: "24 / 12 equals 2")[$24 / 12 = 2$], etc.
            Yes, to get from any term to the next,
            we multiply by #math.equation(block: false, alt: "r equals 2")[$r = 2$].
            So the recursive definition is #math.equation(block: false, alt: "a sub n equals 2 a sub n minus 1")[$a_(n) = 2 a_(n − 1)$] with #math.equation(block: false, alt: "a sub 0 equals 3")[$a_(0) = 3$].
            The closed formula is #math.equation(block: false, alt: "a sub n equals 3 times 2 to the power n")[$a_(n) = 3 ⋅ 2^(n)$].
+ The common ratio is #math.equation(block: false, alt: "r equals 1 / 3")[$r = 1 / 3$].
              So the sequence has recursive definition #math.equation(block: false, alt: "a sub n equals the fraction 1 over 3 a sub n minus 1")[$a_(n) = frac(1, 3) a_(n − 1)$] with
              #math.equation(block: false, alt: "a sub 0 equals 27")[$a_(0) = 27$] and closed formula #math.equation(block: false, alt: "a sub n equals 27 times the fraction 1 over 3 to the power n")[$a_(n) = 27 ⋅ attach(frac(1, 3), t: n)$].
]
]


    In the examples and formulas above,
    we assumed that the #emph[initial] term was #math.equation(block: false, alt: "a sub 0")[$a_(0)$].
    If your sequence starts with #math.equation(block: false, alt: "a sub 1")[$a_(1)$],
    you can easily find the term that would have been #math.equation(block: false, alt: "a sub 0")[$a_(0)$] and use that in the formula.
    For example, if we want a formula for the sequence
    #math.equation(block: false, alt: "2 , 5 , 8 , and so on")[$2 , 5 , 8 , …$] and insist that #math.equation(block: false, alt: "2 equals a sub 1")[$2 = a_(1)$],
    then we can find #math.equation(block: false, alt: "a sub 0 equals minus 1")[$a_(0) = − 1$]
    (since the sequence is arithmetic with common difference 3, we have #math.equation(block: false, alt: "a sub 0 plus 3 equals a sub 1")[$a_(0) + 3 = a_(1)$]).
    Then the closed formula will be #math.equation(block: false, alt: "a sub n equals minus 1 plus 3 n")[$a_(n) = − 1 + 3 n$].


    #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[
If you look at other textbooks or online,
      you might find that their closed formulas for arithmetic and geometric sequences differ from ours.
      Specifically, you might find the formulas
      #math.equation(block: false, alt: "a sub n equals a plus open parenthesis n minus 1 close parenthesis d")[$a_(n) = a + ( n − 1 ) d$] (arithmetic) and #math.equation(block: false, alt: "a sub n equals a times r to the power n minus 1")[$a_(n) = a ⋅ r^(n − 1)$]
      (geometric).
      Which is correct?
      Both!
      In our case, we take #math.equation(block: false, alt: "a")[$a$] to be #math.equation(block: false, alt: "a sub 0")[$a_(0)$].
      If instead we had #math.equation(block: false, alt: "a sub 1")[$a_(1)$] as our initial term, we would get the
      (slightly more complicated)
      formulas you find elsewhere.
]


    
      
=== Sums of Arithmetic and Geometric Sequences


      #notebox("Note", rgb("#8a94a6"), rgb("#556666"), rgb("#f7f8fa"))[
Your neighborhood grocery store has a candy machine full of Skittles.


        + Suppose that the candy machine currently holds exactly 650 Skittles,
                and every time someone inserts a quarter,
                exactly 7 Skittles come out of the machine.

                + How many Skittles will be left in the machine after 20 quarters have been inserted?
+ Will there ever be exactly zero Skittles left in the machine?
                      Explain.
+ What if the candy machine gives 7 Skittles to the first customer who put in a quarter, 10 to the second, 13 to the third, 16 to the fourth, etc.
                How many Skittles has the machine given out after 20 quarters are put into the machine?
+ Now, what if the machine gives 4 Skittles to the first customer, 7 to the second, 12 to the third, 19 to the fourth, etc.
                How many Skittles has the machine given out after 20 quarters are put into the machine?
]


      Look at the sequence #math.equation(block: false, alt: "open parenthesis T sub n close parenthesis sub n greater than or equal to 1")[$( T_(n) )_(n ≥ 1)$] which starts #math.equation(block: false, alt: "1 , 3 , 6 , 10 , 15 , and so on")[$1 , 3 , 6 , 10 , 15 , …$].
        These are called the #strong[triangular numbers]
            
        since they represent the number of dots in an equilateral triangle
        (think of how you arrange 10 bowling pins:
        a row of 4 plus a row of 3 plus a row of 2 and a row of 1).


      #figure(figph[A sequence of four dot patters, showing the first four triangular numbers: the patterns contain 1, 3, 6, and 10 dots, arranged in triangles with base 1, 2, 3, and 4, respectively.], alt: "A sequence of four dot patters, showing the first four triangular numbers: the patterns contain 1, 3, 6, and 10 dots, arranged in triangles with base 1, 2, 3, and 4, respectively.", caption: none)


      Is this sequence arithmetic?
        No, since #math.equation(block: false, alt: "3 minus 1 equals 2")[$3 − 1 = 2$] and #math.equation(block: false, alt: "6 minus 3 equals 3 not equal to 2")[$6 − 3 = 3 ≠ 2$],
        so there is no common difference.
        Is the sequence geometric?
        No. #math.equation(block: false, alt: "3 / 1 equals 3")[$3 / 1 = 3$] but #math.equation(block: false, alt: "6 / 3 equals 2")[$6 / 3 = 2$],
        so there is no common ratio.
        What to do?


      Notice that the #emph[differences] between terms #emph[do] form an arithmetic sequence:
        #math.equation(block: false, alt: "2 , 3 , 4 , 5 , 6 , and so on")[$2 , 3 , 4 , 5 , 6 , …$].
        This means that the #math.equation(block: false, alt: "n")[$n$]th term of the sequence #math.equation(block: false, alt: "open parenthesis T sub n close parenthesis")[$( T_(n) )$] is the #emph[sum]
        of the first #math.equation(block: false, alt: "n")[$n$] terms in the sequence #math.equation(block: false, alt: "1 , 2 , 3 , 4 , 5 , and so on")[$1 , 2 , 3 , 4 , 5 , …$].
        We say that #math.equation(block: false, alt: "open parenthesis T sub n close parenthesis")[$( T_(n) )$] is the
        #strong[sequence of partial sums]
	
        of the sequence #math.equation(block: false, alt: "1 , 2 , 3 , and so on")[$1 , 2 , 3 , …$]
        (#emph[partial] sums because we are not taking the sum of all infinitely many terms).


      This should become clearer if we write the triangular numbers like this:


      #math.equation(block: true, alt: "1, equals 1; 3, equals 1 plus 2; 6, equals 1 plus 2 plus 3; 10, equals 1 plus 2 plus 3 plus 4; ⋮, ⋮; T sub n, equals 1 plus 2 plus 3 plus ⋯ plus n")[$1 & = 1 \ 3 & = 1 + 2 \ 6 & = 1 + 2 + 3 \ 10 & = 1 + 2 + 3 + 4 \ ⋮ & #h(2em) ⋮ \ T_(n) & = 1 + 2 + 3 + ⋯ + n$]
      .


      If we know how to add up the terms of an arithmetic sequence,
        we could find a closed formula for a sequence whose differences are the terms of that arithmetic sequence.
        Consider how we could find the sum of the first 100 positive integers
        (that is, #math.equation(block: false, alt: "T sub 100")[$T_(100)$]).
        Instead of adding them in order,
        we regroup and add #math.equation(block: false, alt: "1 plus 100 equals 101")[$1 + 100 = 101$].
        The next pair to combine is #math.equation(block: false, alt: "2 plus 99 equals 101")[$2 + 99 = 101$].
        Then #math.equation(block: false, alt: "3 plus 98 equals 101")[$3 + 98 = 101$].
        Keep going.
        This gives 50 pairs which each add up to #math.equation(block: false, alt: "101")[$101$],
        so #math.equation(block: false, alt: "T sub 100 equals 101 times 50 equals 5050")[$T_(100) = 101 ⋅ 50 = 5050$].
        This insight is usually attributed to Carl Friedrich Gauss,
        one of the greatest mathematicians of all time,
        who discovered it as a child when his unpleasant elementary teacher thought he would keep the class busy by requiring them to compute the lengthy sum.


      In general, using this same sort of regrouping,
        we find that #math.equation(block: false, alt: "T sub n equals the fraction n open parenthesis n plus 1 close parenthesis over 2")[$T_(n) = frac(n ( n + 1 ), 2)$].
        Incidentally,
        this is exactly the same as #math.equation(block: false, alt: "open parenthesis the fraction n plus 1 over 2 close parenthesis")[$( binom(n + 1, 2) )$],
        which makes sense if you think of the triangular numbers as counting the number of handshakes that take place at a party with #math.equation(block: false, alt: "n plus 1")[$n + 1$] people:
        the first person shakes #math.equation(block: false, alt: "n")[$n$] hands,
        the next shakes an additional #math.equation(block: false, alt: "n minus 1")[$n − 1$] hands and so on.


      The point of all of this is that some sequences,
        while not arithmetic or geometric,
        can be interpreted as the sequence of partial sums of arithmetic and geometric sequences.
        Luckily there are methods we can use to compute these sums quickly.


      
        
==== Summing Arithmetic Sequences: Reverse and Add


        Here is a technique that allows us to quickly find the sum of an arithmetic sequence.


        #examplebox("Example 3")[][
Find the sum: #math.equation(block: false, alt: "2 plus 5 plus 8 plus 11 plus 14 plus ⋯ plus 470")[$2 + 5 + 8 + 11 + 14 + ⋯ + 470$].


          
          #solutionbox[
The idea is to mimic how we found the formula for triangular numbers.
            If we add the first and last terms, we get 472.
            The second term and second-to-last term also add up to 472.
            To keep track of everything, we might express this as follows.
            Call the sum #math.equation(block: false, alt: "S")[$S$].
            Then,


            #figure(table(
  columns: 10, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "S equals")[$S =$]], [#math.equation(block: false, alt: "2")[$2$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "5")[$5$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "8")[$8$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "467")[$467$]], [#math.equation(block: false, alt: "plus")[$+$]], [470]),
  [#math.equation(block: false, alt: "plus S equals")[$+ #h(1em) S =$]], [#math.equation(block: false, alt: "470")[$470$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "467")[$467$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "464")[$464$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "5")[$5$]], [#math.equation(block: false, alt: "plus")[$+$]], [2],
  [#math.equation(block: false, alt: "2 S equals")[$2 S =$]], [#math.equation(block: false, alt: "472")[$472$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "472")[$472$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "472")[$472$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "472")[$472$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "472")[$472$]],
))


            To find #math.equation(block: false, alt: "2 S")[$2 S$] then we add 472 to itself a number of times.
            What number?
            We need to decide how many terms (#strong[summands]) are in the sum.
            Since the terms form an arithmetic sequence,
            the #math.equation(block: false, alt: "n")[$n$]th term in the sum
            (counting #math.equation(block: false, alt: "2")[$2$] as the 0th term)
            can be expressed as #math.equation(block: false, alt: "2 plus 3 n")[$2 + 3 n$].
            If #math.equation(block: false, alt: "2 plus 3 n equals 470")[$2 + 3 n = 470$] then #math.equation(block: false, alt: "n equals 156")[$n = 156$].
            So #math.equation(block: false, alt: "n")[$n$] ranges from 0 to 156, giving 157 terms in the sum.
            This is the number of 472's in the sum for #math.equation(block: false, alt: "2 S")[$2 S$].
            Thus


            #math.equation(block: true, alt: "2 S equals 157 times 472 equals 74104")[$2 S = 157 ⋅ 472 = 74104$]
            .


            It is now easy to find #math.equation(block: false, alt: "S")[$S$]:


            #math.equation(block: true, alt: "S equals 74104 / 2 equals 37052")[$S = 74104 / 2 = 37052$]
            .
]
]


        This will work for the sum of any #emph[arithmetic] sequence.
        Call the sum #math.equation(block: false, alt: "S")[$S$].
        Reverse and add.
        This produces a single number added to itself many times.
        Find the number of times.
        Multiply.
        Divide by 2.
        Done.


        #examplebox("Example 4")[][
Find a closed formula for #math.equation(block: false, alt: "6 plus 10 plus 14 plus ⋯ plus open parenthesis 4 n minus 2 close parenthesis")[$6 + 10 + 14 + ⋯ + ( 4 n − 2 )$].


          
          #solutionbox[
Again, we have a sum of an arithmetic sequence.
            How many terms are in the sequence?
            Clearly each term in the sequence has the form #math.equation(block: false, alt: "4 k minus 2")[$4 k − 2$]
            (as evidenced by the last term).
            For which values of #math.equation(block: false, alt: "k")[$k$] though?
            To get 6, #math.equation(block: false, alt: "k equals 2")[$k = 2$].
            To get #math.equation(block: false, alt: "4 n minus 2")[$4 n − 2$] take #math.equation(block: false, alt: "k equals n")[$k = n$].
            So to find the number of terms,
            we must count the number of integers in the range #math.equation(block: false, alt: "2 , 3 , and so on , n")[$2 , 3 , … , n$].
            This is #math.equation(block: false, alt: "n minus 1")[$n − 1$].
            (There are #math.equation(block: false, alt: "n")[$n$] numbers from 1 to #math.equation(block: false, alt: "n")[$n$],
            so one less if we start with 2.)


            Now reverse and add:


            #figure(table(
  columns: 8, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "S equals")[$S =$]], [#math.equation(block: false, alt: "6")[$6$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "10")[$10$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "4 n minus 6")[$4 n − 6$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "4 n minus 2")[$4 n − 2$]]),
  [#math.equation(block: false, alt: "plus S equals")[$+ #h(1em) S =$]], [#math.equation(block: false, alt: "4 n minus 2")[$4 n − 2$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "4 n minus 6")[$4 n − 6$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "10")[$10$]], [#math.equation(block: false, alt: "plus")[$+$]], [6],
  [#math.equation(block: false, alt: "2 S equals")[$2 S =$]], [#math.equation(block: false, alt: "4 n plus 4")[$4 n + 4$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "4 n plus 4")[$4 n + 4$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "4 n plus 4")[$4 n + 4$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "4 n plus 4")[$4 n + 4$]],
))


            Since there are #math.equation(block: false, alt: "n minus 1")[$n − 1$] terms, we get


            #math.equation(block: true, alt: "2 S equals open parenthesis n minus 1 close parenthesis open parenthesis 4 n plus 4 close parenthesis so S equals the fraction open parenthesis n minus 1 close parenthesis open parenthesis 4 n plus 4 close parenthesis over 2")[$2 S = ( n − 1 ) ( 4 n + 4 ) #h(2em) " so " #h(2em) S = frac(( n − 1 ) ( 4 n + 4 ), 2)$]
            .
]
]


        Besides finding sums,
        we can use this technique to find closed formulas for sequences we recognize as sequences of partial sums.


        #examplebox("Example 5")[][
Use partial sums to find a closed formula for
            #math.equation(block: false, alt: "open parenthesis a sub n close parenthesis sub n greater than or equal to 0")[$( a_(n) )_(n ≥ 0)$] which starts #math.equation(block: false, alt: "2 , 3 , 7 , 14 , 24 , 37 , and so on and so on")[$2 , 3 , 7 , 14 , 24 , 37 , … …$]


          
          #solutionbox[
First, if you look at the differences between terms,
            you get a sequence of differences:
            #math.equation(block: false, alt: "1 , 4 , 7 , 10 , 13 , and so on")[$1 , 4 , 7 , 10 , 13 , …$], which is an arithmetic sequence.
            Written another way:


            #math.equation(block: true, alt: "a sub 0, equals 2; a sub 1, equals 2 plus 1; a sub 2, equals 2 plus 1 plus 4; a sub 3, equals 2 plus 1 plus 4 plus 7")[$a_(0) & = 2 \ a_(1) & = 2 + 1 \ a_(2) & = 2 + 1 + 4 \ a_(3) & = 2 + 1 + 4 + 7$]
            and so on.
            We can write the general term of #math.equation(block: false, alt: "open parenthesis a sub n close parenthesis")[$( a_(n) )$] in terms of the arithmetic sequence as follows:


            #math.equation(block: true, alt: "a sub n equals 2 plus 1 plus 4 plus 7 plus 10 plus ⋯ plus open parenthesis 1 plus 3 open parenthesis n minus 1 close parenthesis close parenthesis")[$a_(n) = 2 + 1 + 4 + 7 + 10 + ⋯ + ( 1 + 3 ( n − 1 ) )$]
            (we use #math.equation(block: false, alt: "1 plus 3 open parenthesis n minus 1 close parenthesis")[$1 + 3 ( n − 1 )$] instead of #math.equation(block: false, alt: "1 plus 3 n")[$1 + 3 n$] to get the indices to line up correctly;
            for #math.equation(block: false, alt: "a sub 3")[$a_(3)$] we add up to 7, which is #math.equation(block: false, alt: "1 plus 3 open parenthesis 3 minus 1 close parenthesis")[$1 + 3 ( 3 − 1 )$]).


            We can reverse and add, but the initial 2 does not fit our pattern.
            This just means we need to keep the 2 out of the reverse part:


            #figure(table(
  columns: 8, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "a sub n equals")[$a_(n) =$]], [#math.equation(block: false, alt: "2")[$2$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "1")[$1$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "4")[$4$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "1 plus 3 open parenthesis n minus 1 close parenthesis")[$1 + 3 ( n − 1 )$]]),
  [#math.equation(block: false, alt: "plus a sub n equals")[$+ #h(1em) a_(n) =$]], [#math.equation(block: false, alt: "2")[$2$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "1 plus 3 open parenthesis n minus 1 close parenthesis")[$1 + 3 ( n − 1 )$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "1 plus 3 open parenthesis n minus 2 close parenthesis")[$1 + 3 ( n − 2 )$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "1")[$1$]],
  [#math.equation(block: false, alt: "2 a sub n equals")[$2 a_(n) =$]], [#math.equation(block: false, alt: "4")[$4$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "2 plus 3 open parenthesis n minus 1 close parenthesis")[$2 + 3 ( n − 1 )$]], [#math.equation(block: false, alt: "plus")[$+$]], [#math.equation(block: false, alt: "2 plus 3 open parenthesis n minus 1 close parenthesis")[$2 + 3 ( n − 1 )$]], [#math.equation(block: false, alt: "plus ⋯ plus")[$+ ⋯ +$]], [#math.equation(block: false, alt: "2 plus 3 open parenthesis n minus 1 close parenthesis")[$2 + 3 ( n − 1 )$]],
))


            Not counting the first term (the 4) there are #math.equation(block: false, alt: "n")[$n$] summands of
            #math.equation(block: false, alt: "2 plus 3 open parenthesis n minus 1 close parenthesis equals 3 n minus 1")[$2 + 3 ( n − 1 ) = 3 n − 1$] so the right-hand side becomes #math.equation(block: false, alt: "4 plus open parenthesis 3 n minus 1 close parenthesis n")[$4 + ( 3 n − 1 ) n$].


            Finally, solving for #math.equation(block: false, alt: "a sub n")[$a_(n)$] we get


            #math.equation(block: true, alt: "a sub n equals the fraction 4 plus open parenthesis 3 n minus 1 close parenthesis n over 2")[$a_(n) = display(frac(4 + ( 3 n − 1 ) n, 2))$]
            .
            Just to be sure, we check #math.equation(block: false, alt: "a sub 0 equals the fraction 4 over 2 equals 2")[$a_(0) = frac(4, 2) = 2$],
            #math.equation(block: false, alt: "a sub 1 equals the fraction 4 plus 2 over 2 equals 3")[$a_(1) = frac(4 + 2, 2) = 3$], etc.
            We have the correct closed formula.
]
]


      
      
        
==== Summing Geometric Sequences: Multiply, Shift and
      Subtract


        To find the sum of a geometric sequence,
        we cannot just reverse and add.
        Do you see why?
        The reason we got the same term added to itself many times is because there was a constant difference.
        So as we added that difference in one direction,
        we subtracted the difference going the other way, leaving a constant total.
        For geometric sums, we have a different technique.


        #examplebox("Example 6")[][
What is #math.equation(block: false, alt: "3 plus 6 plus 12 plus 24 plus ⋯ plus 12288")[$3 + 6 + 12 + 24 + ⋯ + 12288$]?


          
          #solutionbox[
Multiply each term by 2, the common ratio.
            You get #math.equation(block: false, alt: "2 S equals 6 plus 12 plus 24 plus ⋯ plus 24576")[$2 S = 6 + 12 + 24 + ⋯ + 24576$].
            Now subtract: #math.equation(block: false, alt: "2 S minus S equals minus 3 plus 24576 equals 24573")[$2 S − S = − 3 + 24576 = 24573$].
            Since #math.equation(block: false, alt: "2 S minus S equals S")[$2 S − S = S$], we have our answer.
]
]


        To better see what happened in the above example, try writing it this way:


        #figure(table(
  columns: 4, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "S equals")[$S =$]], [#math.equation(block: false, alt: "3 plus")[$3 #h(0.167em) +$]], [#math.equation(block: false, alt: "6 plus 12 plus 24 plus ⋯ plus 12288")[$6 + 12 + 24 + ⋯ + 12288$]], []),
  [#math.equation(block: false, alt: "minus 2 S equals")[$− #h(2em) 2 S =$]], [], [#math.equation(block: false, alt: "6 plus 12 plus 24 plus ⋯ plus 12288")[$6 + 12 + 24 + ⋯ + 12288$]], [#math.equation(block: false, alt: "plus 24576")[$+ 24576$]],
  [#math.equation(block: false, alt: "minus S equals")[$− S =$]], [#math.equation(block: false, alt: "3 plus")[$3 #h(0.167em) +$]], [#math.equation(block: false, alt: "0 plus 0 plus 0 plus ⋯ plus 0")[$0 + 0 + 0 + ⋯ + 0$]], [#math.equation(block: false, alt: "minus 24576")[$− 24576$]],
))


        Then divide both sides by #math.equation(block: false, alt: "minus 1")[$− 1$] and we have the same result for #math.equation(block: false, alt: "S")[$S$].
        The idea is, by multiplying the sum by the common ratio,
        each term becomes the next term.
        We shift over the sum to get the subtraction to mostly cancel out,
        leaving just the first term and new last term.


        #examplebox("Example 7")[][
Find a closed formula for #math.equation(block: false, alt: "S open parenthesis n close parenthesis equals 2 plus 10 plus 50 plus ⋯ plus 2 times 5 to the power n")[$S ( n ) = 2 + 10 + 50 + ⋯ + 2 ⋅ 5^(n)$].


          
          #solutionbox[
The common ratio is 5.
            So we have


            #figure(table(
  columns: 2, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "S")[$S$]], [#math.equation(block: false, alt: "equals 2 plus 10 plus 50 plus ⋯ plus 2 times 5 to the power n")[$= 2 + 10 + 50 + ⋯ + 2 ⋅ 5^(n)$]]),
  [#math.equation(block: false, alt: "minus 5 S")[$− #h(2em) 5 S$]], [#math.equation(block: false, alt: "equals 10 plus 50 plus ⋯ plus 2 times 5 to the power n plus 2 times 5 to the power n plus 1")[$= " " " " " " " " " " " " 10 + 50 + ⋯ + 2 ⋅ 5^(n) + 2 ⋅ 5^(n + 1)$]],
  [#math.equation(block: false, alt: "minus 4 S")[$− 4 S$]], [#math.equation(block: false, alt: "equals 2 minus 2 times 5 to the power n plus 1")[$= 2 − 2 ⋅ 5^(n + 1)$]],
))


            Thus #math.equation(block: false, alt: "S equals the fraction 2 minus 2 times 5 to the power n plus 1 over minus 4")[$S = display(frac(2 − 2 ⋅ 5^(n + 1), − 4))$]
]
]


        Even though this might seem like a new technique,
        you have probably used it before.


        #examplebox("Example 8")[][
Express #math.equation(block: false, alt: "0.464646 and so on")[$0.464646 …$] as a fraction.


          
          #solutionbox[
Let #math.equation(block: false, alt: "N equals 0.46464646 and so on")[$N = 0.46464646 …$].
            Consider #math.equation(block: false, alt: "0.01 N")[$0.01 N$].
            We get:


            #figure(table(
  columns: 2, align: left, inset: 6pt,
  table.header([#math.equation(block: false, alt: "N equals")[$N =$]], [#math.equation(block: false, alt: "0.4646464 and so on")[$0.4646464 …$]]),
  [#math.equation(block: false, alt: "minus 0.01 N equals")[$− #h(2em) 0.01 N =$]], [#math.equation(block: false, alt: "0.00464646 and so on")[$0.00464646 …$]],
  [#math.equation(block: false, alt: "0.99 N equals")[$0.99 N =$]], [#math.equation(block: false, alt: "0.46")[$0.46$]],
))


            So #math.equation(block: false, alt: "N equals the fraction 46 over 99")[$N = frac(46, 99)$].
            What have we done?
            We viewed the repeating decimal
            #math.equation(block: false, alt: "0.464646 and so on")[$0.464646 …$] as a sum of the geometric sequence
            #math.equation(block: false, alt: "0.46 , 0.0046 , 0.000046 , and so on")[$0.46 , 0.0046 , 0.000046 , …$] The common ratio is #math.equation(block: false, alt: "0.01")[$0.01$].
            The only real difference is that we are now computing an
            #emph[infinite] geometric sum,
            we do not have the extra “last” term to consider.
            Really, this is the result of taking a limit as you would in calculus when you compute
            #emph[infinite] geometric sums.
]
]


      
    
    
      
      
      
      
      
      
      
      
      
      
        Is there a pair of integers #math.equation(block: false, alt: "open parenthesis a , b close parenthesis")[$( a , b )$] such that
        #math.equation(block: false, alt: "a , x sub 1 , y sub 1 , b")[$a , x_(1) , y_(1) , b$] is part of an arithmetic sequences and
        #math.equation(block: false, alt: "a , x sub 2 , y sub 2 , b")[$a , x_(2) , y_(2) , b$] is part of a geometric sequence with #math.equation(block: false, alt: "x sub 1 , x sub 2 , y sub 1 , y sub 2")[$x_(1) , x_(2) , y_(1) , y_(2)$] all integers?


      
      
        Consider the sequence #math.equation(block: false, alt: "2 , 7 , 15 , 26 , 40 , 57 , and so on")[$2 , 7 , 15 , 26 , 40 , 57 , …$]
        (with #math.equation(block: false, alt: "a sub 0 equals 2")[$a_(0) = 2$]).
        By looking at the differences between terms,
        express the sequence as a sequence of partial sums.
        Then find a closed formula for the sequence by computing the #math.equation(block: false, alt: "n")[$n$]th partial sum.


        #solutionbox[
We have #math.equation(block: false, alt: "2 equals 2")[$2 = 2$], #math.equation(block: false, alt: "7 equals 2 plus 5")[$7 = 2 + 5$],
        #math.equation(block: false, alt: "15 equals 2 plus 5 plus 8")[$15 = 2 + 5 + 8$], #math.equation(block: false, alt: "26 equals 2 plus 5 plus 8 plus 11")[$26 = 2 + 5 + 8 + 11$], and so on.
        The terms in the sums are given by the arithmetic sequence #math.equation(block: false, alt: "b sub n equals 2 plus 3 n")[$b_(n) = 2 + 3 n$].
        In other words, #math.equation(block: false, alt: "a sub n equals ∑ k equals 0 n open parenthesis 2 plus 3 k close parenthesis")[$a_(n) = limits(∑)^(n)_(k = 0) ( 2 + 3 k )$].
        To find the closed formula, we reverse and add.
        We get #math.equation(block: false, alt: "a sub n equals the fraction open parenthesis 4 plus 3 n close parenthesis open parenthesis n plus 1 close parenthesis over 2")[$a_(n) = frac(( 4 + 3 n ) ( n + 1 ), 2)$]
        (we have #math.equation(block: false, alt: "n plus 1")[$n + 1$] there because there are #math.equation(block: false, alt: "n plus 1")[$n + 1$] terms in the sum for #math.equation(block: false, alt: "a sub n")[$a_(n)$]).
]


      
      
        Starting with any rectangle, we can create a new,
        larger rectangle by attaching a square to the longer side.
        For example, if we start with a #math.equation(block: false, alt: "2 times 5")[$2 × 5$] rectangle,
        we would glue on a #math.equation(block: false, alt: "5 times 5")[$5 × 5$] square,
        forming a #math.equation(block: false, alt: "5 times 7")[$5 × 7$] rectangle:


        #figure(figph[On the left, a 5x5 square to the right of a rectangle with base 2 and height 5, separated by a small gap. An arrow points to the right, where a rectangle of base 7 and height 5 is shown, including a dotted line representing where the square and triangle on the left were glued together.], alt: "On the left, a 5x5 square to the right of a rectangle with base 2 and height 5, separated by a small gap. An arrow points to the right, where a rectangle of base 7 and height 5 is shown, including a dotted line representing where the square and triangle on the left were glued together.", caption: none)


        The next rectangle would be formed by attaching a
        #math.equation(block: false, alt: "7 times 7")[$7 × 7$] square to the top or bottom of the
        #math.equation(block: false, alt: "5 times 7")[$5 × 7$] rectangle.


        + Create a sequence of rectangles using this rule starting with a #math.equation(block: false, alt: "1 times 2")[$1 × 2$] rectangle.
              Then write out the sequence of #emph[perimeters] for the rectangles
              (the first term of the sequence would be 6, since the perimeter of a
              #math.equation(block: false, alt: "1 times 2")[$1 × 2$] rectangle is 6 - the next term would be 10).
+ Repeat the above part this time starting with a #math.equation(block: false, alt: "1 times 3")[$1 × 3$] rectangle.
+ Find recursive formulas for each of the sequences of perimeters you found in parts (a) and (b).
              Don't forget to give the initial conditions as well.
+ Are the sequences arithmetic?
              Geometric?
              If not, are they #emph[close]
              to being either of these (i.e., are the differences or ratios
              #emph[almost] constant)?
              Explain.


      
      
        If you have enough toothpicks,
        you can make a large triangular grid.
        Below, are the triangular grids of size 1 and of size 2.
        The size 1 grid requires 3 toothpicks,
        the size 2 grid requires 9 toothpicks.


        #figure(figph[Three toothpicks arranged as the sides of an equilateral triangle.], alt: "Three toothpicks arranged as the sides of an equilateral triangle.", caption: none)


        #figure(figph[Nine toothpicks arranged into a triangle with two toothpicks forming each edge, and an upside-down triangle in the center.], alt: "Nine toothpicks arranged into a triangle with two toothpicks forming each edge, and an upside-down triangle in the center.", caption: none)


        + Let #math.equation(block: false, alt: "t sub n")[$t_(n)$] be the number of toothpicks required to make a size #math.equation(block: false, alt: "n")[$n$] triangular grid.
              Write out the first 5 terms of the sequence #math.equation(block: false, alt: "t sub 1 , t sub 2 , and so on")[$t_(1) , t_(2) , …$].
+ Find a recursive definition for the sequence.
              Explain why you are correct.
+ Is the sequence arithmetic or geometric?
              If not, is it the sequence of partial sums of an arithmetic or geometric sequence?
              Explain why your answer is correct.
+ Use your results from part (c) to find a closed formula for the sequence.
              Show your work.


      
      
        If you were to shade in a #math.equation(block: false, alt: "n times n")[$n × n$] square on graph paper,
        you could do it the boring way
        (with sides parallel to the edge of the paper)
        or the interesting way, as illustrated below:


        #figure(figph[One square.], alt: "One square.", caption: none)


        #figure(figph[Five squares arranged as a plus sign. Viewed another way, the squares are arranged in three centered rows of 1, 3, and 1 squares.], alt: "Five squares arranged as a plus sign. Viewed another way, the squares are arranged in three centered rows of 1, 3, and 1 squares.", caption: none)


        #figure(figph[13 squares arranged in five centered rows, containing 1, 3, 5, 3, and 1 square each.], alt: "13 squares arranged in five centered rows, containing 1, 3, 5, 3, and 1 square each.", caption: none)


        #figure(figph[25 squares arranged in rows of length 1, 3, 5, 7, 5, 3, and 1.], alt: "25 squares arranged in rows of length 1, 3, 5, 7, 5, 3, and 1.", caption: none)


        The interesting thing here, is that a
        #math.equation(block: false, alt: "3 times 3")[$3 × 3$] square now has area 13.
        Our goal is the find a formula for the area of a #math.equation(block: false, alt: "n times n")[$n × n$] (diagonal) square.


        + Write out the first few terms of the sequence of areas
              (assume #math.equation(block: false, alt: "a sub 1 equals 1")[$a_(1) = 1$], #math.equation(block: false, alt: "a sub 2 equals 5")[$a_(2) = 5$], etc).
              Is the sequence arithmetic or geometric?
              If not, is it the sequence of partial sums of an arithmetic or geometric sequence?
              Explain why your answer is correct,
              referring to the diagonal squares.
+ Use your results from part (a) to find a closed formula for the sequence.
              Show your work.
              Note, while there are lots of ways to find a closed formula here,
              you should use partial sums specifically.
+ Find the closed formula in as many other interesting ways as you can.


      
      
        Here is a surprising use of sequences to answer a counting question:  How many license plates consist of 6 symbols, using only the three numerals 1, 2, and 3 and the four letters a, b, c, and d, so that no numeral appears after any letter?  For example, “31ddac”, “123321”, and “ababab” are each acceptable license plates, but “13ba2c” is not.


        + First answer this question by considering different cases: how many of the license plates contain no numerals?  How many contain one numeral, etc.
+ Now use the techniques of this section to show why the answer is #math.equation(block: false, alt: "4 to the power 7 minus 3 to the power 7")[$4^(7) − 3^(7)$].