> y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)は、どこから、出てきた式でしょうか?
その直前に書いてあるだろ

どの部分でしょうか?