1.
рефлексивно.
2. Если
, то
, значит
, т.е.
симметрично.
3. Если
и
, то
Þ
транзитивно.
Итак,
- отношение эквивалентности.
Классы эквивалентности образуют упорядоченные пары (х, у) такие, что х2 + у2=const.
На плоскости класс эквивалентности образуют точки окружности с центром в начале координат.