>>839
>>840
a<b<cだから、
c=1/√3と仮定したら、aもbも存在しないだろう。
a^2+b^2=1-c^2=1-1/3=2/3
aもbもcより短い。つまりcは、
1/√3<c
1/√3よりおっきいはずで、その仮定に矛盾する。