Your proof for (1) looks okay. You just need to emphasize that inverses are unique.

You have a good idea for (2). To clean it up, you should note that neither nor should be zero, or else is zero, which is not what we want. Then, you are correct in taking nonzero so that and . So if , then you are done, since will satisfy the zero divisor definition. But what happens if ?