Substituting the standard trigonometric values gives x plus y equals the square root of 2, and 2x equals one half. Solving the second equation gives x equals one quarter. Substituting this into the first equation gives one quarter plus y equals the square root of 2, so y equals the square root of 2 minus one quarter.