PROP. VIII. THEOR. In a right angled triangle, the radius is to the tangent of an oblique angle, as the adjacent side to the opposite side. Let the triangle ABC be right angled at B; then R: tanBAC ::AB:BC. For, assuming AR equal to the given radius, describe the arc RD, and draw the per Cor. Hence the radius is to the secant of an angle, as the adjacent side to the hypotenuse. For AT is the secant of the arc RD, or of the angle at A; and, from similar triangles, AR: AT :: AB: AC. PROP. IX. THEOR. The sides of any triangle are as the sines of their opposite angles. In the triangle ABC, the side AB is to BC, as the sine of the angle at C to the sine of that at A. For let a circle be described about the triangle; and the sides AB and BC, being chords of the intercepted arcs or of the B angles at the centre, are (cor. def.) equal to twice the sines of the halves of those angles, or the angles ACB and CAB at the A C circumference. But, of the same angles, the chords or sines (VI. 11. cor. El.) are proportional to the radius; and consequently AB: BC :: sinC: sinĄ. Cor. Since the straight lines AB and BC are chords, not only of the arcs AB and BC, but of the arcs ACB and BAC, or the defects of the former from the circumference, it follows that the sides of the triangle are proportional also to the sines of half these compound arcs, or to the sines of the supplements of their opposite angles. - A like inference results from the definition, for the sine of an arc and that of its supplement are the same. PROP. X. THEOR. In any triangle, the sum of two sides, is to the difference, as the tangent of half the sum of the angles at the base, to the tangent of half their dif ference. From the vertex A, and with a distance equal to the greater side AB, describe the semicircle FBD, meeting the other side AC extended both ways to F and D, join BD and BF, which produce to meet a straight line DE drawn El.) equal to half the sum of the angles ACB and ABC; and therefore the defect of ABC from that mean, that is the angle CBD, or its alternate angle BDE, must be equal to half the difference of those angles. Now FBD being (III. 19. El.) a right angle, BF and BE are tangents of the angles BDF and BDE, to the radius DB, and hence are proportional to the tangents of those angles with any other.radius. But since CB and DE are parallel, CF, or AB+AC: CD, or AB-AC:: BF: BE; consequently ACB+ABC ACB-ABC 2 : tan 2 AB+AC: AB-AC:: tan Cor. Suppose another triangle abc to have the sides ab and ac equal to AB and AC, but containing a right angle: It is obvious that tan c+b c-b ACB-ABC 2 that is, R: tan(45-b) :: cot A: cot(B+A), or-cot(C+A). Now, in the right angled triangle abc, ab or AB, is to ac, or AC, as the radius, to the tangent of the angle at b. In any triangle, as twice the rectangle under two sides, is to the difference between their squares and the square of the base, so is the radius to the cosine of the contained angle. In the triangle ABC, 2AB.AC: AB2+AC-BC2 : : R: cosBAC; the angle BAC being acute or obtuse, according as BC is less or greater than AB2+AC2. For let fall the perpendicular BD. In the right angled triangle ADB, AB: -AD :: R: sinABD or cosBAC; consequently 2AB.AC: 2AD.AC :: R:cosBAC. But (II. 23. El.) twice the rectangle under AD and AC is equal to the difference of the squares AB B AD C B D A and AC from the square of BC. Whence 2AB.AC: AB+ AC-BC2 :: R: cosBAС. C Cor. The radius being denoted by unit, it follows (V. 6. El.) that AB2+AC2-BC2=2AB.AC cosBAC, and consequently BC=AB2 +AC-2AB.AC COSBAC, or BC= √(AB2+AC-2AB.AC COSBAC). 1 PROP. XII. THEOR. In any triangle, the rectangle under the semiperimeter and its excess above the base, is to the rectangle under its excesses above the two sides, as the square of the radius, to the square of the tangent of half the contained angle. In the triangle ABC, the perimeter being denoted by P, PP-AC: (PAB) (P-BC) : ; R2 : tanB2. For, employing the construction of Prop. 29., Book VI. of the Elements; since the triangles BIE and BGD are right angled, BI: IE :: R: tanIBE, or tan B, and BG:GD: : R: tanGBD, or tanB; whence (V. 22. El.) BI,BG : IE.GD : : R2 : tạn B2. But it was proved that IE.GD=AI.AG; wherefore BI.BG : ALAG :: B |