Новое доказательство демонстрирует существование двух видов бесконечных кривых

Объясните пожалуйста, как строятся графики на картинке?
Не понятно почему y^2 могут иметь отрицательные значения, и почему х не могут быть меньше показанных на графике.