Spivak's Calculus: Chap 1: Problem 3i - Simple Proof

[Saladsamurai]

Homework Statement

Prove that

$$\frac ab = \frac{ac}{bc}$$

Homework Equations

Basic properties of numbers

The Attempt at a Solution

I really don't understand what is left to show here? By definition c/c means c*c^-1 = 1. So is that is? That is:

$$\begin{array}{l} \frac ab &= \frac ab \cdot c\cdot c^{-1} \\ &= \frac ab \frac cc \\ &= \frac {ac}{bc} \end{array}$$


I dunno. Is that it?

 

[HallsofIvy]

Please state the entire problem. Are a, b, and c numbers or from some abstract algebraic structure? Is it assumed that c is not 0?

 

[QuarkCharmer]

The whole problem is:
Prove the following:

$\frac{a}{b}=\frac{ac}{bc}$ if b and c do not equal 0.


What spivak wants you to do is flip back to about page 9 where he lists his P1-P12 properties and use those to document each step.

 

[Saladsamurai]

Hello

Please state the entire problem. Are a, b, and c numbers or from some abstract algebraic structure? Is it assumed that c is not 0?

As QC has noted, yes c and b not 0.

The whole problem is:
Prove the following:

$\frac{a}{b}=\frac{ac}{bc}$ if b and c do not equal 0.What spivak wants you to do is flip back to about page 9 where he lists his P1-P12 properties and use those to document each step.

Hi QC So that's what I thought. Does my proof lack anything? I am not sure what is left to document, if anything. I guess to be complete I should show that $\frac ab \frac cc = \frac{ab}{cc}$ by writing them as $(ab^{-1})(cc^{-1})$ and using the associate property to rearrange them.

Just trying to get a feel for how these proofs should be written (in a formal sense).

Thank you.

 

[process91]

The first chapter of Spivak's book really emphasizes rigor. If you really wanted to formalize it, you'd have to add more statements justifying your proof. For instance, there's no property that says you can multiply any number by $c \cdot c^{-1}$; there is one (P6) that says you can multiply any number by the identity, symbolized by $1$, and there's another one (P7) which says that $c \cdot c^{-1} = 1$.

For these beginning exercises, it's probably worth it to go a little overboard with the rigor. Line by line proof, with properties or theorems to the right justifying each step. I think Spivak's intention is to really build a solid base, and to do that you have to really forget everything you know, which is near impossible. That being said, you clearly have the right idea.