• Support PF! Buy your school textbooks, materials and every day products Here!

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

  • #1
3,003
2

Homework Statement



Prove that

[tex]\frac ab = \frac{ac}{bc}[/tex]

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:

[tex]
\begin{array}{l}
\frac ab &= \frac ab \cdot c\cdot c^{-1} \\
&= \frac ab \frac cc \\
&= \frac {ac}{bc}
\end{array}
[/tex]


I dunno. Is that it?
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,833
955
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?
 
  • #3
1,039
2
The whole problem is:
Prove the following:

[itex]\frac{a}{b}=\frac{ac}{bc}[/itex] 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.
 
  • #4
3,003
2
Hello :smile:

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:

[itex]\frac{a}{b}=\frac{ac}{bc}[/itex] 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 [itex]\frac ab \frac cc = \frac{ab}{cc}[/itex] by writing them as [itex](ab^{-1})(cc^{-1})[/itex] 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. :smile:
 
  • #5
106
0
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 [itex]c \cdot c^{-1}[/itex]; there is one (P6) that says you can multiply any number by the identity, symbolized by [itex]1[/itex], and there's another one (P7) which says that [itex]c \cdot c^{-1} = 1[/itex].

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.
 

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

  • Last Post
Replies
3
Views
5K
Replies
2
Views
923
Replies
3
Views
2K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
16
Views
4K
Replies
12
Views
3K
Replies
0
Views
3K
Replies
3
Views
3K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
2
Views
2K
Top