Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

-数学- 超幾何関数とテータ関数の恒等式(6)

f:id:jurupapa:20220115185403j:plain

 

いつものように

からです。

今回は第5章からLemma 5.2.7の証明を見て行きます。Lemma 5.2.6からほぼ直接的に得られる内容となります。