MATHEMATICAL INDUCTION
|
|
- Tobias Burke
- 7 years ago
- Views:
Transcription
1 MATHEMATICAL INDUCTION. Itroductio Mthemtics distiguishes itself from the other scieces i tht it is built upo set of xioms d defiitios, o which ll subsequet theorems rely. All theorems c be derived, or proved, usig the xioms d defiitios, or usig previously estblished theorems. By cotrst, the theories i most other scieces, such s the Newtoi lws of motio i physics, re ofte built upo experimetl evidece d c ever be proved to be true. It is therefore isufficiet to rgue tht mthemticl sttemet is true simply by experimets d observtios. For istce, Fermt (60 665) cojectured tht whe is iteger greter th, the equtio x + y = z dmits o solutios i positive itegers. My ttempts by mthemticis i fidig couter-exmple (i.e. set of positive iteger solutio) eded up i filure. Despite tht, we cot coclude tht Fermt s cojecture ws true without rigorous proof. I fct, it too mthemticis more th three ceturies to fid the proof, which ws filly completed by the Eglish mthemtici Adrew Wiles i 994. To coclude or eve to cojecture tht sttemet is true merely by experimetl evidece c be dgerous. For istce, oe might cojecture tht + 4 is prime for ll turl umbers. Oe c esily verify this: whe =, + 4 = 4 is prime; whe =, + 4 = 43 is prime, d so o. Eve if oe cotiues the experimet util = 0, or eve = 0, oe would ot be ble to fid couter-exmple. However, it is esy to see tht the sttemet is wrog, for whe = 4 the expressio is equl to 4 which defiitely is ot prime. While experimetl evidece is isufficiet to gurtee the truthfuless of sttemet, it is ofte ot possible to verify the sttemet for ll possible cses either. For istce, oe might cojecture tht ( ) = for ll turl umbers. Of course oe esily verifies tht the sttemet is true for the first few (eve the first few hudreds or eve thousds of cses if oe bothers to do so) vlues of. Yet we cot coclude tht the sttemet is true. Mybe it will fil t some uttempted vlues, who ows? It is ot possible to verify the sttemet for ll possible vlues of sice there re ifiitely my of them. So how c we verify the sttemet? A powerful tool is mthemticl iductio. Pge of
2 . The Bsic Priciple Mthemticl Dtbse A logy of the priciple of mthemticl iductio is the gme of domioes. Suppose the domioes re lied up properly, so tht whe oe flls, the successive oe will lso fll. Now by pushig the first domio, the secod will fll; whe the secod flls, the third will fll; d so o. We c see tht ll domioes will ultimtely fll. So the bsic priciple of mthemticl iductio is s follows. To prove tht sttemet holds for ll positive itegers, we first verify tht it holds for =, d the we prove tht if it holds for certi turl umber, it lso holds for +. This is give i the followig. Theorem.. (Priciple of Mthemticl Iductio) Let S ( ) deote sttemet ivolvig vrible. Suppose () S () is true; () if S ( ) is true for some positive iteger, the S+ ( ) is lso true. The S ( ) is true for ll positive itegers. Exmple.. Prove tht ( ) = for ll turl umbers. We shll prove the sttemet usig mthemticl iductio. Clerly, the sttemet holds whe = sice =. Suppose the sttemet holds for some positive iteger. Tht is, ( ) =. Cosider the cse = +. By the bove ssumptio (which we shll cll the iductio hypothesis), we hve ( + ) = ( ) + (+ ) [ ] [ ] = + (+ ) = ( + ) Tht is, the sttemet holds for = + provided tht it holds for =. By the priciple of mthemticl iductio, we coclude tht ( ) = for ll turl umbers. Pge of
3 The priciple of mthemticl iductio c be used to prove wide rge of sttemets ivolvig vribles tht te discrete vlues. Some typicl exmples re show below. Exmple.. Prove tht 3 is divisible by for ll positive itegers. Clerly, 3 = is divisible by. Suppose 3 for some positive iteger. The (3 ) + = = + which is lso divisible by. It follows tht 3 is divisible by for ll positive itegers. Exmple.3. Let x > be rel umber. Prove tht ( + x) + x for ll turl umbers. Clerly, the iequlity holds for = sice ( x) ( x) Suppose ( + x) + x for some positive iteger. For the cse = +, we hve + = + + ( + x)( + x) = + ( + ) x+ x + ( + ) x + ( x) ( x) ( x) + = +. Hece, if the iequlity holds for the cse =, it lso holds for the cse = +. It follows tht ( + x) + x for ll turl umbers. (Questio: Where i the proof did we me use of the fct tht x >?) While we hve illustrted how mthemticl iductio c be used to prove certi sttemets, it should be remred tht my of these sttemets c ctully be proved without usig mthemticl iductio. There re lwys igeious wys to prove those sttemets. The use of mthemticl iductio, however, provides esy d mechicl (though sometimes tedious) wy of provig wide rge of sttemets. Pge 3 of
4 3. Vritios of the Bsic Priciple Mthemticl Dtbse There re my vritios to the priciple of mthemticl iductio. The ultimte priciple is the sme, s we hve illustrted with the exmple of domioes, but these vritios llow us to prove much wider rge of sttemets. Theorem 3.. (Priciple of Mthemticl Iductio, Vritio ) Let S ( ) deote sttemet ivolvig vrible. Suppose () S ( 0) is true for some positive iteger 0 ; () if S ( ) is true for some positive iteger 0, the S+ ( ) is lso true. The S ( ) is true for ll positive itegers 0. I some cses sttemet ivolvig vrible holds whe is lrge eough, but does ot hold whe, sy, =. I this cse Theorem. does ot pply, but the bove vritio llows us to prove the sttemet. Exmple 3.. Prove tht First, we chec tht > for ll turl umbers 5. 5 = 3> 5= 5, so the iequlity holds for = 5. Suppose > for some iteger 5. The + = > > ( + ) The lst iequlity holds sice ( ) ( ) 0 + = > wheever 5. Hece, if the iequlity holds for =, it lso holds for = +. By Theorem 3., > for ll turl umbers 5. Sometimes sequece my be defied recursively, d term my deped o some previous terms. I prticulr, it my deped o more th oe previous terms. I this cse Theorem. does ot pply becuse ssumig S ( ) holds for sigle is ot sufficiet. We eed the followig. Pge 4 of
5 Theorem 3.. (Priciple of Mthemticl Iductio, Vritio ) Let S ( ) deote sttemet ivolvig vrible. Suppose () S () d S () re true; () if S ( ) d S+ ( ) re true for some positive iteger, the S+ ( ) is lso true. The S ( ) is true for ll positive itegers. Of course there is o eed to restrict ourselves oly to two levels. Moreover, i the spirit of Theorem 3., there is o eed to strt from =. We leve the formultio s exercise. Exmple 3.. Let { } be sequece of turl umbers such tht = 5, 3 = d + = 5+ 6 for ll turl umbers. Prove tht = + 3 for ll turl umbers. We first chec tht Suppose = + 3 d The = = 5= + 3 d + = 3 = = + for some turl umber ( ) ( ) = = = + 3 Hece, if the formul holds for = d = +, it lso holds for = +. By Theorem 3., = + 3 for ll turl umbers. Sometimes to prove sttemet we eed to cosider the odd cses d eve cses seprtely. To combie them icely ito oe sigle cse, we eed the followig. Theorem 3.3. (Priciple of Mthemticl Iductio, Vritio 3) Let S ( ) deote sttemet ivolvig vrible. Suppose () S () d S () re true; () if S ( ) is true for some positive iteger, the S+ ( ) is lso true. The S ( ) is true for ll positive itegers. Pge 5 of
6 Although Theorem 3. d Theorem 3.3 loo similr, their ture is quite differet. Mthemticl Dtbse Agi there is o eed to restrict ourselves to cosiderig oly two iitil cses, but we do ot bother to go ito the detils. Exmple 3.3. Prove tht for ll turl umbers, there exist distict itegers x, y, z for which x + y + z = 4. For = d =, such itegers exist s = 4 d = 4. Suppose for = (where is some positive iteger), such itegers exist, i.e. for some distict itegers x 0, y 0 d z 0. x + y + z = The for = +, such itegers lso exist becuse (4 x ) + (4 y ) + (4 z ) = By Theorem 3.3, the result follows. I Theorem 3., we remred tht sometimes ssumptio of S ( ) for sigle my ot be sufficiet, so we my eed to ssume the sttemet holds for two vlues (d ccordigly we eed to verify two iitil cses). We lso remred tht there is o eed to restrict ourselves to oly two vlues; we could geerlize to y fiite umber of cses. The followig vritio gives further geerliztio of this, ssumig ll cses from to. Theorem 3.4. (Priciple of Mthemticl Iductio, Vritio 4) Let S ( ) deote sttemet ivolvig vrible. Suppose () S () is true; () if for some positive iteger, S (), S (),, S ( ) re ll true, the S+ ( ) is lso true. The S ( ) is true for ll positive itegers. Exmple 3.4. (APMO 999) Let,, be sequece of rel umbers stisfyig i+ j i + j for ll i, j =,, Prove tht Pge 6 of
7 for ech positive iteger. Clerly, the iequlity holds for =. Suppose the iequlity holds for =,,, for some positive iteger. The, by ddig the iequlities we get + ( ) , i.e. ( + ) ( ) = ( + ) + ( + ) + + ( + ) +. + It follows tht ( + ) ( + ) Hece , i.e. the iequlity lso holds for = +. + By Theorem 3.4, the result follows. Filly, we itroduce specil vritio, commoly ow s bcwrd iductio. Theorem 3.5. (Bcwrd Iductio) Let S ( ) deote sttemet ivolvig vrible. Suppose () S ( ) is true for ifiitely my turl umbers ; () if S ( ) is true for some positive iteger >, the S ( ) is lso true. The S ( ) is true for ll positive itegers. The most typicl exmple where bcwrd iductio is used is perhps i the proof of the AM-GM iequlity, s show i the exmple below. Pge 7 of
8 Exmple 3.5. (AM-GM iequlity) Prove tht for positive itegers,,,, I other words, the rithmetic me (AM) is lwys greter th or equl to the geometric me (GM). From ( ) +, we obti 0, i.e. the iequlity holds for =. Suppose the iequlity holds whe = for some positive iteger. Cosider the cse =. Usig the cse = d the iductio hypothesis, we hve = = 3 4 i.e. the iequlity lso holds for =. By Theorem., the iequlity holds for ll positive powers of. I other words, coditio () i Theorem 3.5 is stisfied. Agi, we suppose the iequlity holds whe Applyig the substitutio = exercise), we get i.e. the iequlity lso holds whe =. By Theorem 3.5, the iequlity is proved. = for some positive iteger, i.e. d simplifyig (the detils of which re left s Pge 8 of
9 4. Miscelleous Exmples Mthemticl Dtbse Most of the exmples we hve see del with lgebric (i)equlities d problems i umber theory. Oe should ot be misled to thi tht these re the oly res i which the method of mthemticl iductio pplies. I fct, the method is so powerful tht it is useful i lmost every brch of mthemtics. I this sectio we shll see some miscelleous exmples. Exmple 4.. Prove tht ( + ) θ θ θ siθ + si θ + + si θ = si si csc for ll positive itegers. Whe =, the right hd side is θ θ siθsi csc = siθ. So the formul holds for =. Suppose the formul holds for =, i.e. ( + ) θ θ θ siθ + si θ + + si θ = si si csc. Cosider the cse = +. By the iductio hypothesis, siθ + si θ + + si θ + si( + ) θ ( + ) θ θ θ = si si csc + si( + ) θ ( + ) θ θ θ ( + ) θ ( + ) θ = si si csc + si cos ( + ) θ θ θ θ ( + ) θ = si csc si si cos + ( + ) θ θ θ θ ( + ) θ θ ( + ) θ = si csc si + si + + si ( + ) θ θ θ ( + ) θ θ = si csc si si si + [( + ) + ] θ ( + ) θ θ = si si csc By the priciple of mthemticl iductio, the formul holds for ll positive itegers. Pge 9 of
10 Exmple 4.. Prove tht ( 3 5) ( 3 5) + + is eve iteger for ll turl umbers. Write f( ) = α + β where α = 3+ 5 d β = 3 5. It is strightforwrd to chec tht f () = 6 d f () = 8 re eve itegers. Suppose f( ) d f( + ) re both eve itegers for some positive iteger. Cosider the cse = +. Note tht α d β re roots of the equtio x 6x+ 4= 0. So α = 6α 4 d β = 6β 4, d thus + + f( + ) = α + β = α (6α 4) + β (6β 4) = α + β α + β = 6 f( + ) 4 f( ) + + 6( ) 4( ) It follows tht f( + ) must lso be eve iteger. By mthemticl iductio, we coclude tht f( ) is eve iteger for ll turl umbers. Exmple 4.3. Let > be iteger. I footbll legue there re tems. Every two tems hve plyed gist ech other exctly oce, d i ech mtch o drw is llowed. Prove tht it is possible to umber the tems,,, i wy such tht tem i bets tem i + for i =,,,. Whe there re oly two tems we simply umber the wiig tem s d the other s. Suppose such umberig is possible i the cse of tems. Cosider the cse with + tems. Te y tems, d umber them to ccordig to the requiremet. This is possible by the iductio hypothesis. Now we try to umber the ( + ) st tem. If it hs ot wo y mtch, the simply umber it s +. This is possible sice it ws bete by the tem umbered. Suppose it hs wo t lest oe mtch, d tem j is the tem with the smllest umber mogst ll the tems tht it hs bete. The we ssig the umber j to this tem, d reumber the origil Pge 0 of
11 tems j to by icresig the umber by. It is esy to see tht this umberig stisfies the requiremet. So if the cse with tems wors, the cse with + tems lso wors. By the priciple of mthemticl iductio, the origil sttemet is proved. Exmple 4.4. Prove tht, give two or more squres, oe c lwys cut them (usig oly compsses, stright edge d scissors) d reform them ito lrge squre. I the cse of two squres, we resort to the followig digrm: We leve it to the reder to wor out how the dotted lies re to be drw d to verify tht such costructios re ideed possible usig compsses d stright edge. Suppose the sttemet is true i the cse of squres. The, i the cse of + squres, we c cut of the squres to form lrge squre, ccordig to the iductio hypothesis. This leves oly two squres, but we hve show tht two squres c be cut to form oe lrge squre. By the priciple of mthemticl iductio, the sttemet is proved. Exmple 4.5. I prty there re prticipts, where is turl umber. Some prticipts she hds with other prticipts. It is ow tht there do ot exist three prticipts who hve she hds with ech other. Prove tht the totl umber of hdshes is ot more th. Whe =, the umber of hdshes is t most =. Suppose tht with people, the totl umber of hdshes is t most uder the give coditio. Cosider the cse = +, i.e. + people. Pic two people who hve she hds with ech other (if o such people exist, the the totl umber of hdshe would be zero), sy A d B. Pge of
12 Uder the iductio hypothesis, there re t most hdshes mog the other people. Now by the give coditio, oe of these people hve she hds with both A d B. So these people hve t most hdshes with A d B. Tig the hdshe betwee A d B ito ccout, the totl umber of hdshes is t most + + = ( + ). By the priciple of mthemticl iductio, the result follows. Exmple 4.6. There re ideticl crs o circulr trc. Amog ll of them, they hve just eough gs for oe cr to complete lp. Show tht there is cr which c complete lp by collectig gs from the other crs o its wy roud the trc i the clocwise directio. The cse = is trivil. Suppose the sttemet holds whe Cosider the cse = +. =. First, observe tht there is cr A which c rech the ext cr B i the clocwise directio, for otherwise the gs for ll crs will ot be ble to complete lp. Now we empty the gs of B ito A d remove A. There re crs left. By the iductio hypothesis, there is cr which c complete lp. Puttig bc cr A, this cr will lso be ble to complete the lp becuse whe it gets to cr A, the gs collected will be eough to get it to cr B. By mthemticl iductio, the sttemet is true for ll positive itegers. 5. Higher Dimesiol Iductio So fr we hve bee delig with sttemets ivolvig sigle vrible. I mthemtics, sttemets ofte ivolve more th oe vribles. With some modifictio, the priciple of mthemticl iductio c still be pplied to prove certi such sttemets. I this sectio we will see exmples of two-dimesiol iductio. Higher-dimesiol iductio c be delt with similrly. We motivted the priciple of (oe-dimesiol) mthemticl iductio usig the exmple of domioes. The trditiol domioes re lied up i stright lie, logous to oe-dimesiol iductio. I recet yers, however, more d more vritios hve bee itroduced, some hvig Pge of
13 the domioes with differet colours rrged to form ice picture. With this more complicted set-up, we eed to determie more crefully how to me sure tht ll domioes fll uder certi coditios. I the sme wy we eed to formulte rule for two-dimesiol iductio. We shll preset two differet versios. Theorem 5.. (Two-dimesiol Iductio, Versio ) Let Sm (, ) deote sttemet ivolvig two vribles, m d. Suppose () S (,) is true; () if S (,) is true for some positive iteger, the S+ (,) is lso true; (3) if Sh (, ) holds for some positive itegers h d, the Sh+ (, ) is lso true. The Sm (, ) is true for ll positive itegers m,. Theorem 5. c be esily uderstood. The first two coditios together imply (by Theorem.) tht Sm (,) is true for ll positive itegers m. Thus, fixig m, this together with coditio (3) imply (by Theorem. gi) tht Sm (, ) holds for ll positive itegers. As result, Sm (, ) holds for ll positive itegers m d, s we desire. Exmple 5.. Let f be fuctio of two vribles, with f (,) = d for ll turl umbers m d. Prove tht for ll positive itegers m d. f( m+, ) = f( m, ) + ( m+ ) f( m, + ) = f( m, ) + ( m+ ) (, ) ( ) ( ) f m = m+ m+ + We first chec tht f (, ) = = (+ ) (+ ) () +. Suppose (, ) = ( + ) ( + ) () + = + for some positive iteger. f The f( +,) = f(,) + ( + ) = ( ) ( ) [ ] [ ] = ( + ) + ( + ) + () + Thus coditios () d () i Theorem 5. re stisfied. Pge 3 of
14 Suppose f( h, ) = ( h+ ) ( h+ ) + for some positive itegers h d. The f( h, + ) = f( h, ) + ( h+ ) = ( h ) ( h ) ( h ) = h+ + h ( ) ( ) ( ) Thus coditio (3) i Theorem 5. is lso stisfied. It follows tht (, ) ( ) ( ) f m = m+ m+ + for ll positive itegers m d. Theorem 5. is essetilly pplyig Theorem. twice. The followig ltertive versio of the priciple of two-dimesiol iductio i some sese reduces two-dimesiol problem ito oe dimesio. Theorem 5.. (Two-dimesiol Iductio, Versio ) Let Sm (, ) deote sttemet ivolvig two vribles, m d. Suppose () S (,) is true; () if for some positive iteger >, Sm (, ) is true wheever m+ =, the Sm (, ) is true wheever m+ = +. The Sm (, ) is true for ll positive itegers m,. To see tht the two coditios gurtee Sm (, ) to be true for ll positive itegers m,, cosider the followig figure: m Pge 4 of
15 Ech dotted lie correspods to fixed vlue of m+. It is esy to see tht viewig m+ s sigle vrible, Theorem 5. is essetilly the sme s the bsic priciple of mthemticl iductio (Theorem.). Exmple 5.. For turl umbers p d q, the Rmsey umber R( p, q ) is defied s the smllest iteger so tht mog y people, there exist p of them who ow ech other, or there exist q of them who do t ow ech other. (We ssume tht if A ows B, the B ows A, d vice vers.) It is ow tht R( p,) = R(, q) = R( p+, q+ ) R( p, q+ ) + R( p+, q) for ll turl umbers p d q. Deduce tht for ll turl umbers p, q, R( p, q). p q C + p First, we chec tht R(, ) = = C +. Assume tht the desired iequlity holds for ll p, q with p+ q =, where is positive iteger. Now cosider R( p, q ) with p+ q = +. If either p = or q =, the desired iequlity follows immeditely. If ot, the otig tht ( p ) + q= p+ ( q ) =, the iductive hypothesis gives R( p, q) R( p, q) + R( p, q ) C + C = C. I other words, the desired iequlity holds wheever p+ q = +. By Theorem 5., the result follows. p+ q 3 p+ q 3 p+ q p p p 6. Joes d Prdoxes I this sectio we preset some iterestig exmples ivolvig mthemticl iductio. My of these exmples hve strog prdox feel. It should be oted tht some of the rgumets re ot correct, but we re ot goig to poit them out explicitly. We hope tht the reder will be ble to judge which rgumets re correct d which re ot. I cse rgumet is wrog, we hope the reder will be ble to spot where the flw lies. Pge 5 of
16 Oe c dri y mout of wter whe feelig thirsty We will prove the sttemet whe oe feels thirsty oe will be ble to dri drops of wter usig mthemticl iductio. Clerly, the sttemet holds for = becuse oe certily wts to dri some wter whe feelig thirsty. Suppose the sttemet holds for =, i.e. whe oe feels thirsty oe is ble to dri drops of wter. Cosider the cse = +. By ssumptio, whe oe feels thirsty oe is ble to dri drops of wter. Beig thirsty, oe certily is ble to dri oe more drop. So the sttemet holds for = + s well. By the priciple of mthemticl iductio, the sttemet holds for ll turl umbers. I other words, whe oe feels thirsty, oe c dri y mout of wter. I prticulr, oe is ble to swllow up ll the wter i the oces! Everythig i the world is of the sme colour We will prove the sttemet y thigs i the world re of the sme colour usig mthemticl iductio. Clerly, the sttemet holds whe = becuse ythig hs the sme colour s itself. Suppose the sttemet holds whe =, i.e. y thigs i the world re of the sme colour. Now cosider the cse = +. Te + thigs i the world d lie them up i row. By the iductio hypothesis, the first thigs re of the sme colour. By the iductio hypothesis gi, the lst thigs re lso of the sme colour. Therefore, the + thigs re of the sme colour. I other words, the sttemet holds for = + if it holds for =. By the priciple of mthemticl iductio, the sttemet holds for ll positive itegers. Tht is, everythig i the world is of the sme colour! Superpower? There re two people, ech give positive iteger, such tht the two itegers differ by. The rule of the gme requires tht if yoe ows tht if his umber is the smller mog the two, the he should put up his hd. We re goig to prove tht the oe with the smller umber will lwys put up his hd. (Note tht this essetilly mes he hs superpower, for suppose the two umbers re 003 d 004, the oe give 003 oly ows tht the other umber is 00 or 004, but should ot be ble to tell whether it is 00 or 004.) Pge 6 of
17 Suppose the two people re give positive itegers d +. We shll prove tht the oe give the iteger will put up his hd. Note tht this is true whe =, becuse is the smllest positive iteger, so the oe give the umber must ow tht his umber is the smller mog the two. Suppose the sttemet holds whe =. Cosider the cse = +. The the two people re give + d +. The oe with + will thi, The other umber is either or +. Suppose it is, the by the iductio hypothesis, the other perso should put up his hd. But he does t, so the other umber must be +. Cosequetly, the oe with + will put up his hd. By the priciple of mthemticl iductio, the result follows. Wht is the colour of my ht? (Prt ) There re people, ech beig put o ht mog ot fewer th white hts d blc hts. They the queue up i row, so tht everyoe c see oly the hts of those stdig i frot of him. Now strtig from the oe t the bc, we s the questio do you ow the colour of your ht? If the first people ll sy o, the the lst perso (the oe t the frot of the queue) must sy yes. The cse = is trivil, sice there is o blc ht. Suppose the sttemet holds for =. Cosider the cse = +. The people t the bc ll sy o, d we eed to see whether the oe t the frot c tell the colour of his ht. The oe t the frot will thi s follows. Suppose my ht is blc. The discrdig me d my blc ht from cosidertio, there re oly people with t lest white hts d blc hts. By the iductio hypothesis, sice the first people swered o, the oe behid me must sy yes. But ow he sid o. Therefore my ht cot be blc. It must be white. Hece the oe i the frot swers yes, i.e. the sttemet holds for = +. By the priciple of mthemticl iductio, the sttemet is proved. Wht is the colour of my ht? (Prt ) Now suppose the people c see ech other (so ech perso ows the colour of the ht of everybody except himself), d yoe who ows the ht o his hed eed to put up his hd. We will prove tht those with white hts will ll put up their hds. Suppose r people re put o white hts. The for r =, the oe with white ht sees blc hts. Yet there re oly blc hts. So he ows tht his ow ht is white, d he puts up his hd. Pge 7 of
18 Now suppose our ssertio is true whe people re put o white hts. Cosider the cse r = +. A perso with white ht sees other people i white ht d he will thi, If my ht is blc, the tig myself d my ht wy from cosidertio, there re people, t lest white hts d blc hts. Amog them, of them re put o white hts. By the iductio hypothesis, those with white hts should hve put up their hds. But they do t. So my ht is ot blc; it is white. Cosequetly, he puts up his hd. All others with white hts will do the sme. By the priciple of mthemticl iductio, the sttemet is proved. Two situtios revisited Go bc to the exmple where two people re give two cosecutive positive itegers. Now isted of puttig up hds t y time, suppose oe c put up hds oly t certi fixed time, sy whe light flshes, d tht the light flshes every miute. The, suppose the two people re give d +, the oe give the umber will put up his hd t the -th miute. The proof is essetilly the sme s tht give i Superpower bove, d we leve it s exercise. Similrly, i the situtio of Wht is the colour of my ht? (Prt ), we c prove tht if oe is llowed to put up his hd oly whe the light flshes, d tht if r people re put o white hts, the the people with white hts will put up their hds t the r-th miute. All professors resig The followig iterestig exmple is modified from exercise problem i Clculus by M. Spiv. There re 7 professors i the Deprtmet of Mthemtics of certi uiversity. They hve meetig every wee. There is rule syig tht if y professor fids mistes i his ow ppers, the he must resig. For log o professor hs ever resiged. This does ot me tht o professor hs ever mde y miste i their ppers. Rther, everyoe hs mde mistes, d every other professor discovers tht. I other words, everyoe ows tht every other professor hs mde mistes, but does ot ow his ow miste. O the lst meetig of yer, reserch ssistt sid, I must tell you oe thig. Amog the professors, t lest oe hs mde mistes i his ppers, d ws discovered by someoe else. Accordig to the ht colour exmple, ll professors resig t the 7th meetig of the subsequet yer. We leve the detils s exercise. Pge 8 of
19 Oe iterestig questio is tht, wht the reserch ssistt poits out is somethig tht every professor ows. Why would obody resig without his remr, d why would every professor resig fter he mde this well-ow remr? 7. Exercises. Prove by mthemticl iductio tht the followig sttemets hold for ll positive itegers. () (b) = ( + )(+ ) 6 ( + )( + )(3+ ) ( + ) = (c) 4007 is divisible by 003. (d) is divisible by (e) (f) > (g)! +! + +! = ( + )! ( + ) θ θ θ (h) cosθ + cos θ + + cos θ = si cos csc. To pply the priciple of mthemticl iductio we eed to verify two coditios, mely, the sttemet holds for =, d tht if the sttemet holds for = it lso holds for = +. C you thi of (wrog) sttemet i which the secod coditio is stisfied but the first oe is ot? Tht is, c you costruct sttemet S ( ) such tht if S ( ) true, the S+ ( ) must be true, yet S () is ot true? 3. Prove tht for ll turl umbers, Wht is the sigificce of the bove result o the covergece of the series? 4. The Lucs sequece, 3, 4, 7,, 8, 9, is defied by Pge 9 of
20 = = 3 = + for 3 Prove, by mthemticl iductio, tht < (.75) for ll positive itegers. Mthemticl Dtbse 5. From pc of 5 plyig crds oe extrcts the 6 red crds d pirs them up rdomly. The bc sides of ech pir of crds re the glued together, resultig i 3 crds with both sides beig the frot. Prove tht it is lwys possible to flip the crds so tht the 3 sides fcig upwrd re A,, 3,, 0, J, Q, K. 6. Aswer the questio t the ed of Exmple Formulte ew vritio of the priciple of mthemticl iductio by combiig Theorem 3. d Theorem Complete Exmple 3.5 by worig out the omitted detils i the lst step. 9. Complete Exmple 4.4 by worig out the omitted detils i the cse of two squres. 0. Complete the proofs of the two problems i Two situtios revisited i Sectio 6.. I the subsectio etitled All professors resig i Sectio 6, expli (usig the result i the situtio of ht colours ) why ll professors resig t the 7th meetig i the subsequet yer. Also swer the questio t the ed of the subsectio.. The Fibocci sequece is defied s x 0 = 0, x = d x+ = x+ + x for ll o-egtive itegers. Prove tht () xm = xr xm r + xrxm r for ll itegers m d 0 r m ; (b) + x d divides x d for ll positive itegers d d. Pge 0 of
21 3. Amog the my exmples i this set of otes prove usig mthemticl iductio, try to give other proof which does ot me use of mthemticl iductio. (Some my ot be possible or my be very difficult to prove without usig iductio; just try s my s you c.) Pge of
Repeated multiplication is represented using exponential notation, for example:
Appedix A: The Lws of Expoets Expoets re short-hd ottio used to represet my fctors multiplied together All of the rules for mipultig expoets my be deduced from the lws of multiplictio d divisio tht you
More informationMATHEMATICS FOR ENGINEERING BASIC ALGEBRA
MATHEMATICS FOR ENGINEERING BASIC ALGEBRA TUTORIAL - INDICES, LOGARITHMS AND FUNCTION This is the oe of series of bsic tutorils i mthemtics imed t begiers or yoe wtig to refresh themselves o fudmetls.
More informationChapter 04.05 System of Equations
hpter 04.05 System of Equtios After redig th chpter, you should be ble to:. setup simulteous lier equtios i mtrix form d vice-vers,. uderstd the cocept of the iverse of mtrix, 3. kow the differece betwee
More informationApplication: Volume. 6.1 Overture. Cylinders
Applictio: Volume 61 Overture I this chpter we preset other pplictio of the defiite itegrl, this time to fid volumes of certi solids As importt s this prticulr pplictio is, more importt is to recogize
More informationInfinite Sequences and Series
CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...
More informationSummation Notation The sum of the first n terms of a sequence is represented by the summation notation i the index of summation
Lesso 0.: Sequeces d Summtio Nottio Def. of Sequece A ifiite sequece is fuctio whose domi is the set of positive rel itegers (turl umers). The fuctio vlues or terms of the sequece re represeted y, 2, 3,...,....
More informationIn nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008
I ite Sequeces Dr. Philippe B. Laval Keesaw State Uiversity October 9, 2008 Abstract This had out is a itroductio to i ite sequeces. mai de itios ad presets some elemetary results. It gives the I ite Sequeces
More informationAsymptotic Growth of Functions
CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll
More informationProperties of MLE: consistency, asymptotic normality. Fisher information.
Lecture 3 Properties of MLE: cosistecy, asymptotic ormality. Fisher iformatio. I this sectio we will try to uderstad why MLEs are good. Let us recall two facts from probability that we be used ofte throughout
More informationExample 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).
BEGINNING ALGEBRA Roots ad Radicals (revised summer, 00 Olso) Packet to Supplemet the Curret Textbook - Part Review of Square Roots & Irratioals (This portio ca be ay time before Part ad should mostly
More informationWe will begin this chapter with a quick refresher of what an exponent is.
.1 Exoets We will egi this chter with quick refresher of wht exoet is. Recll: So, exoet is how we rereset reeted ultilictio. We wt to tke closer look t the exoet. We will egi with wht the roerties re for
More informationSoving Recurrence Relations
Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree
More informationLecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem
Lecture 4: Cauchy sequeces, Bolzao-Weierstrass, ad the Squeeze theorem The purpose of this lecture is more modest tha the previous oes. It is to state certai coditios uder which we are guarateed that limits
More informationA. Description: A simple queueing system is shown in Fig. 16-1. Customers arrive randomly at an average rate of
Queueig Theory INTRODUCTION Queueig theory dels with the study of queues (witig lies). Queues boud i rcticl situtios. The erliest use of queueig theory ws i the desig of telehoe system. Alictios of queueig
More informationCS103X: Discrete Structures Homework 4 Solutions
CS103X: Discrete Structures Homewor 4 Solutios Due February 22, 2008 Exercise 1 10 poits. Silico Valley questios: a How may possible six-figure salaries i whole dollar amouts are there that cotai at least
More informationFactors of sums of powers of binomial coefficients
ACTA ARITHMETICA LXXXVI.1 (1998) Factors of sums of powers of biomial coefficiets by Neil J. Cali (Clemso, S.C.) Dedicated to the memory of Paul Erdős 1. Itroductio. It is well ow that if ( ) a f,a = the
More informationLecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)
18.409 A Algorithmist s Toolkit October 27, 2009 Lecture 13 Lecturer: Joatha Keler Scribe: Joatha Pies (2009) 1 Outlie Last time, we proved the Bru-Mikowski iequality for boxes. Today we ll go over the
More informationPREMIUMS CALCULATION FOR LIFE INSURANCE
ls of the Uiversity of etroşi, Ecoomics, 2(3), 202, 97-204 97 REIUS CLCULTIO FOR LIFE ISURCE RE, RI GÎRBCI * BSTRCT: The pper presets the techiques d the formuls used o itertiol prctice for estblishig
More informationSection 11.3: The Integral Test
Sectio.3: The Itegral Test Most of the series we have looked at have either diverged or have coverged ad we have bee able to fid what they coverge to. I geeral however, the problem is much more difficult
More informationSection 8.3 : De Moivre s Theorem and Applications
The Sectio 8 : De Moivre s Theorem ad Applicatios Let z 1 ad z be complex umbers, where z 1 = r 1, z = r, arg(z 1 ) = θ 1, arg(z ) = θ z 1 = r 1 (cos θ 1 + i si θ 1 ) z = r (cos θ + i si θ ) ad z 1 z =
More informationCS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations
CS3A Hadout 3 Witer 00 February, 00 Solvig Recurrece Relatios Itroductio A wide variety of recurrece problems occur i models. Some of these recurrece relatios ca be solved usig iteratio or some other ad
More information1. MATHEMATICAL INDUCTION
1. MATHEMATICAL INDUCTION EXAMPLE 1: Prove that for ay iteger 1. Proof: 1 + 2 + 3 +... + ( + 1 2 (1.1 STEP 1: For 1 (1.1 is true, sice 1 1(1 + 1. 2 STEP 2: Suppose (1.1 is true for some k 1, that is 1
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More informationIntegration by Substitution
Integrtion by Substitution Dr. Philippe B. Lvl Kennesw Stte University August, 8 Abstrct This hndout contins mteril on very importnt integrtion method clled integrtion by substitution. Substitution is
More information1. C. The formula for the confidence interval for a population mean is: x t, which was
s 1. C. The formula for the cofidece iterval for a populatio mea is: x t, which was based o the sample Mea. So, x is guarateed to be i the iterval you form.. D. Use the rule : p-value
More informationMath 135 Circles and Completing the Square Examples
Mth 135 Circles nd Completing the Squre Exmples A perfect squre is number such tht = b 2 for some rel number b. Some exmples of perfect squres re 4 = 2 2, 16 = 4 2, 169 = 13 2. We wish to hve method for
More informationUse Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions.
Lerning Objectives Loci nd Conics Lesson 3: The Ellipse Level: Preclculus Time required: 120 minutes In this lesson, students will generlize their knowledge of the circle to the ellipse. The prmetric nd
More informationMARTINGALES AND A BASIC APPLICATION
MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measure-theoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this
More informationGraphs on Logarithmic and Semilogarithmic Paper
0CH_PHClter_TMSETE_ 3//00 :3 PM Pge Grphs on Logrithmic nd Semilogrithmic Pper OBJECTIVES When ou hve completed this chpter, ou should be ble to: Mke grphs on logrithmic nd semilogrithmic pper. Grph empiricl
More informationhp calculators HP 12C Statistics - average and standard deviation Average and standard deviation concepts HP12C average and standard deviation
HP 1C Statistics - average ad stadard deviatio Average ad stadard deviatio cocepts HP1C average ad stadard deviatio Practice calculatig averages ad stadard deviatios with oe or two variables HP 1C Statistics
More informationDiscrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13
EECS 70 Discrete Mathematics ad Probability Theory Sprig 2014 Aat Sahai Note 13 Itroductio At this poit, we have see eough examples that it is worth just takig stock of our model of probability ad may
More informationTrigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is
0_0605.qxd /5/05 0:45 AM Page 470 470 Chapter 6 Additioal Topics i Trigoometry 6.5 Trigoometric Form of a Complex Number What you should lear Plot complex umbers i the complex plae ad fid absolute values
More information4.11 Inner Product Spaces
314 CHAPTER 4 Vector Spces 9. A mtrix of the form 0 0 b c 0 d 0 0 e 0 f g 0 h 0 cnnot be invertible. 10. A mtrix of the form bc d e f ghi such tht e bd = 0 cnnot be invertible. 4.11 Inner Product Spces
More informationHere are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
This documet was writte ad copyrighted by Paul Dawkis. Use of this documet ad its olie versio is govered by the Terms ad Coditios of Use located at http://tutorial.math.lamar.edu/terms.asp. The olie versio
More informationDepartment of Computer Science, University of Otago
Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS-2006-09 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly
More informationThe Stable Marriage Problem
The Stable Marriage Problem William Hut Lae Departmet of Computer Sciece ad Electrical Egieerig, West Virgiia Uiversity, Morgatow, WV William.Hut@mail.wvu.edu 1 Itroductio Imagie you are a matchmaker,
More informationI. Chi-squared Distributions
1 M 358K Supplemet to Chapter 23: CHI-SQUARED DISTRIBUTIONS, T-DISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad t-distributios, we first eed to look at aother family of distributios, the chi-squared distributios.
More information3. Greatest Common Divisor - Least Common Multiple
3 Greatest Commo Divisor - Least Commo Multiple Defiitio 31: The greatest commo divisor of two atural umbers a ad b is the largest atural umber c which divides both a ad b We deote the greatest commo gcd
More informationPolynomial Functions. Polynomial functions in one variable can be written in expanded form as ( )
Polynomil Functions Polynomil functions in one vrible cn be written in expnded form s n n 1 n 2 2 f x = x + x + x + + x + x+ n n 1 n 2 2 1 0 Exmples of polynomils in expnded form re nd 3 8 7 4 = 5 4 +
More informationReleased Assessment Questions, 2015 QUESTIONS
Relesed Assessmet Questios, 15 QUESTIONS Grde 9 Assessmet of Mthemtis Ademi Red the istrutios elow. Alog with this ooklet, mke sure you hve the Aswer Booklet d the Formul Sheet. You my use y spe i this
More informationSPECIAL PRODUCTS AND FACTORIZATION
MODULE - Specil Products nd Fctoriztion 4 SPECIAL PRODUCTS AND FACTORIZATION In n erlier lesson you hve lernt multipliction of lgebric epressions, prticulrly polynomils. In the study of lgebr, we come
More informationTHE ARITHMETIC OF INTEGERS. - multiplication, exponentiation, division, addition, and subtraction
THE ARITHMETIC OF INTEGERS - multiplicatio, expoetiatio, divisio, additio, ad subtractio What to do ad what ot to do. THE INTEGERS Recall that a iteger is oe of the whole umbers, which may be either positive,
More informationHypothesis testing. Null and alternative hypotheses
Hypothesis testig Aother importat use of samplig distributios is to test hypotheses about populatio parameters, e.g. mea, proportio, regressio coefficiets, etc. For example, it is possible to stipulate
More informationMathematics. Vectors. hsn.uk.net. Higher. Contents. Vectors 128 HSN23100
hsn.uk.net Higher Mthemtics UNIT 3 OUTCOME 1 Vectors Contents Vectors 18 1 Vectors nd Sclrs 18 Components 18 3 Mgnitude 130 4 Equl Vectors 131 5 Addition nd Subtrction of Vectors 13 6 Multipliction by
More informationChapter 5: Inner Product Spaces
Chapter 5: Ier Product Spaces Chapter 5: Ier Product Spaces SECION A Itroductio to Ier Product Spaces By the ed of this sectio you will be able to uderstad what is meat by a ier product space give examples
More informationElementary Theory of Russian Roulette
Elemetary Theory of Russia Roulette -iterestig patters of fractios- Satoshi Hashiba Daisuke Miematsu Ryohei Miyadera Itroductio. Today we are goig to study mathematical theory of Russia roulette. If some
More informationHow To Solve The Homewor Problem Beautifully
Egieerig 33 eautiful Homewor et 3 of 7 Kuszmar roblem.5.5 large departmet store sells sport shirts i three sizes small, medium, ad large, three patters plaid, prit, ad stripe, ad two sleeve legths log
More informationRegular Sets and Expressions
Regulr Sets nd Expressions Finite utomt re importnt in science, mthemtics, nd engineering. Engineers like them ecuse they re super models for circuits (And, since the dvent of VLSI systems sometimes finite
More information0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5
Sectio 13 Kolmogorov-Smirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.
More informationLecture 4: Cheeger s Inequality
Spectral Graph Theory ad Applicatios WS 0/0 Lecture 4: Cheeger s Iequality Lecturer: Thomas Sauerwald & He Su Statemet of Cheeger s Iequality I this lecture we assume for simplicity that G is a d-regular
More informationn Using the formula we get a confidence interval of 80±1.64
9.52 The professor of sttistics oticed tht the rks i his course re orlly distributed. He hs lso oticed tht his orig clss verge is 73% with stdrd devitio of 12% o their fil exs. His fteroo clsses verge
More informationA probabilistic proof of a binomial identity
A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two
More informationWeek 3 Conditional probabilities, Bayes formula, WEEK 3 page 1 Expected value of a random variable
Week 3 Coditioal probabilities, Bayes formula, WEEK 3 page 1 Expected value of a radom variable We recall our discussio of 5 card poker hads. Example 13 : a) What is the probability of evet A that a 5
More informationOur aim is to show that under reasonable assumptions a given 2π-periodic function f can be represented as convergent series
8 Fourier Series Our aim is to show that uder reasoable assumptios a give -periodic fuctio f ca be represeted as coverget series f(x) = a + (a cos x + b si x). (8.) By defiitio, the covergece of the series
More informationMath C067 Sampling Distributions
Math C067 Samplig Distributios Sample Mea ad Sample Proportio Richard Beigel Some time betwee April 16, 2007 ad April 16, 2007 Examples of Samplig A pollster may try to estimate the proportio of voters
More informationA Recursive Formula for Moments of a Binomial Distribution
A Recursive Formula for Momets of a Biomial Distributio Árpád Béyi beyi@mathumassedu, Uiversity of Massachusetts, Amherst, MA 01003 ad Saverio M Maago smmaago@psavymil Naval Postgraduate School, Moterey,
More informationSAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx
SAMPLE QUESTIONS FOR FINAL EXAM REAL ANALYSIS I FALL 006 3 4 Fid the followig usig the defiitio of the Riema itegral: a 0 x + dx 3 Cosider the partitio P x 0 3, x 3 +, x 3 +,......, x 3 3 + 3 of the iterval
More informationSequences and Series
CHAPTER 9 Sequeces ad Series 9.. Covergece: Defiitio ad Examples Sequeces The purpose of this chapter is to itroduce a particular way of geeratig algorithms for fidig the values of fuctios defied by their
More informationLecture 5. Inner Product
Lecture 5 Inner Product Let us strt with the following problem. Given point P R nd line L R, how cn we find the point on the line closest to P? Answer: Drw line segment from P meeting the line in right
More informationExample 27.1 Draw a Venn diagram to show the relationship between counting numbers, whole numbers, integers, and rational numbers.
2 Rtionl Numbers Integers such s 5 were importnt when solving the eqution x+5 = 0. In similr wy, frctions re importnt for solving equtions like 2x = 1. Wht bout equtions like 2x + 1 = 0? Equtions of this
More informationConvexity, Inequalities, and Norms
Covexity, Iequalities, ad Norms Covex Fuctios You are probably familiar with the otio of cocavity of fuctios. Give a twicedifferetiable fuctio ϕ: R R, We say that ϕ is covex (or cocave up) if ϕ (x) 0 for
More informationFactoring Polynomials
Fctoring Polynomils Some definitions (not necessrily ll for secondry school mthemtics): A polynomil is the sum of one or more terms, in which ech term consists of product of constnt nd one or more vribles
More information2-3 The Remainder and Factor Theorems
- The Remaider ad Factor Theorems Factor each polyomial completely usig the give factor ad log divisio 1 x + x x 60; x + So, x + x x 60 = (x + )(x x 15) Factorig the quadratic expressio yields x + x x
More informationChapter 6: Variance, the law of large numbers and the Monte-Carlo method
Chapter 6: Variace, the law of large umbers ad the Mote-Carlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value
More informationMATHEMATICS SYLLABUS SECONDARY 7th YEAR
Europe Schools Office of the Secretry-Geerl Pedgogicl developmet Uit Ref.: 2011-01-D-41-e-2 Orig.: DE MATHEMATICS SYLLABUS SECONDARY 7th YEAR Stdrd level 5 period/week course Approved y the Joit Techig
More informationS. Tanny MAT 344 Spring 1999. be the minimum number of moves required.
S. Tay MAT 344 Sprig 999 Recurrece Relatios Tower of Haoi Let T be the miimum umber of moves required. T 0 = 0, T = 7 Iitial Coditios * T = T + $ T is a sequece (f. o itegers). Solve for T? * is a recurrece,
More informationPerfect Packing Theorems and the Average-Case Behavior of Optimal and Online Bin Packing
SIAM REVIEW Vol. 44, No. 1, pp. 95 108 c 2002 Society for Idustrial ad Applied Mathematics Perfect Packig Theorems ad the Average-Case Behavior of Optimal ad Olie Bi Packig E. G. Coffma, Jr. C. Courcoubetis
More informationCHAPTER 7: Central Limit Theorem: CLT for Averages (Means)
CHAPTER 7: Cetral Limit Theorem: CLT for Averages (Meas) X = the umber obtaied whe rollig oe six sided die oce. If we roll a six sided die oce, the mea of the probability distributio is X P(X = x) Simulatio:
More informationOperations with Polynomials
38 Chpter P Prerequisites P.4 Opertions with Polynomils Wht you should lern: Write polynomils in stndrd form nd identify the leding coefficients nd degrees of polynomils Add nd subtrct polynomils Multiply
More informationLINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES
LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES DAVID WEBB CONTENTS Liner trnsformtions 2 The representing mtrix of liner trnsformtion 3 3 An ppliction: reflections in the plne 6 4 The lgebr of
More informationTheorems About Power Series
Physics 6A Witer 20 Theorems About Power Series Cosider a power series, f(x) = a x, () where the a are real coefficiets ad x is a real variable. There exists a real o-egative umber R, called the radius
More informationand thus, they are similar. If k = 3 then the Jordan form of both matrices is
Homework ssignment 11 Section 7. pp. 249-25 Exercise 1. Let N 1 nd N 2 be nilpotent mtrices over the field F. Prove tht N 1 nd N 2 re similr if nd only if they hve the sme miniml polynomil. Solution: If
More informationRepeating Decimals are decimal numbers that have number(s) after the decimal point that repeat in a pattern.
5.5 Fractios ad Decimals Steps for Chagig a Fractio to a Decimal. Simplify the fractio, if possible. 2. Divide the umerator by the deomiator. d d Repeatig Decimals Repeatig Decimals are decimal umbers
More information5: Introduction to Estimation
5: Itroductio to Estimatio Cotets Acroyms ad symbols... 1 Statistical iferece... Estimatig µ with cofidece... 3 Samplig distributio of the mea... 3 Cofidece Iterval for μ whe σ is kow before had... 4 Sample
More information4.3. The Integral and Comparison Tests
4.3. THE INTEGRAL AND COMPARISON TESTS 9 4.3. The Itegral ad Compariso Tests 4.3.. The Itegral Test. Suppose f is a cotiuous, positive, decreasig fuctio o [, ), ad let a = f(). The the covergece or divergece
More informationCHAPTER-10 WAVEFUNCTIONS, OBSERVABLES and OPERATORS
Lecture Notes PH 4/5 ECE 598 A. L Ros INTRODUCTION TO QUANTUM MECHANICS CHAPTER-0 WAVEFUNCTIONS, OBSERVABLES d OPERATORS 0. Represettios i the sptil d mometum spces 0..A Represettio of the wvefuctio i
More informationExperiment 6: Friction
Experiment 6: Friction In previous lbs we studied Newton s lws in n idel setting, tht is, one where friction nd ir resistnce were ignored. However, from our everydy experience with motion, we know tht
More informationChapter 5 O A Cojecture Of Erdíos Proceedigs NCUR VIII è1994è, Vol II, pp 794í798 Jeærey F Gold Departmet of Mathematics, Departmet of Physics Uiversity of Utah Do H Tucker Departmet of Mathematics Uiversity
More informationSEQUENCES AND SERIES
Chapter 9 SEQUENCES AND SERIES Natural umbers are the product of huma spirit. DEDEKIND 9.1 Itroductio I mathematics, the word, sequece is used i much the same way as it is i ordiary Eglish. Whe we say
More information5.3. Generalized Permutations and Combinations
53 GENERALIZED PERMUTATIONS AND COMBINATIONS 73 53 Geeralized Permutatios ad Combiatios 53 Permutatios with Repeated Elemets Assume that we have a alphabet with letters ad we wat to write all possible
More informationPROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY
MAT 0630 INTERNET RESOURCES, REVIEW OF CONCEPTS AND COMMON MISTAKES PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY Contents 1. ACT Compss Prctice Tests 1 2. Common Mistkes 2 3. Distributive
More informationFIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix
FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. Powers of a matrix We begi with a propositio which illustrates the usefuless of the diagoalizatio. Recall that a square matrix A is diogaalizable if
More information9 CONTINUOUS DISTRIBUTIONS
9 CONTINUOUS DISTIBUTIONS A rndom vrible whose vlue my fll nywhere in rnge of vlues is continuous rndom vrible nd will be ssocited with some continuous distribution. Continuous distributions re to discrete
More informationGray level image enhancement using the Bernstein polynomials
Buletiul Ştiiţiic l Uiersităţii "Politehic" di Timişor Seri ELECTRONICĂ şi TELECOMUNICAŢII TRANSACTIONS o ELECTRONICS d COMMUNICATIONS Tom 47(6), Fscicol -, 00 Gry leel imge ehcemet usig the Berstei polyomils
More information.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth
Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,
More information19. The Fermat-Euler Prime Number Theorem
19. The Fermt-Euler Prime Number Theorem Every prime number of the form 4n 1 cn be written s sum of two squres in only one wy (side from the order of the summnds). This fmous theorem ws discovered bout
More informationIrreducible polynomials with consecutive zero coefficients
Irreducible polyomials with cosecutive zero coefficiets Theodoulos Garefalakis Departmet of Mathematics, Uiversity of Crete, 71409 Heraklio, Greece Abstract Let q be a prime power. We cosider the problem
More informationBuilding Blocks Problem Related to Harmonic Series
TMME, vol3, o, p.76 Buildig Blocks Problem Related to Harmoic Series Yutaka Nishiyama Osaka Uiversity of Ecoomics, Japa Abstract: I this discussio I give a eplaatio of the divergece ad covergece of ifiite
More informationBabylonian Method of Computing the Square Root: Justifications Based on Fuzzy Techniques and on Computational Complexity
Bbylonin Method of Computing the Squre Root: Justifictions Bsed on Fuzzy Techniques nd on Computtionl Complexity Olg Koshelev Deprtment of Mthemtics Eduction University of Texs t El Pso 500 W. University
More informationRIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS
RIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS Known for over 500 yers is the fct tht the sum of the squres of the legs of right tringle equls the squre of the hypotenuse. Tht is +b c. A simple proof is
More informationWHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER?
WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER? JÖRG JAHNEL 1. My Motivatio Some Sort of a Itroductio Last term I tought Topological Groups at the Göttige Georg August Uiversity. This
More informationLesson 15 ANOVA (analysis of variance)
Outlie Variability -betwee group variability -withi group variability -total variability -F-ratio Computatio -sums of squares (betwee/withi/total -degrees of freedom (betwee/withi/total -mea square (betwee/withi
More informationBasic Analysis of Autarky and Free Trade Models
Bsic Anlysis of Autrky nd Free Trde Models AUTARKY Autrky condition in prticulr commodity mrket refers to sitution in which country does not engge in ny trde in tht commodity with other countries. Consequently
More informationTHE ABRACADABRA PROBLEM
THE ABRACADABRA PROBLEM FRANCESCO CARAVENNA Abstract. We preset a detailed solutio of Exercise E0.6 i [Wil9]: i a radom sequece of letters, draw idepedetly ad uiformly from the Eglish alphabet, the expected
More informationDEPARTMENT OF ACTUARIAL STUDIES RESEARCH PAPER SERIES
DEPARTMENT OF ACTUARIAL STUDIES RESEARCH PAPER SERIES The ulti-bioil odel d pplictios by Ti Kyg Reserch Pper No. 005/03 July 005 Divisio of Ecooic d Ficil Studies Mcqurie Uiversity Sydey NSW 09 Austrli
More information5 Boolean Decision Trees (February 11)
5 Boolea Decisio Trees (February 11) 5.1 Graph Coectivity Suppose we are give a udirected graph G, represeted as a boolea adjacecy matrix = (a ij ), where a ij = 1 if ad oly if vertices i ad j are coected
More informationModified Line Search Method for Global Optimization
Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o
More informationListing terms of a finite sequence List all of the terms of each finite sequence. a) a n n 2 for 1 n 5 1 b) a n for 1 n 4 n 2
74 (4 ) Chapter 4 Sequeces ad Series 4. SEQUENCES I this sectio Defiitio Fidig a Formula for the th Term The word sequece is a familiar word. We may speak of a sequece of evets or say that somethig is
More informationChapter 7: Confidence Interval and Sample Size
Chapter 7: Cofidece Iterval ad Sample Size Learig Objectives Upo successful completio of Chapter 7, you will be able to: Fid the cofidece iterval for the mea, proportio, ad variace. Determie the miimum
More informationAP Calculus AB 2006 Scoring Guidelines Form B
AP Calculus AB 6 Scorig Guidelies Form B The College Board: Coectig Studets to College Success The College Board is a ot-for-profit membership associatio whose missio is to coect studets to college success
More information