При каких значениях а равенство корень из а^2=а является тождеством?
Только при неотрицательных, ибо отрицательное а делает выражение несуществующим