y : x = 1 : √2
外項の積と内項の積は等しいから
(√2)y = x
両辺を√2で割れば
y = x/√2