MathDB
SMT 2022 Algebra #2

Source:

March 27, 2023

Problem Statement

Find the sum of the solution(s) xx to the equation x=2022+2022+x.x=\sqrt{2022+\sqrt{2022+x}}.