I need to learn the proof that 1/3 is not a decimal number for a test, so I wrote this proof. However, I’m not sure if I’m using the notations and symbols correctly, because I’m not yet familiar enough with them, and whether it is rigorous enough. Can someone please check it and tell me how I can improve it ? (the said proof is in latex so it's in the post)
#Could someone pls check if this proof is correct?
hoary quarry
sudden forumBOT
amber stumpBOT
Stickman A
hoary quarry
Line 3 is cut by the bot but the missing part is :
amber stumpBOT
Stickman A
hoary quarry
and same for line 4
amber stumpBOT
Stickman A
slim widget
Looks ok to me
sudden forumBOT
Solved
slim widget
@hoary quarry Is the definition of D given to you? I would have defined it as the set of a*10^k with both a and k in Z, but it's not any more correct
(also I would've said the 10^k and 3 are coprime by the fundamental theorem of arithmetic but if you're told to use the divisibility rule, that's fine too)
hoary quarry
<@1021107471101726741> Is the definition of D given to you? I would have defined...
Yeah, and in class the teacher showed us the divisibility proof so I used it