I’ve written a pair posts that reference the desk beneath.
You would make a bigger desk, 6 × 6, by together with sec, csc, cot, and their inverses, as Baker did in his article [1].
Observe that rows 4, 5, and 6 are the reciprocals of rows 1, 2, and three.
Returning to the theme of the earlier submit, how might we confirm that the expressions within the desk are right? Every expression is considered one of 14 kinds for causes we’ll clarify shortly. To show that the expression in every cell is the right one, it’s enough to examine equality at only one random level.
Each identification could be proved by referring to a proper triangle with one facet of size x, one facet of size 1, and the remaining facet of no matter size Pythagoras dictates, simply as within the first submit [2]. Outline the units A, B, and C by
A = {1}
B = {x}
C = {√(1 − x²), √(x² − 1), √(1 + x²)}
Each expression is the ratio of a component from considered one of these units and a component of one other of those units. You may examine that this may be accomplished 14 methods.
A few of the 14 features are outlined for |x| ≤ 1, some for |x| ≥, and a few for all x. It is because sin and cos has vary [−1, 1], sec and csc have vary (−∞, 1] ∪ [1, ∞) and tan and cot have range (−∞, ∞). No two of the 14 functions are defined and have the same value at more than a point or two.
The follow code verifies the identities at a random point. Note that we had to define a few functions that are not built into Python’s math module.
from math import *
def compare(x, y):
print(abs(x - y) < 1e-12)
sec = lambda x: 1/cos(x)
csc = lambda x: 1/sin(x)
cot = lambda x: 1/tan(x)
asec = lambda x: atan(sqrt(x**2 - 1))
acsc = lambda x: atan(1/sqrt(x**2 - 1))
acot = lambda x: pi/2 - atan(x)
x = np.random.random()
compare(sin(acos(x)), sqrt(1 - x**2))
compare(sin(atan(x)), x/sqrt(1 + x**2))
compare(sin(acot(x)), 1/sqrt(x**2 + 1))
compare(cos(asin(x)), sqrt(1 - x**2))
compare(cos(atan(x)), 1/sqrt(1 + x**2))
compare(cos(acot(x)), x/sqrt(1 + x**2))
compare(tan(asin(x)), x/sqrt(1 - x**2))
compare(tan(acos(x)), sqrt(1 - x**2)/x)
compare(tan(acot(x)), 1/x)
x = 1/np.random.random()
compare(sin(asec(x)), sqrt(x**2 - 1)/x)
compare(cos(acsc(x)), sqrt(x**2 - 1)/x)
compare(sin(acsc(x)), 1/x)
compare(cos(asec(x)), 1/x)
compare(tan(acsc(x)), 1/sqrt(x**2 - 1))
compare(tan(asec(x)), sqrt(x**2 - 1))
This verifies the first three rows; the last three rows are reciprocals of the first three rows.
Related posts
[1] G. A. Baker. Multiplication Tables for Trigonometric Operators. The American Mathematical Month-to-month, Vol. 64, No. 7 (Aug. – Sep., 1957), pp. 502–503.
[2] These geometric proofs solely show identities for real-valued inputs and outputs and solely over restricted ranges, and but they are often bootstrapped to show rather more. If two holomorphic features are equal on a set of factors with a restrict level, equivalent to a interval of the true line, then they’re equal over their whole domains. So the geometrically confirmed identities prolong to the advanced aircraft.
