0003132人目の素数さん垢版 | 大砲2016/04/14(木) 22:22:53.49ID:3sqrXF7W 切り取られる線分の長さはa(ただし a≧1/√2)の関数として単調減少関数であり、 a=1/√2 で最大値√3をとる。 その後は a=√(1+r√5)/2 で長さ 1 をとり、 そのあとはどんどん小さくなって1/√2に限りなく近づく。