Writing a proof the correct way

  • Thread starter Thread starter grjmmr
  • Start date Start date
  • Tags Tags
    Proof Writing
Click For Summary
SUMMARY

The discussion focuses on proving that the sum of two elements, x1 and x2, from the set K = {s + t√2 : s, t ∈ Q} remains in K. Participants emphasize the necessity of demonstrating that x1 + x2 can be expressed in the form s + t√2, where s and t are rational numbers. The algebraic properties of rational numbers and the structure of K are crucial to the proof, confirming that the sum indeed belongs to K.

PREREQUISITES
  • Understanding of algebraic properties of rational numbers
  • Familiarity with the concept of sets and subsets
  • Knowledge of the structure of the set K = {s + t√2 : s, t ∈ Q}
  • Basic proof techniques in mathematics
NEXT STEPS
  • Study the properties of rational numbers and their operations
  • Learn about algebraic structures and their proofs
  • Explore the concept of field extensions in algebra
  • Review examples of proofs involving sums of elements in defined sets
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, and anyone interested in understanding algebraic structures and proof techniques.

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.
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K