>>204
最小かどうかわかんないけど7個でできる

http://imgur.com/DdEB1Zo.png

http://imgur.com/d1BTxFV.png

直角三角形の辺の比を 1:x:√(xx+1) としたとき、
x はそれぞれ x^3+x-1=0, x^3-x^2+2x-1=0 の実解