2013-04-08から1日間の記事一覧
幾何的に考えるまでもなく,等比数列と1の6乗根を用いればよいでしょう.数学としては位数6の巡回群の生成元を地道に求めさせる問題です.まずは帰納法で一般項を準備します. let lem01 = prove ( `z 0 = Cx(&1) /\ (!n. z (SUC n) = c * z n) ==> !n. c…
幾何的に考えるまでもなく,等比数列と1の6乗根を用いればよいでしょう.数学としては位数6の巡回群の生成元を地道に求めさせる問題です.まずは帰納法で一般項を準備します. let lem01 = prove ( `z 0 = Cx(&1) /\ (!n. z (SUC n) = c * z n) ==> !n. c…