

Home Taxicab Geometry
Length / Area / Volume Conics Geometric Figures The Taxicab Metric Triangles Research Other Resources Links News / Updates Kevin's Corner 
Angles and Trigonometry > Trig Identities Given the definitions of the taxicab trig functions, the next obvious pursuit would be trig identities. Given the definition of cosine and sine, the first immediate identity comes from the taxicab distance function: Alternately dividing through by sine and cosine we can obtain the other Pythagoreanstyle identities: Using the graphs of cosine and sine we can quickly move on to the basic identities involving even and odd function characteristics and the period of the functions. These identities are very similar to the ones we are familiar with in Euclidean geometry.
Sum and Difference Formulas As discussed on the Euclid's Axioms page, SAS congruence for triangles does not hold in modified taxicab geometry. This is simply another way of saying that the Pythagorean Theorem fails. Therefore, the routine proofs of sum and difference formulas are not so routine in this geometry. The first result we will prove is for the cosine of the sum of two angles. The formula given for the cosine of the sum of two angles only takes on two forms; the form used in a given situation depends on the locations of α and β. The notation α ∈ I will be used to indicate α is an angle in quadrant I and similarly for quadrants II, III, and IV. THEOREM 1: cos(α + β) = ±(1 + cosα ± cosβ) where the signs are chosen to be negative when α and β are on different sides of the xaxis and positive otherwise. Proof: Without loss of generality, assume α, β ∈ [0, 8), for if an angle θ lies outside [0, 8), ∃k∈Z such that (θ + 8k) ∈ [0, 8) and use of the identity cos(θ + 8k) = cosθ will yield the desired result upon use of the following proof. All of the subcases have a similar structure. We will prove the subcase α ∈ II, β ∈ III. In this situation 6 ≤ α + β ≤ 10 and we take the negative signs on the righthand side of the equation. Thus, The curious case structure in Theorem 1 is due to the odd combinations of quadrants that determine which sign to choose. The reason for the sign change when α and β are on different sides of the xaxis lies in the fact that a corner of the cosine function is being crossed (i.e. different pieces of the cosine function are being used) to obtain the values of the cosine of α and β. Table 2 summarizes which form of cos(α + β) should be used when.
We can use Theorem 1 and the relations in Table 1 to establish the analogous sine identity. THEOREM 2: sin(α + β) = ± (1 + sinα ± cosβ) where the signs are chosen to be negative when (α  2) and β are on different sides of the xaxis and positive otherwise. Proof: First, note that sinθ = cos(θ  2). Then, where in the third line, by Theorem 1, the signs are chosen to be negative when (α  2) and β are on different sides of the xaxis and positive otherwise.
THEOREM 3: cos(α  β) = ± (1 + cosα ± cosβ) where the signs are chosen to be negative when α and β are on different sides of the xaxis and positive otherwise. Proof: where in the second line, by Theorem 1, the signs are chosen to be negative when α and β are on different sides of the xaxis and positive otherwise. THEOREM 4: sin(α  β) = ± (1 + sinα ± cosβ) where the signs are chosen to be negative when (α  2) and β are on different sides of the xaxis and positive otherwise. Proof: where in the second line, by Theorem 2, the signs are chosen to be negative when (α  2) and β are on different sides of the xaxis and positive otherwise. Doubleangle Formulas COROLLARY 5: cos(2α) = 1 + 2cosα. (Proof is obvious from Theorem 1.) COROLLARY 6: sin(2α) = 1 + 2cos(α  1). Proof: References [1] Thompson, Kevin and Tevian Dray. Taxicab Angles and Trigonometry, The Pi Mu Epsilon Journal, Worcester, MA. Vol. 11, No. 2 (Spring 2000), pp. 8796. [2] Akça, Ziya and Rüstem Kaya. On the Taxicab Trigonometry, Journal of Institute Of Mathematics and Computer Sciences, Vol. 10, No. 3, pp. 151159. 

Question or comments? Email the . Taxi cab clip art courtesy of DailyClipArt.net 