Goat grazing problem

Last updated

The goat grazing problem is either of two related problems in recreational mathematics involving a tethered goat grazing a circular area: the interior grazing problem and the exterior grazing problem. The former involves grazing the interior of a circular area, and the latter, grazing an exterior of a circular area. For the exterior problem, the constraint that the rope can not enter the circular area dictates that the grazing area forms an involute. If the goat were instead tethered to a post on the edge of a circular path of pavement that did not obstruct the goat (rather than a fence or a silo), the interior and exterior problem would be complements of a simple circular area.

Contents

The original problem was the exterior grazing problem and appeared in the 1748 edition of the English annual journal The Ladies' Diary: or, the Woman's Almanack, designated as Question CCCIII attributed to Upnorensis (an unknown historical figure), stated thus:

Observing a horse tied to feed in a gentlemen's park, with one end of a rope to his fore foot, and the other end to one of the circular iron rails, enclosing a pond, the circumference of which rails being 160 yards, equal to the length of the rope, what quantity of ground at most, could the horse feed?

The related problem involving area in the interior of a circle without reference to barnyard animals first appeared in 1894 in the first edition of the renown journal American Mathematical Monthly . Attributed to Charles E. Myers, it was stated as:

A circle containing one acre is cut by another whose center is on the circumference of the given circle, and the area common to both is one-half acre. Find the radius of the cutting circle.

The solutions in both cases are non-trivial but yield to straightforward application of trigonometry, analytical geometry or integral calculus. Both problems are intrinsically transcendental – they do not have closed-form analytical solutions in the Euclidean plane. The numerical answers must be obtained by an iterative approximation procedure. The goat problems do not yield any new mathematical insights; rather they are primarily exercises in how to artfully deconstruct problems in order to facilitate solution.

Three-dimensional analogues and planar boundary/area problems on other shapes, including the obvious rectangular barn and/or field, have been proposed and solved. [1] A generalized solution for any smooth convex curve like an ellipse, and even unclosed curves, has been formulated. [2]

Exterior grazing problem

Goat tethered to silo at v, grazing an area under an involute Involute of circle of radius r.jpg
Goat tethered to silo at v, grazing an area under an involute

The question about the grazable area outside a circle is considered. This concerns a situation where the animal is tethered to a silo. The complication here is that the grazing area overlaps around the silo (i.e., in general, the tether is longer than one half the circumference of the silo): the goat can only eat the grass once, he can't eat it twice. The answer to the problem as proposed was given in the 1749 issue of the magazine by a Mr. Heath, and stated as 76,257.86 sq.yds. which was arrived at partly by "trial and a table of logarithms". The answer is not so accurate as the number of digits of precision would suggest. No analytical solution was provided.

A useful approximation

Let tether length R = 160 yds. and silo radius r = R/(2π) yds. The involute in the fourth quadrant is a nearly circular arc. One can imagine a circular segment with the same perimeter (arc length) would enclose nearly the same area; the radius and therefore the area of that segment could be readily computed. The arc length of an involute is given by so the arc length |FG| of the involute in the fourth quadrant is . Let c be the length of an arc segment of the involute between the y-axis and a vertical line tangent to the silo at θ = 3π/2; it is the arc subtended by Φ. (while the arc is minutely longer than r, the difference is negligible). So . The arc length of a circular arc is and θ here is π/2 radians of the fourth quadrant, so , r the radius of the circular arc is and the area of the circular segment bounded by it is . The area of the involute excludes half the area of the silo (1018.61) in the fourth quadrant, so its approximate area is 18146, and the grazable area including the half circle of radius R, () totals . That is 249 sq.yds. greater than the correct area of 76256, an error of just 0.33%. This method of approximating may not be quite so good for angles < 3π/2 of the involute.

If it matters, there is a constructive way to obtain a quick and very accurate estimate of : draw a diagonal from point on the circumference of the pond to its intersection on the y-axis. The length of the diagonal is 120yds. because it is of the tether. So the other leg of the triangle, the hypotenuse as drawn, is yds. So radians, rounded to three places.

Solution by integrating with polar coordinates

Find the area between a circle and its involute over an angle of 2π to −2π excluding any overlap. In Cartesian coordinates, the equation of the involute is transcendental; doing a line integral there is hardly feasible. A more felicitous approach is to use polar coordinates (z,θ). Because the "sweep" of the area under the involute is bounded by a tangent line (see diagram and derivation below) which is not the boundary () between overlapping areas, the decomposition of the problem results in four computable areas: a half circle whose radius is the tether length (A1); the area "swept" by the tether over an angle of 2π (A2); the portion of area A2 from θ = 0 to the tangent line segment (A3); and the wedge area qFtq (A4). So, the desired area A is A1 + (A2  A3 + A4) · 2. The area(s) required to be computed are between two quadratic curves, and will necessarily be an integral or difference of integrals.

The primary parameters of the problem are , the tether length defined to be 160yds, and , the radius of the silo. There is no necessary relationship between and , but here is the radius of the circle whose circumference is . If one defines the point of tethering (see diagram, above) as the origin with the circle representing the circumference of the pond below the x-axis, and on the y-axis below the circle representing the point of intersection of the tether when wound clockwise and counterclockwise, let be a point on the circle such that the tangent at intersects , and + Is the length of the tether. Let be the point of intersection of the circumference of the pond on the y-axis (opposite to ) below the origin. Then let acute be .

The area under the involute is a function of because it is an integral over a quadratic curve. The area has a fixed boundary defined by the parameter (i.e. the circumference of the silo). In this case the area is inversely proportional to , i.e. the larger , the smaller the area of the integral, and the circumference is a linear function of (). So we seek an expression for the area under the involute .

First, the area A1 is a half circle of radius so

Next, find the angle which will be used in the limits of the integrals below. Let . is complementary to the opposite angle of the triangle whose right angle is at point t; and also complementary to that angle in the third quadrant of the circle. is the unrolled arc , so its arclength is . So and , so . Finally, and the following equation is obtained: . That is a transcendental equation that can only be solved by trial-and-error, polynomial expansion, or an iterative procedure like Newton–Raphson. . [3]

Next compute the area between the circumference of the pond and involute. Compute the area in the tapering "tail" of the involute, i.e. the overlapped area (note, on account of the tangent tF, that this area includes the wedge section, area A4, which will have to be added back in during the final summation). Recall that the area of a circular sector is if the angle is in radians. Imagine an infinitely thin circular sector from to subtended by an infinitely small angle . Tangent to , there is a corresponding infinitely thin sector of the involute from to subtending the same infinitely small angle . The area of this sector is where is the radius at some angle , which is , the arc length of the circle so far "unwrapped" at angle . The area under the involute is the sum of all the infinitely many infinitely thin sectors through some angle . This sum is

The bounds of the integral represent the area under the involute in the fourth quadrant between and . The angle is measured on the circle, not on the involute, so it is less than by some angle designated . Is not given, and must be determined indirectly. Unfortunately, there is no way to simplify the latter term representing the lower bound of the eval expression because is not a rational fraction of , so it may as well be substituted and evaluated at once (factoring out preemptively): which for expository reasons can be rewritten . It seems apropo to merge a factor of into the constant term to get a common denominartor for the terms, so . is dominated by a linear term from the integration, so may be written, where is a non-zero positive but negligible quantity.

A4 is the area of the peculiar wedge . That area is the area of a right triangle with vertex t, minus the area of a sector bounded by . where x is |tF| and θ is the angle opposite to Φ in the right angle triangle. So, . If , then the area of the wedge is by reduction.

The final summation A1 + (A2  A3 + A4) · 2 is . All imprecision in the calculation is now uncertainty in and the residual . . That's useful for elucidating the relationships between the parameters. is transcendental, so the definition is a recurrence relation. The initial guess is a small fraction of . The numerical answer is rounded up to the nearest square yard. [4] It is worth noting that , which is the answer given for the case where the tether length is half the circumference (or any length such that ) of the silo, or no overlap to account for. The goat can eat all but 5% of the area of the great circle defined by its tether length, and half the area it cannot eat is within the perimeter of the pond/silo. The only imprecision in the calculation is that no closed-form representation for can be derived from the geometry presented. But small inaccuracies in when don't significantly affect the final result.

Solution by ratio of arc length

Just as the area below a line is proportional to the length of the line between boundaries, and the area of a circular sector is a ratio of the arc length () of the sector (), the area between an involute and its bounding circle is also proportional to the involute's arc length: for . So the total grazing area is . . ..

Interior grazing problem

Interior grazing problem with goat tethered at Q Goat problem 2D.svg
Interior grazing problem with goat tethered at Q

Let be the center of a unit circle. A goat/bull/horse is tethered at point on the circumference. How long does the rope need to be to allow the animal to graze on exactly one half of the circle's area (white area in diagram, in plane geometry, called a lens)?

Solution by calculating the lens area

The area reachable by the animal is in the form of an asymmetric lens, delimited by the two circular arcs.

The area of a lens with two circles of radii and distance between centers is

which simplifies in case of and one half of the circle area to

The equation can only be solved iteratively and results in (sequence A133731 in the OEIS ).

Solution using integration

By using and integrating over the right half of the lens area with

the transcendental equation

follows, with the same solution.

In fact, using the identities and , the transcendental equation derived from lens area can be obtained.

Solution by sector area plus segment area

The area can be written as the sum of sector area plus segment area. [5]

Assuming the leash is tied to the bottom of the pen, define as the angle the taut leash makes with upwards when the goat is at the circumference. Define as the angle from downwards to the same location, but from the center of the pen instead of from the center of the larger circle. The sum of angles of a triangle equals for the resulting isosceles triangle, giving . Setting the pen's radius to be 1 and trigonometry such as then give .

Requiring that half the grazable area be 1/4 of the pen's area gives . Using the circular sector and circular segment area formulae gives

,

which only assumes .

Combining into a single equation gives

.

Note that solving for then taking the cosine of both sides generates extra solutions even if including the obvious constraint .

Using trigonometric identities, we see that this is the same transcendental equation that lens area and integration provide.

Closed-form solution

By using complex analysis methods in 2020, Ingo Ullisch obtained a closed-form solution as the cosine of a ratio of two contour integrals: [6]

where C is the circle .

3-dimensional extension

3-dimensional case with unit sphere on top and goat sphere below Two intersecting spheres transparent.png
3-dimensional case with unit sphere on top and goat sphere below

The three-dimensional analogue to the two-dimensional goat problem is a bird tethered to the inside of a sphere, with the tether long enough to constrain the bird's flight to half the volume of the sphere. In the three-dimensional case, point lies on the surface of a unit sphere, and the problem is to find radius of the second sphere so that the volume of the intersection body equals exactly half the volume of the unit sphere.

The volume of the unit sphere reachable by the animal has the form of a three-dimensional lens with differently shaped sides and defined by the two spherical caps.

The volume of a lens with two spheres of radii and distance between the centers is

which simplifies in case of and one half of the sphere volume to

leading to a solution of

It can be demonstrated that, with increasing dimensionality, the reachable area approaches one half the sphere at the critical length . If , the area covered approaches almost none of the sphere; if , the area covered approaches the sphere's entire area. [7] [8]

See also

Related Research Articles

In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals, which were first studied by Giulio Fagnano and Leonhard Euler. Their name originates from their originally arising in connection with the problem of finding the arc length of an ellipse.

<span class="mw-page-title-main">Polar coordinate system</span> Coordinates comprising a distance and an angle

In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth. Angles in polar notation are generally expressed in either degrees or radians.

<span class="mw-page-title-main">Spherical coordinate system</span> Coordinates comprising a distance and two angles

In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a given point in space is specified by three numbers, : the radial distance of the radial liner connecting the point to the fixed point of origin ; the polar angle θ of the radial line r; and the azimuthal angle φ of the radial line r.

<i>n</i>-sphere Generalized sphere of dimension n (mathematics)

In mathematics, an n-sphere or hypersphere is an n-dimensional generalization of the 1-dimensional circle and 2-dimensional sphere to any non-negative integer n. The n-sphere is the setting for n-dimensional spherical geometry.

<span class="mw-page-title-main">Spiral</span> Curve that winds around a central point

In mathematics, a spiral is a curve which emanates from a point, moving farther away as it revolves around the point. It is a subtype of whorled patterns, a broad group that also includes concentric objects.

<span class="mw-page-title-main">Ellipsoid</span> Quadric surface that looks like a deformed sphere

An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

<span class="mw-page-title-main">Inverse trigonometric functions</span> Inverse functions of sin, cos, tan, etc.

In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. Specifically, they are the inverses of the sine, cosine, tangent, cotangent, secant, and cosecant functions, and are used to obtain an angle from any of the angle's trigonometric ratios. Inverse trigonometric functions are widely used in engineering, navigation, physics, and geometry.

<span class="mw-page-title-main">Circular segment</span> Area bounded by a circular arc and a straight line

In geometry, a circular segment or disk segment is a region of a disk which is "cut off" from the rest of the disk by a straight line. The complete line is known as a secant, and the section inside the disk as a chord.

<span class="mw-page-title-main">Theta function</span> Special functions of several complex variables

In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. As Grassmann algebras, they appear in quantum field theory.

<span class="mw-page-title-main">Cardioid</span> Type of plane curve

In geometry, a cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion. A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.

<span class="mw-page-title-main">Nephroid</span> Plane curve; an epicycloid with radii differing by 1/2

In geometry, a nephroid is a specific plane curve. It is a type of epicycloid in which the smaller circle's radius differs from the larger one by a factor of one-half.

This is a table of orthonormalized spherical harmonics that employ the Condon-Shortley phase up to degree . Some of these formulas are expressed in terms of the Cartesian expansion of the spherical harmonics into polynomials in x, y, z, and r. For purposes of this table, it is useful to express the usual spherical to Cartesian transformations that relate these Cartesian components to and as

<span class="mw-page-title-main">Viviani's curve</span> Figure-eight shaped curve on a sphere

In mathematics, Viviani's curve, also known as Viviani's window, is a figure eight shaped space curve named after the Italian mathematician Vincenzo Viviani. It is the intersection of a sphere with a cylinder that is tangent to the sphere and passes through two poles of the sphere. Before Viviani this curve was studied by Simon de La Loubère and Gilles de Roberval.

<span class="mw-page-title-main">Multiple integral</span> Generalization of definite integrals to functions of multiple variables

In mathematics (specifically multivariable calculus), a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z). Physical (natural philosophy) interpretation: S any surface, V any volume, etc.. Incl. variable to time, position, etc.

<span class="mw-page-title-main">Sine and cosine</span> Fundamental trigonometric functions

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle, and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted as and .

There are several equivalent ways for defining trigonometric functions, and the proofs of the trigonometric identities between them depend on the chosen definition. The oldest and most elementary definitions are based on the geometry of right triangles. The proofs given in this article use these definitions, and thus apply to non-negative angles not greater than a right angle. For greater and negative angles, see Trigonometric functions.

<span class="mw-page-title-main">Belt problem</span>

The belt problem is a mathematics problem which requires finding the length of a crossed belt that connects two circular pulleys with radius r1 and r2 whose centers are separated by a distance P. The solution of the belt problem requires trigonometry and the concepts of the bitangent line, the vertical angle, and congruent angles.

<span class="mw-page-title-main">Differentiation of trigonometric functions</span> Mathematical process of finding the derivative of a trigonometric function

The differentiation of trigonometric functions is the mathematical process of finding the derivative of a trigonometric function, or its rate of change with respect to a variable. For example, the derivative of the sine function is written sin′(a) = cos(a), meaning that the rate of change of sin(x) at a particular angle x = a is given by the cosine of that angle.

References

  1. Bassett, Gilbert (2021-09-27). "The Goat in the City". The Mathematical Intelligencer. 44: 1–6. doi:10.1007/s00283-021-10120-7. ISSN   0343-6993. S2CID   244171722.
  2. Michael E. Hoffman, "The bull and the silo: an application of curvature," American Mathematical Monthly 105 (1998), 55–58
  3. The reference value of Φ by iterative approximation is 0.21897952.
  4. An algorithmic simulation yields the answer 76255.66[+0.005,−0] sq.yds.(the limit of single-precision floating point on the machine), a possible error of less than 3/4 the area of a playing card or sports card over a field of nearly 17 acres.
  5. Grime, James (2022-12-24). The Goat Problem - Numberphile.
  6. Ullisch, Ingo (2020-02-18). "A Closed-Form Solution to the Geometric Goat Problem". The Mathematical Intelligencer. 42 (3): 12–16. doi:10.1007/s00283-020-09966-0. ISSN   0343-6993. S2CID   213946036. (Erratum:  doi:10.1007/s00283-023-10299-x)
  7. Fraser, Marshall (March 1984). "The Grazing Goat in n Dimensions". The Two-Year College Mathematics Journal. 15 (2): 126–134. doi:10.2307/2686517. JSTOR   2686517.
  8. Meyerson, Mark D. (November 1984). "Return of the Grazing Goat in n Dimensions". The Two-Year College Mathematics Journal. 15 (5): 430–432. doi:10.2307/2686558. JSTOR   2686558.