Woodford`s Power point slide

Download Report

Transcript Woodford`s Power point slide

Grade School Triangles
Written by: Jack S. Calcut
Presented by: Ben Woodford
(pay attention: there Will be a test at the end)
Definitions
β€’ An angle is rational provided it is commensurable with
a straight angle; equivalently, its degree measure is
rational or its radian measure is a rational multiple of
Ο€.
β€’ A quadratic irrational is a number of the form
r + s 𝑑 where r and s are rational, s = 0, and
𝑑 βˆ‰
{0, 1} is a squarefree integer
(i.e.,
𝑝2 ∀ 𝑑 for all primes p ∈ Z).
β€’ A line segment is rational or quadratic irrational
provided its length is rational or quadratic irrational
respectively.
More Facts
β€’ Fact 1. The only rational values of the circular
trigonometric functions at rational multiples
of Ο€ are the obvious ones.
β€’ Namely 0, ±1/2, and ±1 for cosine and sine, 0
and ±1 for tangent and cotangent, and ±1 and
±2 for secant and cosecant.
β€’ Corollary 1. The acute angles in each
Pythagorean triple triangle are irrational.
Fact 2. The acute angles in each Pythagorean triple
triangle have transcendental radian measures and
transcendental degree measures.
Proof- Not very Enlightening.
Example- Take the commonly seen 3-4-5
Triangle. Together with the law of cosines
We can evaluate for the interior angles
Here π‘Ž2 = 𝑏 2 + 𝑐 2 βˆ’ 2𝑏𝑐 cos 𝛼
2 βˆ’π‘ 2 βˆ’ 𝑐 2 )
(π‘Ž
β‡’ Ξ± = cos βˆ’1
βˆ’2𝑏𝑐
Thus, Ξ± =
2 βˆ’52 βˆ’42 )
(3
cos βˆ’1
(βˆ’2βˆ™5βˆ™4)
=
βˆ’1 9
cos
10
= 0.4510268 …
Main GST Theorem.
The right triangles with rational angles and with
rational or quadratic irrational sides are…?
The (properly scaled) 45–45–90, 30–60–90, and
15–75–90 triangles.
REDUCTION TO FINITELY MANY
SIMILARITY TYPES.
Suppose Ξ”ABC is a right triangle whose acute
angles are rational and whose sides are each
rational or quadratic irrational as in Figure 4.
Lemma 1. Each of the numbers cos Ξ±
and cos Ξ² has degree 1, 2, or 4 over β„š.
Proof- As cos Ξ± = b/c ∈ β„š(b, c),
we have the tower of fields
β„š βŠ† β„š(cos Ξ±) βŠ† β„š(b, c).
The degrees of these extensions satisfy
[β„š(b, c) : β„š] = [β„š(cos Ξ±) : β„š] · [β„š(b, c) : β„š(cos Ξ±)]
where [β„š(b, c) : β„š] equals 1, 2, or 4 since b and
c each have degree 1 or 2 over β„š.
Lemma 2. If n > 2 and gcd(k, n) = 1,
then
2π‘˜πœ‹
π‘‘π‘’π‘”β„š cos
𝑛
πœ‘(𝑛)
=
2
Proof- Take πœ‘(n) as the number of integers j
such that 1 ≀ j ≀ n and gcd( j, n) = 1.
So if ΞΆ =cos(2kΟ€/n) + i sin(2kΟ€/n) is a primitive
nth root of unity, then π‘‘π‘’π‘”β„š β„š(ΞΆ ) = πœ‘(n) and
β„š(cos(2kΟ€/n)) = β„š(ΞΆ + ΢’) is the fixed field in β„š(ΞΆ )
of complex conjugation.
Apparently, fact 1 follows from Lemma 2 with a
bit of work.
Recall: If p > 1 is prime and a ∈ N, then Ο•(π‘π‘Ž ) = π‘π‘Ž βˆ’ π‘π‘Žβˆ’1
by direct inspection. Also, Ο• is multiplicative:
if gcd(m, n) = 1, then Ο•(mn) = Ο•(m)Ο•(n)
Lemma 3. Ο•(n) β‰₯ 𝑛/2.
The result is clear for n = 1,
so let n =2π‘Ž 𝑝1 π‘Ž1 β€¦π‘π‘˜ π‘Žπ‘˜ be a prime factorization
of n where a β‰₯ 0, the 𝑝𝑗 ’s are distinct positive
odd primes, and π‘Žπ‘— β‰₯ 1 for each j .
For 𝑝𝑗 β‰₯ 3, 𝑗 ∈ β„€+ ,
For the prime
then
Lemma 3. Ο•(n) β‰₯√(𝑛/2).
2, we have Ο•(20 ) = 1
π‘Ž
In either case, we have πœ‘(2 )β‰₯ (2
and if a β‰₯ 1,
π‘Ž
2
)/ 2.
Since πœ‘ is multiplicative we combine to obtain
Lemma 4. The radian measures Ξ± and Ξ² both lie in the set
Proof- By Lemma 1, cos Ξ± has degree 1, 2, or 4 over Q.
Let Ξ± = 2kΟ€/n where gcd(k, n) = 1, k ∈ N, and n > 2
(since Ξ± < Ο€/2).
By Lemmas 2 and 3, we need only consider the cases
3 ≀ n ≀ 128.
πœ‘ 𝑛
2
By using a CAS we compute
for these values of n
and find that n lies in the set {3, 4, 5, 6, 8, 10, 12, 15,
16, 20, 24, 30}.
For each of these values of n, one simply produces the
corresponding values of k with gcd(k, n) = 1 and
0 < Ξ± = 2kΟ€/n < Ο€/2.
As Ξ± and Ξ² are complementary and lie in S, we
obtain our desired reduction to a finite set of
possible similarity types.
REDUCTION TO FINITELY MANY SIMILARITY TYPES.
Proposition 1. The multiset {Ξ±, Ξ²} lies in the set T.
EXPLICIT TRIANGLES
Next we produce four explicit right triangles
with algebraic side lengths.
For each m ∈ N, define πΉπ‘š (x) = tan(m arctan x).
These are the tangent analogues of the
Chebyshev polynomials of the first kind for
cosine. Let ΞΈ = arctan x; then
The last equality defines the polynomials
π‘π‘š (x),π‘žπ‘š (x)∈ β„€[x].
Thus, each πΉπ‘š (x) is a rational function with
integer coefficients.
If tan(kΟ€/n) exists (i.e., k ≑ n/2 mod n),
then tan(kΟ€/n) is a root of 𝐹𝑛 (x) and of 𝑝𝑛 (x).
In other words, the minimal polynomial of
tan(kΟ€/n) may be obtained by factoring 𝑝𝑛 (x)
over β„€[x] using a CAS and then choosing the
correct irreducible factor. (let’s see an example)
Let n = 10. Then
𝑝10 (x) = 10π‘₯ 9 βˆ’ 120π‘₯ 7 + 252π‘₯ 5 βˆ’ 120π‘₯ 3 + 10x
factors over β„€[x] into
𝑝10 (x) = 2x(π‘₯ 4 βˆ’ 10π‘₯ 2 + 5)(5π‘₯ 4 βˆ’ 10π‘₯ 2 + 1).
Calculation shows that tan(Ο€/10) β‰  0 is not a
root of (π‘₯ 4 βˆ’ 10π‘₯ 2 + 5) so it must be
a root of ψ(x) = (5π‘₯ 4 βˆ’ 10π‘₯ 2 + 1), why?
πœ‹
Therefore tan =
10
Ξ”ABC we have π‘Ž =
5βˆ’2 5
.
5
Recalling the set T and
5 βˆ’ 2 5, 𝑏 = 5, and by
Pythagoras’ theorem 𝑐 =
10 βˆ’ 2 5.
Repeating this process for Ο€/12, Ο€/8, and Ο€/5, we
obtain the four triangles I–IV described in Table 2.
Table 2. Data for right triangles I–IV, namely the
radian measure Ξ± of an acute angle, the minimal
polynomial ψ(x) of tan Ξ± over β„š, tanΞ± in radical
form, and the side lengths a, b, c as in Figure 4.
Each triangle I–IV appears to contain at least
one side whose length has degree 4 over β„š.
But looks can be deceiving…
Observe, 6 βˆ’ 2 5= ( 5 βˆ’ 1)2 = 5 βˆ’ 1
This suggests we need extra machinery to
distinguish between the squares and
nonsquares among the irrational side lengths.
ALGEBRAIC TOOLS
Recall: a number field is a subfield of C whose
dimension as a vector space over β„š is finite.
Being a subfield of C, each number field is
an integral domain.
A quadratic number field K is a number field
with [K : β„š] = 2. So K = β„š( 𝑑) for some
squarefree d ∈ β„€\{0,1}.
i.e.
If K is a number field, then the ring of integers of
K is by definition:
i.e.
Where,
β„€[ 𝑑] = {π‘Ž + 𝑏 𝑑 | π‘Ž, 𝑏 ∈ β„€ } and
1
β„€[
2
+
1
2
𝑑] = {π‘Ž +
𝑏
2
𝑐
+
2
𝑑 | π‘Ž, 𝑏, 𝑐 ∈ β„€ }
Define the norm of ΞΌ by:
N(ΞΌ) = μμ’ = π‘Ÿ 2 βˆ’ 𝑠 2 d ∈ β„š.
The norm is multiplicative:
N(μν) = N(μ)N(ν) for every μ, ν ∈ K.
In particular, the restriction of N to π˜–π‘˜ is
multiplicative and, takes integer values:
N : π˜–π‘˜ β†’ β„€.
Using these tools we obtain our sufficient condition
to recognize nonsquares in π˜–π‘˜ .
Proposition 2
Let K be a quadratic number field and let ΞΌ ∈ π˜–π‘˜ . If
N(ΞΌ) is not a square in β„€, then ΞΌ is not a square in
π˜–π‘˜ .
Proposition 3
Let K be a number field and R = π˜–π‘˜ .
If Ξ±, Ξ², Ξ³ ∈ R βˆ’ {π˜–π‘… } and Ξ±Ξ²2 = Ξ³2 , then Ξ± is a square
in R.
Proof - If Ξ±, Ξ², Ξ³ ∈ R βˆ’ {π˜–π‘… } and Ξ±Ξ²2 = Ξ³2 ,
then π‘₯ 2 βˆ’ Ξ± ∈ R[x] has Ξ³/Ξ² as a root.
Since π˜–π‘˜ is integrally closed Ξ³/Ξ² ∈ R,
thus, Ξ± = (Ξ³ /Ξ²)2 is a square in R.
More Lemmas w/o Proof.
Our Old example: 6 βˆ’ 2 5= ( 5 βˆ’ 1)2 = 5 βˆ’ 1
Example: Consider D={1, 2, 3} which has elements that
are linearly independent since
1 β‰  a 2 β‰  𝑏 3 π‘“π‘œπ‘Ÿ π‘Žπ‘›π‘¦ π‘Ž, 𝑏 ∈ β„š
COMPLETION OF THE GST THEOREM
The right triangles with rational angles and with
rational or quadratic irrational sides are The
(properly scaled) 45–45–90, 30–60–90, and 15–
75–90 triangles.
In this section, we determine whether there
exist triangles of the last four similarity types in
T with rational or quadratic irrational sides.
We begin with the last similarity type 36–54–90,
which is represented by triangle IV with side lengths
π‘Ž=
5 βˆ’ 2 5, 𝑏 = 5, 𝑐 =
10 βˆ’ 2 5.
Let K = β„š( 5) and recall
π˜–π‘˜ =
1
β„€[
2
+
1
2
5] βŠ‡ β„€[ 5]
N(5-2 5) = 5 is not a square in β„€, so 5-2 5 is not
a square in π˜–π‘˜ by prop 2. Therefore
π‘‘π‘’π‘”β„š π‘Ž = 4, By Lemma 6, and thus triangle IV
is ruled out.
It remains to rule out all triangles similar to
triangle IV.
Suppose, by way of contradiction, that a
triangle, called IV’, is similar to triangle IV and
satisfies the conditions in the theorem.
All variables (except possibly Ξ») are rational
integers and 𝑑, 𝑑1, 𝑑2 > 1 are all squarefree.
By (1), x and y are not both zero, further y β‰  0.
Otherwise (3) has degree 4 over β„š.
We suspect that equations (1)–(3) imply that
d = 𝑑2 = 5. But squaring equation (3) yields
(π‘₯ + 𝑦 5 )2 5 βˆ’ 2 5 = (𝑔 + β„Ž 5)2
This equation implies that 5 βˆ’ 2 5 is a square in
π˜–π‘˜ , but this is false, by prop 2.
Thus, triangle IV does not exist.
It remains to show that d = 𝑑2 = 5.
Claim 1. d = 5.
By eq. (2) we have
(4)
βˆ’π‘₯ + π‘₯ 5 + 𝑦 5𝑑 βˆ’ 𝑦 𝑑 = 𝑒 + 𝑓 𝑑1 .
Since 𝑦 β‰  0, if 5 ∀ 𝑑, then (4) contradicts the
linear independence of roots (Lemma 7).
Therefore 𝑑 = 5𝑑0 , with 5 ∀ 𝑑0 since 𝑑 is
squarefree and we have,
(5) βˆ’π‘₯ + π‘₯ 5 + 5𝑦 𝑑0 βˆ’ 𝑦 5𝑑0 = 𝑒 + 𝑓 𝑑1 .
If 𝑑0 > 1, then eq. (5) contradicts Lemma 7.
Thus, 𝑑0 = 1 π‘Žπ‘›π‘‘ 𝑑 = 5.
Claim 2. π‘₯ β‰  0.
Proof- Otherwise y > 0 (since Ξ» > 0) and
Since L.H.S. has degree 1 or 2 over β„š, lemma 6
implies 25𝑦 2 βˆ’ 10𝑦 2 5 is a square in β„€[ 5].
But the norm is 53 𝑦 4 and this is not a square
over β„€, a contradiction to prop 2.
(Remember prop 2 associates a square over Z
with it’s norm.)
Claim 3. 𝑑2 = 5.
Proof. Otherwise, square both sides of (3) and
conclude, by Lemma 7, that the coefficient
βˆ’2 π‘₯ 2 + 5𝑦 2 + 10π‘₯𝑦 of 5 must equal zero.
Setting this coefficient equal to zero and solving
the resulting quadratic in x we obtain,
5𝑦 ± 𝑦 5
π‘₯=
2
This is a contradiction since x ∈ β„€ and y β‰  0.
Thus, no triangle similar to IV has rational or
quadratic irrational sides.
In an attempt to follow this argument for
triangle 1 we find that we cannot reach any
contradiction.
Therefore we have our third similarity type of
the Main Theorem.
Who cares?
Example- If 𝛼, 𝛽 are standard values on the unit
circle and π‘Ž, 𝑏 ∈ β„š,
then cos(𝛼 βˆ’ 𝛽) = a + b 𝑑.
Proof- By GST theorem there are only three such
triangles down to similarity that cos(𝛼 βˆ’ 𝛽)
assumes values for. Since each is quadratic
irrational so is cos(π›Όβˆ’π›½).
Q.E.D.
Alternate Proof- By the identity,
cos(𝛼 βˆ’ 𝛽) = cos 𝛼 cos 𝛽 +sin 𝛼 sin 𝛽
Since the R.H.S. is the sum and product of rational
or quadratic irrational values, so is the L.H.S.