The Area of a Triangle
Total Page:16
File Type:pdf, Size:1020Kb
Chapter 22 The area of a triangle 22.1 Heron’s formula for the area of a triangle Theorem 22.1. The area of a triangle of sidelengths a, b, c is given by = s(s a)(s b)(s c), △ − − − 1 p where s = 2 (a + b + c). B Ia I ra r A C Y Y ′ s − b s − c s − a Proof. Consider the incircle and the excircle on the opposite side of A. From the similarity of triangles AIZ and AI′Z′, r s a = − . ra s From the similarity of triangles CIY and I′CY ′, r r =(s b)(s c). · a − − 802 The area of a triangle From these, (s a)(s b)(s c) r = − − − , r s and the area of the triangle is = rs = s(s a)(s b)(s c). △ − − − p Exercise 1. Prove that 1 2 = (2a2b2 +2b2c2 +2c2a2 a4 b4 c4). △ 16 − − − 22.2 Heron triangles 803 22.2 Heron triangles A Heron triangle is an integer triangle whose area is also an integer. 22.2.1 The perimeter of a Heron triangle is even Proposition 22.2. The semiperimeter of a Heron triangle is an integer. Proof. It is enough to consider primitive Heron triangles, those whose sides are relatively prime. Note that modulo 16, each of a4, b4, c4 is congruent to 0 or 1, according as the number is even or odd. To render in (??) the sum 2a2b2 +2b2c2 +2c2a2 a4 b4 c4 0 modulo 16, exactly two of a, b, c must be odd. It− follows− that− the≡ perimeter of a Heron triangle must be an even number. 22.2.2 The area of a Heron triangle is divisible by 6 Proposition 22.3. The area of a Heron triangle is a multiple of 6. Proof. Since a, b, c are not all odd nor all even, and s is an integer, at least one of s a, s b, s c is even. This means that is even. We claim that at− least− one of −s, s a, s b, s c must be△ a multiple of 3. If not, then modulo 3, these− numbers− are−+1 or 1. Since s = (s a)+(s b)+(s c), modulo 3, this must be either 1 −1+1+( 1) or 1− 1+(− 1)+( −1). In each case the product s(s a≡)(s b)(s −c) −1≡ (mod 3)− cannot− be a square. This justifies the− claim that− one− of ≡s, s− a, s b, s c, hence , must be a multiple of 3. − − − △ Exercise 1. Prove that if a triangle with integer sides has its centroid on the incircle, the area cannot be an integer. 804 The area of a triangle 22.2.3 Heron triangles with sides < 100 (a, b, c, ) (a, b, c, ) (a, b, c, ) (a, b, c, ) (a, b, c, ) △ △ △ △ △ (3, 4, 5, 6) (5, 5, 6, 12) (5, 5, 8, 12) (5, 12, 13, 30) (10, 13, 13, 60) (4, 13, 15, 24) (13, 14, 15, 84) (9, 10, 17, 36) (8, 15, 17, 60) (16, 17, 17, 120) (11, 13, 20, 66) (7, 15, 20, 42) (10, 17, 21, 84) (13, 20, 21, 126) (13, 13, 24, 60) (12, 17, 25, 90) (7, 24, 25, 84) (14, 25, 25, 168) (3, 25, 26, 36) (17, 25, 26, 204) (17, 25, 28, 210) (20, 21, 29, 210) (6, 25, 29, 60) (17, 17, 30, 120) (11, 25, 30, 132) (5, 29, 30, 72) (8, 29, 35, 84) (15, 34, 35, 252) (25, 29, 36, 360) (19, 20, 37, 114) (15, 26, 37, 156) (13, 30, 37, 180) (12, 35, 37, 210) (24, 37, 37, 420) (16, 25, 39, 120) (17, 28, 39, 210) (25, 34, 39, 420) (10, 35, 39, 168) (29, 29, 40, 420) (13, 37, 40, 240) (25, 39, 40, 468) (15, 28, 41, 126) (9, 40, 41, 180) (17, 40, 41, 336) (18, 41, 41, 360) (29, 29, 42, 420) (15, 37, 44, 264) (17, 39, 44, 330) (13, 40, 45, 252) (25, 25, 48, 168) (29, 35, 48, 504) (21, 41, 50, 420) (39, 41, 50, 780) (26, 35, 51, 420) (20, 37, 51, 306) (25, 38, 51, 456) (13, 40, 51, 156) (27, 29, 52, 270) (25, 33, 52, 330) (37, 39, 52, 720) (15, 41, 52, 234) (5, 51, 52, 126) (25, 51, 52, 624) (24, 35, 53, 336) (28, 45, 53, 630) (4, 51, 53, 90) (51, 52, 53, 1170) (26, 51, 55, 660) (20, 53, 55, 528) (25, 39, 56, 420) (53, 53, 56, 1260) (33, 41, 58, 660) (41, 51, 58, 1020) (17, 55, 60, 462) (15, 52, 61, 336) (11, 60, 61, 330) (22, 61, 61, 660) (25, 52, 63, 630) (33, 34, 65, 264) (20, 51, 65, 408) (12, 55, 65, 198) (33, 56, 65, 924) (14, 61, 65, 420) (36, 61, 65, 1080) (16, 63, 65, 504) (32, 65, 65, 1008) (35, 53, 66, 924) (65, 65, 66, 1848) (21, 61, 68, 630) (43, 61, 68, 1290) (7, 65, 68, 210) (29, 65, 68, 936) (57, 65, 68, 1710) (29, 52, 69, 690) (37, 37, 70, 420) (9, 65, 70, 252) (41, 50, 73, 984) (26, 51, 73, 420) (35, 52, 73, 840) (48, 55, 73, 1320) (19, 60, 73, 456) (50, 69, 73, 1656) (25, 51, 74, 300) (25, 63, 74, 756) (35, 44, 75, 462) (29, 52, 75, 546) (32, 53, 75, 720) (34, 61, 75, 1020) (56, 61, 75, 1680) (13, 68, 75, 390) (52, 73, 75, 1800) (40, 51, 77, 924) (25, 74, 77, 924) (68, 75, 77, 2310) (41, 41, 80, 360) (17, 65, 80, 288) (9, 73, 80, 216) (39, 55, 82, 924) (35, 65, 82, 1092) (33, 58, 85, 660) (29, 60, 85, 522) (39, 62, 85, 1116) (41, 66, 85, 1320) (36, 77, 85, 1386) (13, 84, 85, 546) (41, 84, 85, 1680) (26, 85, 85, 1092) (72, 85, 85, 2772) (34, 55, 87, 396) (52, 61, 87, 1560) (38, 65, 87, 1140) (44, 65, 87, 1386) (31, 68, 87, 930) (61, 74, 87, 2220) (65, 76, 87, 2394) (53, 75, 88, 1980) (65, 87, 88, 2640) (41, 50, 89, 420) (28, 65, 89, 546) (39, 80, 89, 1560) (21, 82, 89, 840) (57, 82, 89, 2280) (78, 89, 89, 3120) (53, 53, 90, 1260) (17, 89, 90, 756) (37, 72, 91, 1260) (60, 73, 91, 2184) (26, 75, 91, 840) (22, 85, 91, 924) (48, 85, 91, 2016) (29, 75, 92, 966) (39, 85, 92, 1656) (34, 65, 93, 744) (39, 58, 95, 456) (41, 60, 95, 798) (68, 87, 95, 2850) (73, 73, 96, 2640) (37, 91, 96, 1680) (51, 52, 97, 840) (65, 72, 97, 2340) (26, 73, 97, 420) (44, 75, 97, 1584) (35, 78, 97, 1260) (75, 86, 97, 3096) (11, 90, 97, 396) (78, 95, 97, 3420) 22.3 Heron triangles with sides in arithmetic progression 805 22.3 Heron triangles with sides in arithmetic progres- sion We write s a = u, s b = v, and s c = w. − − − a, b, c are in A.P. if and only if u, v, w are in A.P. Let u = v d and w = v + d. Then we require 3v2(v d)(v + d) to be a square.− This means v2 d2 =3t2 for some integer−t. − Proposition 22.4. Let d be a squarefree integer. If gcd(x, y, z)=1 and x2+dy2 = z2, then there are integers m and n satisfying gcd(dm, n)=1 such that (i) x = m2 dn2, y =2mn, z = m2 + dn2 − if m and dn are of different parity, or (ii) m2 dn2 m2 + n2 x = − , y = mn, z = , 2 2 if m and dn are both odd. For the equation v2 = d2 +3t2, we take v = m2 +3n2, d = m2 3n2, and obtain u =6n2, v = m2 +3n2, w =2m2, leading to − a = 3(m2 + n2), b = 2(m2 +3n2), c = m2 +9n2, for m, n of different parity and gcd(m, 3n)=1. m n a d a a + d area − 12 15 14 13 84 1 4 51 38 25 456 2 1 15 26 37 156 2 5 87 74 61 2220 3 2 39 62 85 1116 3 4 75 86 97 3096 4 1 51 98 145 1176 4 5 123 146 169 8760 5 2 87 158 229 4740 5 4 123 182 241 10920 If m and n are both odd, we obtain 806 The area of a triangle m n a d a a + d area − 113 4 5 6 1 5 39 28 17 210 3 1 15 28 41 126 3 5 51 52 53 1170 5 1 39 76 113 570 22.4 Indecomposable Heron triangles 807 22.4 Indecomposable Heron triangles A Heron triangle can be constructed by joining two integer right trian- gles along a common leg. Beginning with two primitive Pythagorean triangles, by suitably magnifying by integer factors, we make two inte- ger right triangles with a common leg. Joining them along the common leg, we obtain a Heron triangle. For example, (13, 14, 15;84) = (12, 5, 13; 30) (12, 9, 15; 54). ∪ 13 15 15 12 12 13 5 5 9 4 We may also excise (5, 12, 13) from (9, 12, 15), yielding (13, 4, 15;24) = (12, 9, 15; 54) (12, 5, 13; 30). \ Does every Heron triangle arise in this way? We say that a Heron tri- angle is decomposable if it can be obtained by joining two Pythagorean triangles along a common side, or by excising a Pythagorean triangle from a larger one.