Proving Theorem i.5 with Calvo Apostol

In summary, you are given the Theorem i.5 and Axioms A.1-A.4. You are stuck at the point indicated below. You are trying to represent a(-c) as -ac but are having trouble doing so. You are also trying to represent a(-c) as (-a)(-c) but that does not work either. Someone can help you with this problem.
  • #1
cnaeger
2
0
Hello,

I am working my way through Cal vo1 by Apostol and working the problems and was wondering if someone could assist.

The question is on pg 19 to prove theorems i.5-i.15 using axioms and theorems i.1-i.4.

Theorem i.5 states a(b-c) = ab - bc.

I started the proof but am stuck at at the point indicated below.

a(b-c) = a(b + (-c)) = ab + a(-c)

being able to represent a(-c) as -ac is not illustrated until theorem i.12.

I tried representing a(-c) as -(-a)(-c) but that did not go anywhere either due to (-a)(-c) not being illustrated until i.12 either.

Can anyone help me along with this one. This is not a homework assignment as I am a BS in EE with a minor in math. Just working my way through this book to enhance my knowledge.

Thanks,
Chad
 
Physics news on Phys.org
  • #2
I personally don't have Apostol, though others on this forum most likely do. Either wait for one of them to post, or please post here stating which Theorems and Axioms you are given, ie what you are already allowed to assume.
 
  • #3
a(b-c) = a(b + (-c)) = ab + a(-c)
ab+a(-c) + ac = ?
 
  • #4
Prove that ac + a(-c) = 0... then a(-c) = -ac.. I suppose you have to prove that additive inverses are unique but you can use the cancellation law for this. Don't stress over this part too much; most proofs aren't like this. If you did most of the set proofs you should be good - generally that is the stuff that is unfamiliar compared to field axioms.
 
  • #5
In response to Gib Z the Axioms and theorems available are:

A.1 x + y = y + x, xy = yx (Comm Laws)
A.2 x + (y + z) = (x + y) + z, x(yz) = (xy)z (Assoc Laws)
A.3 x(y + z) = xy + xz (Dist Law)
A.4 x + 0 = x, 1*x = x (Existence of Identity elements)
A.5 For every real # x there is a real # y such that x + y =0 (Existence of negatives)
A.6 For every real # x not equal to 0 there is a number y such that xy=1 (Reciprocals)

Th.1 If a + b = a + c then b=c (Cancellation law for addition)
Th.2 Given a and b there is exactly one x such that a + x = b. This is denoted by b - a. In particular 0 - a is simply written -a and called the negative of a.
Th.3 b - a = b + (-a)
Th.4 -(-a) = a

Thanks,
Chad
 
  • #6
So far, you have:
a(b-c) = a(b + (-c)) = ab + a(-c)

Now you need to show that a(-c) = -ac... what property does -ac have that you suspect a(-c) has? they're both additive inverses of ac, so..
ac - ac = a(c - c) by a.3
and ac + a(-c) = a(c + (-c)) = a(c - c),
so ac - ac = ac + a(-c), and by thm.1, -ac = a(-c),
now just plug this back into what you had (or you could work from that form the entire time, just leaving "ab" in).
 

1. What is Theorem i.5 in Calvo Apostol?

Theorem i.5 states that in a right triangle, the square of the length of the hypotenuse is equal to the sum of the squares of the other two sides. This is commonly known as the Pythagorean Theorem.

2. How do you prove Theorem i.5 with Calvo Apostol?

The proof of Theorem i.5 involves using the concepts of similar triangles, the Pythagorean Theorem, and the properties of right triangles. It is a rigorous mathematical proof that follows the logical steps outlined in Calvo Apostol's book.

3. Why is Theorem i.5 important?

Theorem i.5 is important because it is a fundamental principle in geometry and has numerous applications in mathematics, physics, and other fields. It is also the basis for many other theorems and geometric proofs.

4. Can Theorem i.5 be proven using other methods?

Yes, Theorem i.5 can be proven using various methods such as algebraic proofs, geometric proofs, and even visual proofs. However, the proof in Calvo Apostol's book is a classic and well-respected method.

5. Are there any real-life applications of Theorem i.5?

Theorem i.5 has many practical applications, including in construction, engineering, and navigation. For example, it is used to calculate distances and heights in surveying and to design stable structures. It is also used in physics and astronomy to calculate distances and angles.

Similar threads

  • STEM Academic Advising
Replies
7
Views
1K
  • Science and Math Textbooks
Replies
4
Views
2K
  • Calculus
Replies
9
Views
2K
  • Topology and Analysis
Replies
2
Views
3K
  • Calculus
Replies
4
Views
1K
  • Calculus
Replies
6
Views
1K
Replies
2
Views
1K
  • Topology and Analysis
Replies
2
Views
2K
Replies
1
Views
1K

Back
Top