#proofs

14 messages · Page 1 of 1 (latest)

mellow cliff
#

I think I did the first one properly, not sure if I used DA properly. I am not sure how to start the second one. I'm starting to lean towards proof by contradiction. I have to use F3 in both and I am not sure how to use it in the second one.

brave portalBOT
merry zephyr
mellow cliff
#

yeah i just realized how to do the first one

#

was solving for the wrong thing lol

#

but realized if i set the equations a+b and then solved i could find that n divides (a+b) - (r+s)

#

working on the second one now

mellow cliff
#

Anyone willing to check my work?

#

Just wanna make sure I’m using my facts properly

#

And that n being in my nqq’+qs+rq’ is legal

merry zephyr
#

Looks good

#

Hard to read, but looks good

mellow cliff
#

okay thank you

ornate magnet
#

.solved