Ich würde hier eine Induktion über \(\lambda\) vorschlagen.
Seltsam finde ich, dass man die Identität für alle \(m,n,a_i,\lambda \in \mathbb N\) zeigen soll.
Also schließen wir erst einmal alle uninteressanten Fälle aus:
Fall \(n<m\):
In diesem Fall spricht man vom leeren Produkt und setzt es einfach gleich 1 \(\Rightarrow\) nichts zu zeigen.
Fall \(n\geq m\):
IDie natürliche Potenz einer Zahl \(x\) ist induktiv definiert:
Für \(l \in \mathbb N\) wird gesetzt: \(x^1 := x\) und \(x^{l+1} := x^l\cdot x\).
Das benutzen wir jetzt für den Induktionsbeweis:
Induktionsanfang \(\lambda = 1\):
\( \prod \limits_{k=m}^{n}a_{k}^{1}= \prod \limits_{k=m}^{n}a_{k} = \left( \prod \limits_{k=m}^{n}a_{k} \right)^1\)
Induktionsvorausetzung (IV) - Für ein \(\lambda \in \mathbb N\) gilt:
\( \prod \limits_{k=m}^{n}a_{k}^{\lambda}=\left( \prod \limits_{k=m}^{n}a_{k} \right)^{\lambda}\)
Induktionschritt:
\( \prod \limits_{k=m}^{n}a_{k}^{\lambda+1}= \prod \limits_{k=m}^{n} (a_{k}^{\lambda}\cdot a_k)= \prod \limits_{k=m}^{n}a_{k}^{\lambda}\cdot \prod\limits_{k=m}^{n}a_k\stackrel{IV}{=}\left( \prod \limits_{k=m}^{n}a_{k} \right)^{\lambda}\cdot \prod\limits_{k=m}^{n}a_k = \left( \prod \limits_{k=m}^{n}a_{k} \right)^{\lambda+1}\)