Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Geometric progression

From Wikipedia, the free encyclopedia
(Redirected fromGeometric sequence)
Mathematical sequence of numbers
Diagram illustrating three basic geometric sequences of the pattern 1(rn−1) up to 6 iterations deep. The first block is a unit block and the dashed line represents theinfinite sum of the sequence, a number that it will forever approach but never touch: 2, 3/2, and 4/3 respectively.

Ageometric progression, also known as ageometric sequence, is amathematicalsequence of non-zeronumbers where each term after the first is found by multiplying the previous one by a fixed number called thecommon ratio. For example, the sequence 2, 6, 18, 54, ... is a geometric progression with a common ratio of 3. Similarly 10, 5, 2.5, 1.25, ... is a geometric sequence with a common ratio of 1/2.

Examples of a geometric sequence arepowersrk of a fixed non-zero numberr, such as2k and 3k. The general form of a geometric sequence is

a, ar, ar2, ar3, ar4, {\displaystyle a,\ ar,\ ar^{2},\ ar^{3},\ ar^{4},\ \ldots }

wherer is the common ratio anda is the initial value.

The sum of a geometric progression's terms is called ageometric series.

Properties

[edit]

Thenth term of a geometric sequence with initial valuea =a1 and common ratior is given by

an=arn1,{\displaystyle a_{n}=a\,r^{n-1},}

and in general

an=amrnm.{\displaystyle a_{n}=a_{m}\,r^{n-m}.}

Geometric sequences satisfy the linearrecurrence relation

an=ran1{\displaystyle a_{n}=r\,a_{n-1}} for every integern>1.{\displaystyle n>1.}

This is a first order, homogeneouslinear recurrence with constant coefficients.

Geometric sequences also satisfy the nonlinear recurrence relation

an=an12/an2{\displaystyle a_{n}=a_{n-1}^{2}/a_{n-2}} for every integern>2.{\displaystyle n>2.}

This is a second order nonlinear recurrence with constant coefficients.

When the common ratio of a geometric sequence is positive, the sequence's terms will all share the sign of the first term. When the common ratio of a geometric sequence is negative, the sequence's terms alternate between positive and negative; this is called an alternating sequence. For instance the sequence 1, −3, 9, −27, 81, −243, ... is an alternating geometric sequence with an initial value of 1 and a common ratio of −3. When the initial term and common ratio are complex numbers, the terms'complex arguments follow anarithmetic progression.

If theabsolute value of the common ratio is smaller than 1, the terms will decrease in magnitude and approach zero via anexponential decay. If the absolute value of the common ratio is greater than 1, the terms will increase in magnitude and approachinfinity via anexponential growth. If the absolute value of the common ratio equals 1, the terms will stay the same size indefinitely, though their signs or complex arguments may change.

Geometric progressions show exponential growth or exponential decline, as opposed to arithmetic progressions showinglinear growth or linear decline. This comparison was taken byT.R. Malthus as the mathematical foundation of hisAn Essay on the Principle of Population. The two kinds of progression are related through theexponential function and thelogarithm: exponentiating each term of an arithmetic progression yields a geometric progression, while taking the logarithm of each term in a geometric progression yields an arithmetic progression. The relation that the logarithm provides between ageometric progression in itsargument and anarithmetic progression of values, promptedA. A. de Sarasa to make the connection of Saint-Vincent's quadrature and the tradition of logarithms inprosthaphaeresis, leading to the term "hyperbolic logarithm", a synonym for natural logarithm.

Geometric series

[edit]
Proof without words of the formula for the sum of a geometric series –if |r| < 1 andn → ∞, ther n term vanishes, leavingS =a/1 −r
This section is an excerpt fromGeometric series.[edit]
Part of a series of articles about
Calculus
abf(t)dt=f(b)f(a){\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}

Inmathematics, ageometric series is aseries summing the terms of an infinitegeometric sequence, in which the ratio of consecutive terms is constant. For example,the series12+14+18+{\displaystyle {\tfrac {1}{2}}+{\tfrac {1}{4}}+{\tfrac {1}{8}}+\cdots } is a geometric series with common ratio12{\displaystyle {\tfrac {1}{2}}}, which converges to the sum of1{\displaystyle 1}. Each term in a geometric series is thegeometric mean of the term before it and the term after it, in the same way that each term of anarithmetic series is thearithmetic mean of its neighbors.

WhileGreek philosopherZeno's paradoxes about time and motion (5th century BCE) have been interpreted as involving geometric series, such series were formally studied and applied a century or two later byGreek mathematicians, for example used byArchimedes tocalculate the area inside a parabola (3rd century BCE). Today, geometric series are used inmathematical finance, calculating areas of fractals, and various computer science topics.

Though geometric series most commonly involvereal orcomplex numbers, there are also important results and applications formatrix-valued geometric series, function-valued geometric series,p{\displaystyle p}-adic number geometric series, and most generally geometric series of elements of abstract algebraicfields,rings, andsemirings.

Product

[edit]

The infinite product of a geometric progression is the product of all of its terms. The partial product of a geometric progression up to the term with powern{\displaystyle n} is

k=0nar(k)=an+1rn(n+1)/2.{\displaystyle \prod _{k=0}^{n}ar^{(k)}=a^{n+1}r^{n(n+1)/2}.}

Whena{\displaystyle a} andr{\displaystyle r} are positive real numbers, this is equivalent to taking thegeometric mean of the partial progression's first and last individual terms and then raising that mean to the power given by the number of termsn+1.{\displaystyle n+1.}

k=0nark=an+1rn(n+1)/2=(a2rn)n+1 for a0,r0.{\displaystyle \prod _{k=0}^{n}ar^{k}=a^{n+1}r^{n(n+1)/2}=({\sqrt {a^{2}r^{n}}})^{n+1}{\text{ for }}a\geq 0,r\geq 0.}

This corresponds to a similar property of sums of terms of a finitearithmetic sequence: the sum of an arithmetic sequence is the number of terms times thearithmetic mean of the first and last individual terms. This correspondence follows the usual pattern that any arithmetic sequence is a sequence of logarithms of terms of a geometric sequence and any geometric sequence is a sequence of exponentiations of terms of an arithmetic sequence. Sums of logarithms correspond to products of exponentiated values.

Proof

[edit]

LetPn{\displaystyle P_{n}} represent the product up to powern{\displaystyle n}. Written out in full,

Pn=aarar2arn1arn{\displaystyle P_{n}=a\cdot ar\cdot ar^{2}\cdots ar^{n-1}\cdot ar^{n}}.

Carrying out the multiplications and gathering like terms,

Pn=an+1r1+2+3++(n1)+n{\displaystyle P_{n}=a^{n+1}r^{1+2+3+\cdots +(n-1)+n}}.

The exponent ofr is the sum of an arithmetic sequence. Substituting the formula for that sum,

Pn=an+1rn(n+1)2{\displaystyle P_{n}=a^{n+1}r^{\frac {n(n+1)}{2}}},

which concludes the proof.

One can rearrange this expression to

Pn=(arn2)n+1.{\displaystyle P_{n}=(ar^{\frac {n}{2}})^{n+1}.}

Rewritinga asa2{\displaystyle \textstyle {\sqrt {a^{2}}}} andr asr2{\displaystyle \textstyle {\sqrt {r^{2}}}} though this is not valid fora<0{\displaystyle a<0} orr<0,{\displaystyle r<0,}

Pn=(a2rn)n+1 for a0,r0{\displaystyle P_{n}=({\sqrt {a^{2}r^{n}}})^{n+1}{\text{ for }}a\geq 0,r\geq 0}

which is the formula in terms of the geometric mean.

History

[edit]

A clay tablet from theEarly Dynastic Period in Mesopotamia (c. 2900 – c. 2350 BC), identified as MS 3047, contains a geometric progression with base 3 and multiplier 1/2. It has been suggested to beSumerian, from the city ofShuruppak. It is the only known record of a geometric progression from before the time of oldBabylonian mathematics beginning in 2000 BC.[1]

Books VIII and IX ofEuclid'sElements analyze geometric progressions (such as thepowers of two, see the article for details) and give several of their properties.[2]

See also

[edit]

References

[edit]
  1. ^Friberg, Jöran (2007). "MS 3047: An Old Sumerian Metro-Mathematical Table Text". In Friberg, Jöran (ed.).A remarkable collection of Babylonian mathematical texts. Sources and Studies in the History of Mathematics and Physical Sciences. New York: Springer. pp. 150–153.doi:10.1007/978-0-387-48977-3.ISBN 978-0-387-34543-7.MR 2333050.
  2. ^Heath, Thomas L. (1956).The Thirteen Books of Euclid's Elements (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] ed.). New York: Dover Publications.

External links

[edit]
Integer sequences
Basic
Advanced(list)
Fibonacci spiral with square sizes up to 34.
Properties of sequences
Properties of series
Series
Convergence
Explicit series
Convergent
Divergent
Kinds of series
Hypergeometric series
Retrieved from "https://en.wikipedia.org/w/index.php?title=Geometric_progression&oldid=1279226289"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp