2014년 2월 7일 금요일

Right Triangle

A right triangle is triangle with an angle of 90 degrees (pi/2 radians). The sides a, b, and c of such a triangle satisfy the Pythagorean theorem
 a^2+b^2=c^2,
(1)
where the largest side is conventionally denoted c and is called the hypotenuse. The other two sides of lengths a and b are called legs, or sometimes catheti.
The favorite A-level math exam question of the protagonist Christopher in the novel The Curious Incident of the Dog in the Night-Time asks for proof that a triangle with sides of the form n^2+1, n^2-1, and 2n where n>1 is a right triangle, and that the converse does not hold (Haddon 2003, pp. 214 and 223-226).
RightTriangle
The side lengths (a,b,c) of a right triangle form a so-called Pythagorean triple. A triangle that is not a right triangle is sometimes called an oblique triangle. Special cases of the right triangle include the isosceles right triangle (middle figure) and 30-60-90 triangle (right figure).
For any three similar shapes of area A_i on the sides of a right triangle,
 A_1+A_2=A_3,
(2)
which is equivalent to the Pythagorean theorem.
RightTriangleInradius
For a right triangle with sides a, b, and hypotenuse c, the area is simply
 A=1/2ab.
(3)
The inradius can be found by equating the area of the triangle DeltaABC with the sum of the areas of the three triangles DeltaABI, DeltaACI, and DeltaBCI having the inradii as altitudes, giving
 1/2ab=1/2ra+1/2rb+1/2rc=1/2r(a+b+c).
(4)
Solving for r then gives
 r=(ab)/(a+b+c).
(5)
This can also be written in the equivalent forms
r = sqrt(1/2(c-a)(c-b))
(6)
= 1/2(a+b-c).
(7)
The hypotenuse of a right triangle is a diameter of the triangle's circumcircle, so the circumradius is given by
 R=1/2c.
(8)
A primitive right triangle is a right triangle having integer sides a, b, and c such that GCD(a,b,c)=1, where GCD is the greatest common divisor. The set of values (a,b,c) is then known as a primitive Pythagorean triple.
For a right triangle with integer side lengths, any primitive Pythagorean triple can be written
a = m^2-n^2
(9)
b = 2mn
(10)
c = m^2+n^2.
(11)
Using these, equation (6) becomes
r = ((m^2-n^2)2mn)/(m^2-n^2+2mn+m^2+n^2)
(12)
= n(m-n),
(13)
which is an integer whenever m and n are integers (Ogilvy and Anderson 1988, p. 68).
RightTriangleSimilar
Given a right triangle DeltaABC, draw the altitude AH from the right angle A. Then the triangles DeltaAHC and DeltaBHA are similar.
RightTriangleMidpoint
In a right triangle, the midpoint of the hypotenuse is equidistant from the three polygon vertices (Dunham 1990). This can be proved as follows. Given DeltaABC, let M be the midpoint of AB (so that AM=BM). Draw DM∥CA, then since DeltaBDM is similar to DeltaBCA, it follows that BD=DC. Since both DeltaBDM and DeltaCDM are right triangles and the corresponding legs are equal, the hypotenuses are also equal, so we have AM=BM=CM and the theorem is proved.
RightTriangleMedianAltitude
In addition, the triangle median AM_A and altitude AH_A of a triangle DeltaABC are reflections about the angle bisector AT_A of A iff DeltaABC is a right triangle (G. McRae, pers. comm., May 1, 2006).
Fermat showed how to construct an arbitrary number of equiareal nonprimitive right triangles. An analysis of Pythagorean triples demonstrates that the right triangle generated by a triple (m_i^2-n_i^2,2m_in_i,m_i^2+n_i^2) has common area
 A=rs(2r+s)(r+2s)(r+s)(r-s)(r^2+rs+s^2)
(14)
(Beiler 1966, pp. 126-127). The only extremum of this function occurs at (r,s)=(0,0). Since A(r,s)=0 for r=s, the smallest area shared by three nonprimitive right triangles is given by (r,s)=(1,2), which results in an area of 840 and corresponds to the triplets (24, 70, 74), (40, 42, 58), and (15, 112, 113) (Beiler 1966, p. 126). One can also find quartets of right triangles with the same area. The quartet having the smallest known area is (111, 6160, 6161), (231, 2960, 2969), (518, 1320, 1418), (280, 2442, 2458), with area 341880 (Beiler 1966, p. 127). Guy (1994) gives additional information.
It is also possible to find sets of three and four right triangles having the same perimeter (Beiler 1966, pp. 131-132).
RightTriangleSquares
In a given right triangle, an infinite sequence of squares that alternately lie on the hypotenuse and longest leg can be constructed, as illustrated above. These create a sequence of increasingly smaller similar right triangles. Let the original triangle have legs of lengths a and b and hypotenuse of length c=sqrt(a^2+b^2). Also define
x = (ac)/(ab+c^2)
(15)
y = 1/2sqrt(2[c^2-(a+b)c+ab]).
(16)
Then the sides of the n square are of length
 s_n=bx^n.
(17)
Number the upper left triangle as 1, and then the remainder by following the "strip" of triangles at adjoining vertices. Then the side lengths of these triangles are
a_n = {s_((n+1)/2) for n odd; (ab)/cx^(n/2) for n even
(18)
b_n = {(b^2)/ax^((n+1)/2) for n odd; (b^2)/cx^(n/2) for n even
(19)
c_n = {(bc)/ax^((n+1)/2) for n odd; s_(n/2) for n even.
(20)
The inradii of the corresponding triangles can be found from
 r_n=1/2sqrt(((b_n+c_n-a_n)(c_n+a_n-b_n)(a_n+b_n-c_n))/(a_n+b_n+c_n)),
(21)
giving
 r_n={b/ayx^((n+1)/2)   for n odd; b/cyx^(n/2)   for n even.
(22)
A Sangaku problem from 1913 in the Miyagi Prefecture asks for the relationships between the first, third, and fifth inradii (Rothman 1998). This can be solved using elementary trigonometry as well as the explicit equations given above, and has solution

 r_3=sqrt(r_1r_5).

Wolfram 
(23) 

댓글 없음: