これから示すことは、p[i]が小さい素数から順番ではなくても、
全て互いに異なる素数なら常に成り立つことみたいだわ。
それからここではp[0]は1ということにしておきましょう。

とりあえずまずは、
「自然数nに対してa∈Q(√p[1],…,√p[n])ならば、
a^2は有理数の二乗又はそれにp[i]いくつか掛けたもの、
または無理数」
であることを示すわ。

a∈Q(√p[1],…,√p[n])ならば∏[i∈U]√p[i] (U ⊂ {1, …, n})の
いくつかの項の和になっているはずだけど、
もしこれが一つの項だとすると、
a^2は有理数の二乗又はそれにp[i]いくつか掛けたものであることは明らか。
あとは項の数が２つ以上のときにa^2が無理数であることを、
nに関する帰納法で示すわ。
項数2のとき、n[1],n[2]を異なるΠp[i]とすると、
a[1],a[2]∈Qに対して
(a[1]√n[1]＋a[2]√n[2])^2
＝n[1]a[1]^2＋n[2]a[2]^2＋2a[1]a[2]√(n[1]n[2])
ここでn[1],n[2]の取り方から√(n[1]n[2])はルートが外れず無理数となる。
項数kのとき、(a[1]√n[1]＋…＋a[k]√n[k])^2が無理数であるとすると、
項数k＋1のとき、
(a[1]√n[1]＋…＋a[k]√n[k]＋a[k＋1]√n[k＋1])^2
＝(a[1]√n[1]＋…＋a[k]√n[k])^2＋n[k＋1]a[k＋1]^2＋2(a[1]√n[1]＋…＋a[k]√n[k])a[k＋1]√n[k＋1]
となるが、はじめの
(a[1]√n[1]＋…＋a[k]√n[k])^2
は仮定により無理数、
うしろの
a[1]√n[1]＋…＋a[k]√n[k])a[k＋1]√n[k＋1]
は、展開したときの各項はnの取り方から全てルートが外れない異なる無理数の項であり、
はじめの無理数の項はkC2個、うしろの無理数の項はk＋1個で
個数が異なる(k＝2, 3ではkC2＜k＋1, k≧4ではkC2＞k＋1)ため、
全てのルートが打ち消されることはない。
よって全体として無理数であることがわかる。