Writing a proof the correct way

  • Thread starter Thread starter grjmmr
  • Start date Start date
  • Tags Tags
    Proof Writing
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
grjmmr
Messages
2
Reaction score
0

Homework Statement



k:= {s+t√2:s,t[itex]\in[/itex]Q}, if x1 and x2 [itex]\in[/itex] K, prove x1 +x2[itex]\in[/itex]K

Homework Equations





The Attempt at a Solution


My thought is that x1 and x2 [itex]\in[/itex]K[itex]\in[/itex]Q[itex]\subseteq[/itex]R thus by algerbraic properties X1+x2 =X3 which also [itex]\in[/itex] K. this seems just a little too easy, am i correct in my line of thinking?
 
Physics news on Phys.org
grjmmr said:

Homework Statement



k:= {s+t√2:s,t[itex]\in[/itex]Q}, if x1 and x2 [itex]\in[/itex] K, prove x1 +x2[itex]\in[/itex]K

Homework Equations





The Attempt at a Solution


My thought is that x1 and x2 [itex]\in[/itex]K[itex]\in[/itex]Q[itex]\subseteq[/itex]R thus by algerbraic properties X1+x2 =X3 which also [itex]\in[/itex] K. this seems just a little too easy, am i correct in my line of thinking?

You need more detail. What you have to show is that ##x_1+x_2## can be written in the form ##s+t\sqrt 2## where ##s,t\in Q##, where I presume ##Q## is the rationals, although you never specifically said that.