MathDB
MMO 016 Moscow MO 1935 system x+y=2 , xy - z^2 = 1

Source:

July 17, 2019
system of equationsalgebra

Problem Statement

How many real solutions does the following system have ?{x+y=2xyz2=1\begin{cases} x+y=2 \\ xy - z^2 = 1 \end{cases}