请大家想一想一道证明题,急···
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/23 16:59:14
请大家想一想一道证明题,急···
![请大家想一想一道证明题,急···](/uploads/image/z/18194277-21-7.jpg?t=%E8%AF%B7%E5%A4%A7%E5%AE%B6%E6%83%B3%E4%B8%80%E6%83%B3%E4%B8%80%E9%81%93%E8%AF%81%E6%98%8E%E9%A2%98%2C%E6%80%A5%C2%B7%C2%B7%C2%B7)
令c = 根号2
因为x1∈A 所以假设 x1 = a1 + b1 * c (a1∈Z,b1∈Z)
同理假设 x2 = a2 + b2 * c (a2∈Z,b2∈Z)
x1 + x2 = ( a1 + a2 ) + (b1 + b2) * c (因为a1 + a2 ∈ Z 且 b1 + b2 ∈ Z 所以 x1 + x2 ∈ A)
x1 * x2 = (a1 + b1 * c ) * (a2 + b2 * c) = a1 * a2 + a1 * b2 * c + b1 * c * a2 + 2 * b1 * b2
= ( a1 * a2 + 2 * b1 * b2 ) + ( a1 * b2 + b1 * a2 ) * c (因为a1 * a2 + 2 * b1 * b2 ∈ Z 且 a1 * b2 + b1 * a2 ∈ Z 所以 x1 * x2 ∈ A)
因为x1∈A 所以假设 x1 = a1 + b1 * c (a1∈Z,b1∈Z)
同理假设 x2 = a2 + b2 * c (a2∈Z,b2∈Z)
x1 + x2 = ( a1 + a2 ) + (b1 + b2) * c (因为a1 + a2 ∈ Z 且 b1 + b2 ∈ Z 所以 x1 + x2 ∈ A)
x1 * x2 = (a1 + b1 * c ) * (a2 + b2 * c) = a1 * a2 + a1 * b2 * c + b1 * c * a2 + 2 * b1 * b2
= ( a1 * a2 + 2 * b1 * b2 ) + ( a1 * b2 + b1 * a2 ) * c (因为a1 * a2 + 2 * b1 * b2 ∈ Z 且 a1 * b2 + b1 * a2 ∈ Z 所以 x1 * x2 ∈ A)