No debe confundirse con
π , número irracional ≈ 3,141592..
Letra pi mayúscula, notación del productorio. Elproductorio oproductoria , también conocido comomultiplicatorio ,multiplicatoria ,producto o infrecuentementepitatoria opitatorio (por denotarse como unaletra pi mayúscula), es unanotación matemática que representa unamultiplicación de una cantidad arbitraria (finita o infinita).
La notación se expresa con la letra griegapi mayúscula Π de la siguiente manera:
Para todos los valoresm <n
∏ k = m n a k = a m ⋅ a m + 1 ⋅ … ⋅ a n {\displaystyle \prod _{k=m}^{n}a_{k}=a_{m}\cdot a_{m+1}\cdot \quad \dots \quad \cdot a_{n}} Sim =n tenemos que:
m = n , ∏ k = m n a k = ∏ k = m m a k = a m {\displaystyle m=n\;,\quad \prod _{k=m}^{n}a_{k}=\prod _{k=m}^{m}a_{k}=a_{m}} En el caso de quem sea mayor quen ,m >n , se le asigna el valor del elemento neutro de la multiplicación, el uno:
m > n , ∏ k = m n a k = 1 {\displaystyle m>n\;,\quad \prod _{k=m}^{n}a_{k}=1} Se puede definir porinducción como sigue.
1. Se define
∏ k = 1 1 a k = a 1 {\displaystyle \prod _{k=1}^{1}a_{k}=a_{1}} 2. Supuesta definida para un n ≥ 1 fijo, se define
∏ k = 1 n + 1 a k = ( ∏ k = 1 n a k ) a n + 1 {\displaystyle \prod _{k=1}^{n+1}a_{k}=\left(\prod _{k=1}^{n}a_{k}\right)a_{n+1}} Se puede usar el productorio para definir otras igualdades importantes. Así, tomandon =1 y aplicando la segunda igualdad se obtiene:
∏ k = 1 2 a k = ( ∏ k = 1 1 a k ) ( a 2 ) = a 1 a 2 {\displaystyle \prod _{k=1}^{2}a_{k}=\left(\prod _{k=1}^{1}a_{k}\right)(a_{2})=a_{1}a_{2}} Definida paran =2, se puede aplicar otra vez la segunda igualdad conn =2 para luego obtener
∏ k = 1 3 a k = ( ∏ k = 1 2 a k ) ( a 3 ) = ( a 1 a 2 ) a 3 {\displaystyle \prod _{k=1}^{3}a_{k}=\left(\prod _{k=1}^{2}a_{k}\right)(a_{3})=(a_{1}a_{2})a_{3}} Así, usando lapropiedad asociativa de la multiplicación, el producto( a 1 a 2 ) a 3 {\displaystyle {\mathit {(a_{1}a_{2})a_{3}}}\,\!} a 1 ( a 2 a 3 ) {\displaystyle {\mathit {a_{1}(a_{2}a_{3})}}\,\!}
a 1 a 2 a 3 = ∏ k = 1 3 a k {\displaystyle a_{1}\,a_{2}\,a_{3}=\prod _{k=1}^{3}a_{k}} Se puede entonces, usar este razonamiento para cualquiern ∈ N {\displaystyle n\in \mathbb {N} }
Otro ejemplo de productorio muy conocido es el que se utiliza para definirn ! (n factorial ) como sigue:
∏ k = 1 n k = n ! {\displaystyle \prod _{k=1}^{n}k=n!} Se define0 ! = 1 ! = 1 {\displaystyle 0!=1!=1}
Se puede usar el método deinducción matemática parademostrar algunas propiedades. Para ello, nos basaremos en la definición formal por inducción descrita anteriormente.
Propiedad Multiplicativa [ editar ] ∏ k = 1 n ( a k b k ) = ( ∏ k = 1 n a k ) ( ∏ k = 1 n b k ) {\displaystyle \prod _{k=1}^{n}{({a_{k}}{b_{k}})}=\left(\prod _{k=1}^{n}a_{k}\right)\left(\prod _{k=1}^{n}b_{k}\right)} Demostración por Inducción i) Tomemosn=1 y veamos si se cumple la igualdad
∏ k = 1 1 ( a k b k ) = a 1 b 1 = ( ∏ k = 1 1 a k ) ( ∏ k = 1 1 b k ) {\displaystyle \prod _{k=1}^{1}{({a_{k}}{b_{k}})}=a_{1}b_{1}=\left(\prod _{k=1}^{1}a_{k}\right)\left(\prod _{k=1}^{1}b_{k}\right)} y la igualdad es cierta paran =1
ii) Supongámosla cierta paran y analicémosla paran +1
∏ k = 1 n + 1 ( a k b k ) = [ ∏ k = 1 n ( a k b k ) ] ( a n + 1 b n + 1 ) {\displaystyle \prod _{k=1}^{n+1}{({a_{k}}{b_{k}})}=\left[\prod _{k=1}^{n}{({a_{k}}{b_{k}})}\right](a_{n+1}b_{n+1})} ∏ k = 1 n + 1 ( a k b k ) = ( ∏ k = 1 n a k ) ( ∏ k = 1 n b k ) a n + 1 b n + 1 {\displaystyle \prod _{k=1}^{n+1}{({a_{k}}{b_{k}})}=\left(\prod _{k=1}^{n}a_{k}\right)\left(\prod _{k=1}^{n}b_{k}\right)a_{n+1}b_{n+1}} (Definición por inducción)
∏ k = 1 n + 1 ( a k b k ) = [ ( ∏ k = 1 n a k ) ( a n + 1 ) ] [ ( ∏ k = 1 n b k ) ( b n + 1 ) ] {\displaystyle \prod _{k=1}^{n+1}{({a_{k}}{b_{k}})}=\left[\left(\prod _{k=1}^{n}a_{k}\right)(a_{n+1})\right]\left[\left(\prod _{k=1}^{n}b_{k}\right)(b_{n+1})\right]} (Asociatividad en IR) Luego,
∏ k = 1 n + 1 ( a k b k ) = ( ∏ k = 1 n + 1 a k ) ( ∏ k = 1 n + 1 b k ) {\displaystyle \prod _{k=1}^{n+1}{({a_{k}}{b_{k}})}=\left(\prod _{k=1}^{n+1}a_{k}\right)\left(\prod _{k=1}^{n+1}b_{k}\right)} ∏ k = 1 n a k a k − 1 = a n a 0 , si cada a k ≠ 0 {\displaystyle \prod _{k=1}^{n}{\frac {a_{k}}{a_{k-1}}}={\frac {a_{n}}{a_{0}}},\quad {\text{si cada}}\;a_{k}\neq 0} Demostración por Inducción
i) Analicemos paran =1
∏ k = 1 1 a k a k − 1 = a 1 a 0 , con: a 0 ≠ 0 y la igualdad es cierta para: n = 1 {\displaystyle \prod _{k=1}^{1}{\frac {a_{k}}{a_{k-1}}}={\frac {a_{1}}{a_{0}}},\quad {\text{con:}}\;a_{0}\neq 0\;{\text{y la igualdad es cierta para:}}\;n=1} ii) Supongámosla cierta paran y analicémosla paran +1
∏ k = 1 n + 1 a k a k − 1 = ( ∏ k = 1 n a k a k − 1 ) ( a n + 1 a n ) {\displaystyle \prod _{k=1}^{n+1}{\frac {a_{k}}{a_{k-1}}}=\left(\prod _{k=1}^{n}{\frac {a_{k}}{a_{k-1}}}\right)\left({\frac {a_{n+1}}{a_{n}}}\right)} (Definición por inducción) Luego,
∏ k = 1 n + 1 a k a k − 1 = a n a 0 a n + 1 a n {\displaystyle \prod _{k=1}^{n+1}{\frac {a_{k}}{a_{k-1}}}={\frac {a_{n}}{a_{0}}}\;{\frac {a_{n+1}}{a_{n}}}} que es lo que queríamos demostrar.
Nótese que nuestra exigencia era que para cadak {\displaystyle {\mathit {k}}\,\!} a k ≠ 0 {\displaystyle a_{k}\neq 0} k = n {\displaystyle {\mathit {k=n}}\,\!} a k = a n ≠ 0 {\displaystyle a_{k}=a_{n}\neq 0}
∏ k = 1 n + 1 a k a k − 1 = a n + 1 a 0 {\displaystyle \prod _{k=1}^{n+1}{\frac {a_{k}}{a_{k-1}}}={\frac {a_{n+1}}{a_{0}}}} 
Datos:Q58623169