집합 M = (x=a + b 루트 번호 2, a.b는 Q에 속함)을 설정하고, M은 덧셈의 경우, 뺄셈, 곱셈과 나눗셈의 연산은 폐쇄적인지 시험 검증

집합 M = (x=a + b 루트 번호 2, a.b는 Q에 속함)을 설정하고, M은 덧셈의 경우, 뺄셈, 곱셈과 나눗셈의 연산은 폐쇄적인지 시험 검증

x=a+bᄀ2, y=c+dᄀ2, 여기서 a, b, c, ᄅᄀQ,
QM은 덧셈, 뺄셈, 곱셈과 나눗셈의 연산이 폐쇄적이기 때문에
그래서 x+y=(a+c)+(b+d)ᄉ2ᄉM,
x-y=(a-c)+(b-d) ☞2ᅵM,
xy=(ac+2bd)+(ad+bc)ᄉ2ᄉM,
x/y=(a+bᄉ2)(c-d ́2)/(c^2-2d^2)=(ac-2bd)/(c^2-2d^2)+[(bc-ad)/(c^2-2d^2)] ☞2ᅵM.