いずれにせよ√の有限和で表せるのは
√0
√2/2
√3/2
(√6±√2)/4
(-√1±√5)/4
この5種類のみです。
誰も論文に書いてすらいません。僕が気付きました。
間違ってるなら判例を示して下さい。