Maximum area of polygon


 Job Perkins
 1 years ago
 Views:
Transcription
1 Mimum re of polygon Suppose I give you n stiks. They might e of ifferent lengths, or the sme length, or some the sme s others, et. Now there re lots of polygons you n form with those stiks. Your jo is to fin the one with mimum (plnr) re. I ws given this prolem y frien t mthemtis meeting. [For mthemtiin new prolem is gift the most wonerful gift frien n estow.] Goo timing, euse t mth meetings there re lwys tlks tht lose me fter while, n it s goo to hve something to lik over in my min. tully this prolem ws entiing enough tht even the goo tlks h serious ompetition. The prolem seems t first to e hr. You re not given muh informtion n there re lots n lots of things you n o. tully there re two ifferent kins of eisions you hve to mke. The first is to put the stiks in the right orer (sequentilly) n the seon is to etermine the ngles etween them. It s hr to know how to egin. One ie is to strt with smll vlue of n, n the smllest nontrivil vlue is n=4. nother is to tke very lrge vlue of n n mke the eges quite short. Tht s wht I first thought of, euse it me it feel lot like the lssi fene prolem. You re given fie length of fening n you wnt to mke n enlosure of mimum re, n most people know tht the nswer is irle. So I figure tht if there were lot of short eges, the nswer might e tht the verties shoul lie in irle. n then I wonere if tht just might e the nswer for ll polygons. Well, mye tht ws it muh to epet. On the other hn, the prolem h een given to me y mthemtiin n mthemtiins like to known y the qulity of the prolems they tlk out, n so this ws likely pretty nie prolem, n irles re pretty nie too. So I kept tht irle ie in the k of my min. I egn y thinking out the orer of the eges. euse tht seeme to mke things quite omplite, n I ws hoping something simple woul pper. oul I imgine sitution in whih I oul inrese the re y rerrnging the orer of the sies? s prtiulr speil se oul I inrese the re y permuting two jent sies? [Suh permuttion is lle trnsposition.] Well the nswer to tht is lerly no. If I tke ny polygon, n reverse the orer of two jent sies, leving the other sies fie in ple, the re remins the sme. Tht insight is rel rekthrough. For emple, if I hve 5sie polygon with sies in orer efg, n I know the mimum re of tht, I on t hve to worry out efg it must hve the sme mimum re. f e g polygon re 1
2 Wht out other permuttions? Wht out gef? Well it s not hr to rgue tht ny permuttion n e otine y sequene of trnspositions of jent terms. For emple, strting with efg, use sequene of jent trnspositions to put first, then sequene to put net, then sequene to put g net, et. It follows from this tht the re nnot e inrese y ny permuttion of the eges. Tht s ig step. It mens we on t hve to worry out the orer of the eges. We n tke ny prtiulr orering of the eges n work with tht. So we re left with the question of wht the ngles shoul e. The se n=4 Perhps this is the moment to fous on the se n=4. Tke 4sie polygon. Wht re the possile shpes we n hve for fie sie lengths,, n? Well we hve one egree of freeom. For emple, if we let e the length of the igonl etween the  sies n the  sies, then the re = () of the qurilterl is etermine y. So the prolem eomes: given,, n, hoose to mimize (). How might we o tht? Well is the sum of the res of the two tringles n we know the sie lengths of eh tringle. Is there formul for the re of tringle in terms of the lengths of the three sies? Yes there is. It s lle Heron s formul. For the upper tringle with sies, n, we let the semiperimeter e s: n then the re is: s = re = s( s )( s )( s ) Do the sme for the lower tringle if the semiperimeter is t: t = then the re of the entire qurilterl is: () = s( s )( s )( s ) t( t )( t )( t ) n we wnt to hoose to mke this mimum. The wy to o this is to set the erivtive of this to e zero. ut ll this is not wht I i. There re ouple of resons for tht. One is tht I i not relly wnt to ifferentite tht firly omple epression with respet to. [Note tht s n t lso epen on, so we hve it of hinrule to nvigte.] n even if I i, oul I solve the result for? n even if I oul o tht, where woul I then e? polygon re
3 ut there s muh more signifint reson I i not wnt to go the Heron s formul route. I still h the fene prolem in min n I ws hoping tht the mimum re woul e foun when the verties of the qurilterl ly in irle. Now qurilterl with tht property is lle yli, n stnr theorem sys tht qurilterl is yli when opposite ngles to 180. In the igrm t the right, tht mens tht φ = 180. So tht ws the onition I ws gunning for, n therefore I wnte ngles to pper in my nlysis. n Heron s formul oesn t use ngles. stnr geometry result is tht qurilterl is yli if opposite ngles to 180. Oky. So wht I wnt is formul for the re of tringle tht involves one of the ngles. Sine n re the given sie lengths, we ll look for formul tht involves n n the ontine ngle. [It s ler enough tht the tringle n therefore its re re etermine y these three quntities.] Tht s not so hr to o. Tking to e the se, the ltitue h of the tringle will stisfy: n sine sin(180 ) = sin: h/ = sin(180 ). h = sin. 180 h Finlly, the re is onehlf se times height: re = sin. s n immeite hek on this formul, if =0 we shoul get zero re (n we o) n if =90, will e n ltitue n the re shoul e / (n it is). Now the prolem eomes: hoose n φ to mimize the totl re: (, φ) = 1 = sin sin φ The troule with this formultion is tht it looks s if n φ re two inepenent vriles, ut they re not. If we hoose one of them, the other is etermine, so there s relly only one vrile here. We oul try to fin the reltionship etween them (hene epress one of them in terms of the other) ut in ft it s geometrilly (n intuitively) nier to work (s efore) with the single vrile. Tht is (for fie,, n ), we will regr n φ s funtions of : 1 = () φ = φ() These in turn etermine the res of the two tringles n if we those together we get. 1 { φ polygon re 3
4 Fining to mimize The formul is: () = sin ( ) sin φ( ). s efore, to fin the vlue of whih mimizes, we set the erivtive / equl to zero. Using the hin rule: os = osφ φ Now we nee / n φ/. Let s o the first. We n write s funtion of using the osine lw: = os. Now ifferentite with respet to (treting s funtion of ): = sin (/) Solve for /: Similrly: = sin φ =. sin φ If we put these into the eqution for /, we get: os = sin osφ sin φ tn tn φ tn = tnφ. Now when to two ngles (in qurnts 1 n ) hve tngents whih re negtives of one nother? when they to 180. Thus: φ = 180. Tht s the result we were fter. It tells us tht the qurilterl is yli. Now it s time to move on to more sies. One ie is to use n inutive pproh. If we ut the polygon with hor, we hve two polygons eh with fewer sies thn the originl. If we know the result for these (tht the verties hve to lie on irle) mye we n put these together to get the result for the originl. It s goo ie n it works. There re lots of wys to o it, though, n it turns out to e it of hllenge (t lest it ws for me) to fin one tht feels right. tully the niest one I know of is not tritionl inution t ll, ut goes iretly from n=4 to the generl result. Tke some time to ply with this it. polygon re 4
5 It might e esier to tke one step t time. Try to prove the n=5 result. We ve one four sies. n you eten tht result to o five? The se n=5. Suppose we hve pentgon DE n the verties hve een positione to give miml re. I show tht the verties must lie on irle. Now the three verties etermine unique irle, so it s question of showing the other two must lie on this irle. E Tke D. Drw the hor D. Now onsier the polygon D with fie sie lengths. I lim tht it must e of mimum re. Inee, if this were not so, I oul inrese the re y justing the position of n leving n D in position (sine the istne D won t hnge) n this woul inrese the re of the originl polygon DE. Thus, if D is of miml re, our n=4 result tells us tht D is yli n therefore D lies on the irle etermine y. D E similr rgument works for E, using the hor E. D The generl se. s I si there re mny wys to generlize the ove rgument to ny vlue of n. Here is the most elegnt I hve enountere. Suppose we hve n ngon with fie sie lengths whose verties hve een positione to give miml re. Tke three jent verties. These etermine unique irle (it s esy to rgue tht they nnot lie in stright line), n I show tht ll other verties must lie on this irle. Tke ny other verte X n onsier the polygon X with fie sie lengths. I lim tht it must e of mimum re. Inee, if this were not so, I oul inrese the re y justing the position of the verties. Sine X n X won t hnge in length in this justment, the other verties n e tthe to X n X giving us new ngon with the originl sie lengths ut of greter re. Tht s ontrition, so X must e of miml re. y the n=4 result, X is yli n X must lie on the irle etermine y. n we re finishe. some verties X some verties polygon re 5
MATH 150 HOMEWORK 4 SOLUTIONS
MATH 150 HOMEWORK 4 SOLUTIONS Section 1.8 Show tht the product of two of the numbers 65 1000 8 2001 + 3 177, 79 1212 9 2399 + 2 2001, nd 24 4493 5 8192 + 7 1777 is nonnegtive. Is your proof constructive
More informationLIFE AS POLYCONTEXTURALITY *)
Ferury 2004 LIFE AS POLYCONTEXTURALITY *) y Gotthrd Günther Kein Leendiges ist ein Eins, Immer ist's ein Vieles. (Goethe) Prt I : The Concept of Contexture A gret epoch of scientific trdition is out to
More informationFirst variation. (onevariable problem) January 21, 2015
First vrition (onevrible problem) Jnury 21, 2015 Contents 1 Sttionrity of n integrl functionl 2 1.1 Euler eqution (Optimlity conditions)............... 2 1.2 First integrls: Three specil cses.................
More informationOpenness and honesty when things go wrong: the professional duty of candour
Openness nd honesty when things go wrong: the professionl duty of ndour The professionl duty of ndour 1 Every helthre professionl must e open nd honest with ptients when something tht goes wrong with their
More informationCalculus Cheat Sheet. except we make f ( x ) arbitrarily large and. Relationship between the limit and onesided limits
Clulus Chet Sheet Limits Deiitios Preise Deiitio : We sy lim ( ) L i or every e > 0 there is > 0 suh tht wheever 0 L < e. < < the Workig Deiitio : We sy lim L i we mke ( ) s lose to L s we wt y tkig suiietly
More informationOn the Robustness of Most Probable Explanations
On the Robustness of Most Probble Explntions Hei Chn School of Electricl Engineering nd Computer Science Oregon Stte University Corvllis, OR 97330 chnhe@eecs.oregonstte.edu Adnn Drwiche Computer Science
More informationThere are two different ways you can interpret the information given in a demand curve.
Econ 500 Microeconomic Review Deman What these notes hope to o is to o a quick review of supply, eman, an equilibrium, with an emphasis on a more quantifiable approach. Deman Curve (Big icture) The whole
More informationWhen Simulation Meets Antichains (on Checking Language Inclusion of NFAs)
When Simultion Meets Antichins (on Checking Lnguge Inclusion of NFAs) Prosh Aziz Abdull 1, YuFng Chen 1, Lukáš Holík 2, Richrd Myr 3, nd Tomáš Vojnr 2 1 Uppsl University 2 Brno University of Technology
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationFigure out the early start and early finish. Early start. Early finish
Figure out the early start and early finish oming up with the float for each activity is useful, but you can actually do better! When you have a long critical path, but the other paths in your network
More informationSome Techniques for Proving Correctness of Programs which Alter Data Structures
Some Techniques for Proving Correctness of Progrms which Alter Dt Structures R. M. Burstll Deprtment of Mchine Intelligence University of Edinburgh 1. INTRODUCTION Consider the following sequence of instructions
More informationDoes the chimpanzee have a theory of mind? 30 years later
Review Does the chimpnzee hve theory of mind? 30 yers lter Josep Cll nd Michel Tomsello Mx Plnck Institute for Evolutionry Anthropology, Deutscher Pltz 6, D04103 Leipzig, Germny On the 30th nniversry
More informationProtect Your Family. and Friends from. The TB Contact Investigation TUBERCULOSIS
Protect Your Family TB and Friends from TUBERCULOSIS The TB Contact Investigation What s Inside: Read this brochure today to learn how to protect your family and friends from TB. Then share it with people
More informationMagnetism from Conductors, and Enhanced NonLinear Phenomena
Mnetism from Conductors, nd Enhnced NonLiner Phenomen JB Pendry, AJ Holden, DJ Roins, nd WJ Stewrt Astrct  We show tht microstructures uilt from nonmnetic conductin sheets exhiit n effective mnetic
More informationWhich Networks Are Least Susceptible to Cascading Failures?
Which Networks Are Least Susceptible to Cascaing Failures? Larry Blume Davi Easley Jon Kleinberg Robert Kleinberg Éva Taros July 011 Abstract. The resilience of networks to various types of failures is
More information7. Starting Fresh with No Clients to Convert
Managed Services in a Month 2 nd Ed. 69 7. Starting Fresh with No Clients to Convert Many people have asked me whether this book will help new IT consultants to get going as managed service providers.
More informationARB THERE TImRB COUNTEREXAMPLES TO THE TIm CU)SURE CLOSURE PRINCIPLE?
JONATHAN VOGEL ARB THERE TmRB COUNTEREXAMPLES TO THE Tm CU)SURE CLOSURE PRNCPLE? PRNCPLB7 Very ten, person cn't know proposition propositon without wilhout knowing vrious logicl consequences tht ht proposition.
More informationThe Tradeoff Between Inequality and Growth
ANNALS OF ECONOMICS AND FINANCE 4, 329 345 2003 The Trdeoff Between Inequlity nd Growth Jess Benhbib Deprtment of Economics, New York University 269 Mercer Street, 7th floor, New York, NY 10003, USA. Emil:
More informationSkepticism about the external world & the problem of other minds
Skepticism about the external world & the problem of other minds So far in this course we have, broadly speaking, discussed two different sorts of issues: issues connected with the nature of persons (a
More informationIf A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?
Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this question
More informationTHE INSCRIPTIONS FROM TEMPLE XIX AT PALENQUE
DAVID STUART THE INSCRIPTIONS FROM TEMPLE XIX AT PALENQUE The Inscriptions fromtemple XIX t Plenque A Commentry The Inscriptions from TempleXIX t Plenque A Commentry By Dvid Sturt Photogrphs y Jorge Pérez
More informationCritical analysis. Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean.
Critical analysis Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean. I thought I had written a really good assignment this time. I did
More informationNAEYC Early Childhood Program Standards and Accreditation Criteria & Guidance for Assessment
NAEYC Erly Childhood Progrm Stndrds nd Accredittion Criteri & Guidnce for Assessment This document incorportes the lnguge of ll NAEYC Erly Childhood Progrm Stndrds nd Accredittion Criteri, including 39
More informationYou know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationHow to Study Mathematics Written by Paul Dawkins
How to Study Mathematics Written by Paul Dawkins Before I get into the tips for how to study math let me first say that everyone studies differently and there is no one right way to study for a math class.
More informationSeeking Supported Employment: What You Need to Know
SelfDetermination Series Seeking Supported Employment: What You Need to Know Determine Your Destiny Seeking Supported Employment: What You Need to Know Prepared by: Judith A. Cook, Ph.D. Carol A. Petersen,
More informationVoIP for the Small Business
VoIP for the Smll Business Reducing your telecommunictions costs Reserch firm IDC 1 hs estimted tht VoIP system cn reduce telephonyrelted expenses by 30%. Voice over Internet Protocol (VoIP) hs become
More informationTwo Concepts of Causation Ned Hall
Two Conpts of Custion N Hll 1 Introution Custion, unrstoo s rltion btwn vnts, oms in t lst two bsi n funmntlly iffrnt vritis. On of ths, whih I ll pnn, is simply tht: ountrftul pnn btwn wholly istint vnts.
More informationIntroduction to Differential Calculus. Christopher Thomas
Mathematics Learning Centre Introduction to Differential Calculus Christopher Thomas c 1997 University of Sydney Acknowledgements Some parts of this booklet appeared in a similar form in the booklet Review
More information