Many students misunderstand Strategy 6: It does not say that you begin with
a fractional equation A/B C/D and cross-multiply to eliminate the fractions. If
you did that, you would be assuming what has to be proved. What the strategy
says is that to prove an identity involving fractions, you need only prove a differ-
ent identity that does not involve fractions. In other words, if you prove that
AD BC whenever B 0 and D 0, then you can conclude that A/B C/D.
Note that you do not assume that AD BC; you use Strategy 2 or 3 or some other
means to prove this statement.
EXAMPLE 8
Prove that
c
c
o
o
t
t
x
x
1
1
1
1
t
t
a
a
n
n
x
x
.
SOLUTION We use Strategy 6, with A cot x 1, B cot x 1,
C 1 tan x, and D 1 tan x. We must prove that this equation is an identity:
AD BC
(
***
) (cot x 1)(1 tan x) (cot x 1)(1 tan x).
Strategy 3 will be used. Multiplying out the left side shows that
(cot x 1)(1 tan x) cot x 1 cot x tan x tan x
cot x 1
ta
1
n x
tan x tan x
cot x 1 1 tan x
cot x tan x.
Similarly, on the right side of (
***
),
(cot x 1)(1 tan x) cot x 1 cot x tan x tan x
cot x 1 1 tan x
cot x tan x.
Since the left and right sides are equal to the same expression, we have proved
that (
***
) is an identity. Therefore, by Strategy 4, we conclude that
c
c
o
o
t
t
x
x
1
1
1
1
t
t
a
a
n
n
x
x
is also an identity. ■
It takes a good deal of practice, as well as much trial and error, to become pro-
ficient in proving identities. The more practice you have, the easier it will get.
Since there are many correct methods, your proofs may be quite different from
those of your instructor or the text answers.
SECTION 7.1 Basic Identities and Proofs 521
Strategy 6
If you can prove that AD BC, with B 0 and D 0, then you can con-
clude that
A
B
D
C
.
TECHNOLOGY TIP
Using SOLVE in the TI-89 ALGEBRA
menu to solve an equation that might
be an identity produces one of three
responses. “True” means the equation
probably is an identity [algebraic proof
is required for certainty]. “False”
means the equation is not an identity.
A numerical answer is inconclusive
[the equation may or may not be an
identity].