MTH 505: Number Theory Spring 2017


 Hugo Lamb
 10 months ago
 Views:
Transcription
1 MTH 505: Numer Theory Spring 207 Homework 2 Drew Armstrong The Froenius Coin Prolem. Consider the eqution x ` y c where,, c, x, y re nturl numers. We cn think of $ nd $ s two denomintions of coins nd $c s some vlue tht we wnt to py. The eqution hs solution px, yq P N 2 if nd only if we cn mke chnge for $c, nd in this cse we sy tht c is p, qrepresentle. More generlly, we will consider the set of p, qrepresenttions of c: R,,c : tpx, yq P N 2 : x ` y cu. The prolem is trivil when 0 so we will lwys ssume tht 0, i.e., tht nd re oth nonzero. 2.. Consider nturl numers,, c P N with d gcdp, q, where d nd d. () If d c prove tht R,,c H. () If d c with c dc prove tht R,,c R,,c. [Unlike the cse of Diophntine equtions, it is possile tht oth of these sets could e empty.] Proof. (): Let d c nd ssume for contrdiction tht R,,c is not empty, i.e., ssume tht there exists pir of nturl numers px, yq P N 2 such tht x ` y c. But then we hve which contrdicts the fct tht d c. c x ` y pd qx ` pd q dp x ` yq, (): Now suppose tht d c so tht c dc for some c P Z. Since c nd d re oth positive we must hve c P N. To show tht R,,c Ď R,,c consider ny px, yq P N 2, so tht x` y c. Then we hve x ` y c dp x ` yq dpc q pd qx ` pd qy pdc q x ` y c, which sys tht px, yq P R,,c s desired. Conversely, consider ny px, yq P R,,c, so tht x ` y c. Then we hve x ` y c pd qx ` pd qy pdc q dp x ` yq dpc q x ` y c, which sys tht px, yq P R,,c. (The lst step used multiplictive cncelltion.)
2 The previous result llows us to restrict our ttention to coprime nd Let,, c P N with 0 nd gcdp, q. If R,,c H (i.e., if c is p, qrepresentle) prove tht there exists unique representtion pu, vq P R,,c with the property 0 ď u ă. [Hint: For existence, let px, yq P R,,c e n ritrry solution. Since 0 there exists quotient nd reminder of x mod. For uniqueness, use the coprimlity of nd to pply Euclid s Lemm.] Proof. If R,,c H then there exists some pir px, yq P N 2 such tht x ` y c. Since 0 there exists pir of integers q, r P Z such tht " x q ` r Then sustituting x q ` r gives 0 ď r ă x x ` y c pq ` rq ` y c r ` pq ` yq c. It only remins to check tht pu, vq : pr, q ` yq P N 2 nd we lredy know tht r P N. Since r ă x we lso hve q px rq ą 0, which since ą 0 implies tht q ą 0. But then since y P N we hve q ` y P N s desired. This proves existence. For uniqueness, ssume tht we hve pu, v q nd pu 2, v 2 q in R,,c with 0 ď u ă nd 0 ď u 2 ă. Then since u ` v c u 2 ` v 2 we see tht u ` v u 2 ` v 2 pu u 2 q pv 2 v q, which implies tht divides pu u 2 q. But then since gcdp, q, Euclid s Lemm sys tht pu u 2 q. If pu u 2 q 0 then we re done. Otherwise, suppose without loss of generlity tht u u 2 ą 0. Then the fct tht pu u 2 q implies tht ď u u 2 ď u which contrdicts the fct tht u ă. This contrdiction shows tht pu u 2 q 0 nd then the eqution pv 2 v q pu u 2 q 0 0 together with the fct 0 implies tht pv 2 v q 0 s desired Let, P N e coprime with 0. If c p q prove tht R,,c H. Tht is, prove tht the numer p q is not p, qrepresentle. [Hint: Let c p q nd ssume for contrdiction there exists representtion px, yq P R,,c. Show tht the cses x ă nd x ě oth led to the contrdiction y ă 0. You cn use 2.2 for the cse x ă.] Proof. Assume for contrdiction tht we hve representtion x ` y p q with px, yq P N 2. From 2.2 this implies tht there exists representtion u ` v p q
3 with pu, vq P N 2 nd 0 ď u ă. Now oserve tht u ` v u ` v pu ` q p vq. The lst eqution sys tht divides pu ` q nd then since nd re coprime we otin pu ` q from Euclid s Lemm. Since u ` ą 0 this implies tht ď u ` [this rgument is in the notes] ut we lredy know tht u ă (i.e., u ` ď ) so we conclude tht u `. Finlly, we sustitute u to otin which contrdicts the fct tht v P N. u ` v p q ` v ` v v v, [Sorry I didn t follow my own hint very closely.] 2.4. Let, P N e coprime with 0. In this exercise you will prove y induction tht every numer c ą p q is p, qrepresentle. () Prove the result when or. () From now on we will ssume tht ě 2 nd ě 2. In this cse prove tht the numer p ` q is p, qrepresentle. [Hint: From the Eucliden Algorithm nd 2.2 there exist x, y P Z with x ` y nd 0 ď x ă. Prove tht px q P N nd py ` q P N, nd hence is vlid representtion.] px q ` py ` q p ` q (c) Let n ě p ` q nd ssume for induction tht n is p, qrepresentle. In this cse prove tht n ` is lso p, qrepresentle. [Hint: Let x, y e s in prt (). By the induction hypothesis nd 2.2 there exist x, y P N with x ` y n nd 0 ď x ă. Note tht px ` x q ` py ` y q pn ` q. If y ` y ě 0 then you re done. Otherwise, show tht is vlid representtion.] px ` x q ` py ` y ` q pn ` q Proof. (): Since the prolem is symmetric in nd we will ssume without loss of generlity tht. Now we wnt to show tht every numer c ą p q, i.e., every numer c ě 0 is p, qrepresentle. But this is certinly true ecuse p0q ` p0q 0 is vlid representtion of c 0 nd pq ` pc q c is vlid representtion of c ą 0. This solves the prolem when or so from now on we will ssume tht ě 2 nd ě 2. (): Bse Cse. Since gcdp, q the Eucliden Algorithm gives integers x, y P Z such tht x ` y nd from 2.2 we cn ssume tht 0 ď x ă. [Actully this is it esier
4 thn 2.2 ecuse we don t require y ě 0.] If x 0 then we hve y x ` y which implies tht, contrdicting the fct tht ě 2. Thus we must hve x ě, i.e., x P N. To complete the proof, ssume for contrdiction tht py ` q ă 0, i.e., y ` ď 0. This implies tht y ď nd hence y ď. Finlly, since px q ă 0 we otin the desired contrdiction: x ` y ď x px q ă 0. We conclude tht px q nd py ` q re nturl numers, so px q ` py ` q px ` y q ` ` is vlid p, qrepresentiton of p ` q. (c): Induction Step. Let n ě p ` q nd ssume for induction tht there exist nturl numers px, yq P N 2 such tht x ` y n. In this cse we wnt to show tht n ` is lso p, qrepresentle. To do this, recll from prt () tht we hve integers x, y P Z with the following properties: x ` y, ď x ď, y ` ě. Now dd the equtions x ` y n nd x ` y to otin px ` x q ` py ` y q n `, where x ` x ě 0. If we lso hve y ` y ě 0 then we re done, so ssume tht y ` y ă 0. Since y ` ě nd y ě 0 we hve py ` y ` q ě. It only remins to check tht px ` x q ě 0. To see this we use the ssumptions pn ` q ě p ` 2q nd py ` y ` q ď 0 to otin n ` px ` x q ` py ` y q ą ` 2 px ` x q ě py ` y q ` 2 ą py ` y ` q ` 2 ě p0q ` 2 ą p q ą 0. By cncelling ą 0 from oth sides of px ` x q ą p q we otin px ` x q ą p q nd hence px ` x q ě 0 s desired. It follows tht px ` x q ` py ` y ` q px ` yq ` px ` y q ` p ` q n ` ` 0 is vlid p, qrepresenttion of n `. [Tht ws tricky.] Let, P N e coprime with 0. So fr you hve proved tht R,,p q 0 nd R,,c ě for ll c ą p q. The next prolem gives rough lower ound for the totl numer of p, qrepresenttions.
5 2.5. Let, P N e coprime with 0. Prove tht Y c R,,c ě mxtn P N : n ď c{pqu. ] [Hint: We know from clss tht the integer solutions of x ` y c hve the form px, yq pcx k, cy ` P Z, where x, y P Z re some specific integers stisfying x `y. Now prove tht the nturl numer solutions correspond to vlues of k P Z such tht cy ď k ď cx. Counting these integers is delicte ut you should e le to give rough ound.] Proof. Consider,, c P N with gcdp, q. From 2.2 there exist integers x, y P Z such tht x ` y nd 0 ď x ă. We know from clss tht the complete integer solution to the eqution x ` y c is given y px, yq pcx k, cy ` P Z, nd our jo is to discover which of these solutions re nonnegtive. Tht is, we need to find ll integers k P Z such tht the following two inequlities hold: cx k ě 0 cy ` k ě 0. These two inequlities cn e written in terms of frctions to otin cy ď k ď cx. Ech such vlue of k P Z corresponds to nonnegtive solution of x`y c, so we conclude tht R,,c is equl to the numer of integers in the closed rel numer intervl r cy {, cx {s. The exct count is tricky, ut the floor of the length of the intervl provides lower ound: Z ^ cx R,,c ě cy Z cx ` cy ^ Z cpx ` y ^ q Y c ]. Unfortuntely this rough ound gives us no informtion when c ă, i.e., when tc{pqu 0. With it more work one could compute the exct formul: for ny x ` y we hve ( ) R,,c c " " cy cx `, where txu : x txu is the frctionl prt of the rtionl numer x P Q. This formul is due to Tieriu Popoviciu in 953.
6 2.6. Let, P N e coprime with 0. Given n integer 0 ă c ă such tht c nd c, use Popoviciu s formul ( ) to show tht R,,c ` R,,p cq. [Hint: Use the fct tht t xu txu when x R Z.] Proof. Consider,, c P N with gcdp, q, 0 ă c ă, nd where nd do not divide c. Then for ny integers x ` y Popoviciu s formul gives R,,p cq c " " p cqy p cqx ` 2 c "y cy "x cx. But now oserve tht for ll integers n P Z nd noninteger rtionls x P Q we hve tn xu t xu txu. Thus the ove formul ecomes R,,p cq 2 c "y cy "x cx 2 c ˆ " ˆ " cy cx ˆ " " c cy cx ` R,,c. In conclusion, one cn show from 2.6 tht there exist exctly p qp q 2 nturl numers tht re not p, qrepresentle. This fct ws first proved y Jmes Joseph Sylvester in 884. Proof. I didn t sk you to show this, ut here s the proof. Let gcdp, q. Then we know tht every integer c ě is p, qrepresentle. [In fct we know tht every integer c ą p q is representle, ut we don t need this right now.] Of the ` elements of the set tc P Z : 0 ď c ď u we know tht elements re multiples of, nd elements re multiples of. Furthermore, since gcdp, q we know tht the only elements tht re multiples of oth nd re 0 nd. We conclude tht there re exctly p ` q p ` 2q p ` q p qp q elements of the set tht re not multiple of or. The result of Prolem 2.6 sys tht exctly hlf of these numers re p, qrepresentle. Epilogue: The proofs ove re lgeric, ut there is lso eutiful geometric wy to think out the Froenius coin prolem. Consider, P N with 0 nd gcdp, q. Lel ech point px, yq P Z 2 of the integer lttice y the numer x ` y. Note tht points on the sme line of slope { receve the sme lel. The prolem is to count the integer points on the line x ` y c tht lie in the first qudrnt. For exmple, here is the lelling corresponding to the coprime pir p, q p5, 8q:
7 I hve drwn the lines 5x ` 8y nd 5x ` 8y 0. It ws reltively esy to show tht every lel c ě 40 occurs in the first qudrnt, ut the numers elow 40 re more tricky. I hve outlined the numers elow 40 re re not multiples of 5 or 8 ut re still p5, 8qrepresentle. We oserve tht there re p5 qp8 q{2 4 such numers, s expected. I hve lso outlined the numers in the fourth qudrnt tht re not p5, 8qrepresentle. Oserve tht these two shpes re congruent up to 80 rottion, nd in fct this is the trnsformtion c ÞÑ p cq. Oserve further tht the two shpes fit together perfectly to mke n p q ˆ p q rectngle. This is the geometric explntion for Sylvester s formul p qp q. 2
Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationMATH 573 FINAL EXAM. May 30, 2007
MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.
More informationHomework 4. 0 ε 0. (00) ε 0 ε 0 (00) (11) CS 341: Foundations of Computer Science II Prof. Marvin Nakayama
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 4 1. UsetheproceduredescriedinLemm1.55toconverttheregulrexpression(((00) (11)) 01) into n NFA. Answer: 0 0 1 1 00 0 0 11 1 1 01 0 1 (00)
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More informationQUADRATIC EQUATIONS OBJECTIVE PROBLEMS
QUADRATIC EQUATIONS OBJECTIVE PROBLEMS +. The solution of the eqution will e (), () 0,, 5, 5. The roots of the given eqution ( p q) ( q r) ( r p) 0 + + re p q r p (), r p p q, q r p q (), (d), q r p q.
More informationImproper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:
Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl
More informationQuadratic reciprocity
Qudrtic recirocity Frncisc Bozgn Los Angeles Mth Circle Octoer 8, 01 1 Qudrtic Recirocity nd Legendre Symol In the eginning of this lecture, we recll some sic knowledge out modulr rithmetic: Definition
More informationImproper Integrals. Introduction. Type 1: Improper Integrals on Infinite Intervals. When we defined the definite integral.
Improper Integrls Introduction When we defined the definite integrl f d we ssumed tht f ws continuous on [, ] where [, ] ws finite, closed intervl There re t lest two wys this definition cn fil to e stisfied:
More informationHomework Solution  Set 5 Due: Friday 10/03/08
CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution  et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte nonfinl.
More informationUniversitaireWiskundeCompetitie. Problem 2005/4A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More informationChapter 9 Definite Integrals
Chpter 9 Definite Integrls In the previous chpter we found how to tke n ntiderivtive nd investigted the indefinite integrl. In this chpter the connection etween ntiderivtives nd definite integrls is estlished
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More information10. AREAS BETWEEN CURVES
. AREAS BETWEEN CURVES.. Ares etween curves So res ove the xxis re positive nd res elow re negtive, right? Wrong! We lied! Well, when you first lern out integrtion it s convenient fiction tht s true in
More informationdx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.
Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd
More informationMath 259 Winter Solutions to Homework #9
Mth 59 Winter 9 Solutions to Homework #9 Prolems from Pges 658659 (Section.8). Given f(, y, z) = + y + z nd the constrint g(, y, z) = + y + z =, the three equtions tht we get y setting up the Lgrnge multiplier
More informationMATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35
MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.
More information5: The Definite Integral
5: The Definite Integrl 5.: Estimting with Finite Sums Consider moving oject its velocity (meters per second) t ny time (seconds) is given y v t = t+. Cn we use this informtion to determine the distnce
More informationSTRAND J: TRANSFORMATIONS, VECTORS and MATRICES
Mthemtics SKE: STRN J STRN J: TRNSFORMTIONS, VETORS nd MTRIES J3 Vectors Text ontents Section J3.1 Vectors nd Sclrs * J3. Vectors nd Geometry Mthemtics SKE: STRN J J3 Vectors J3.1 Vectors nd Sclrs Vectors
More informationSection 7.1 Area of a Region Between Two Curves
Section 7.1 Are of Region Between Two Curves White Bord Chllenge The circle elow is inscried into squre: Clcultor 0 cm Wht is the shded re? 400 100 85.841cm White Bord Chllenge Find the re of the region
More information8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.
8. Complex Numers The rel numer system is dequte for solving mny mthemticl prolems. But it is necessry to extend the rel numer system to solve numer of importnt prolems. Complex numers do not chnge the
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More information#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z
#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z Kurt Girstmir Institut für Mthemtik, Universität Innsruck, Innsruck, Austri kurt.girstmir@uik.c.t Received: 10/4/16, Accepted: 7/3/17, Pulished:
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationProblem Set 9. Figure 1: Diagram. This picture is a rough sketch of the 4 parabolas that give us the area that we need to find. The equations are:
(x + y ) = y + (x + y ) = x + Problem Set 9 Discussion: Nov., Nov. 8, Nov. (on probbility nd binomil coefficients) The nme fter the problem is the designted writer of the solution of tht problem. (No one
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 004 Exerise  0509 Exerise  093 Exerise  3 45 Exerise  4 6 Answer Key 78 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More information2 b. , a. area is S= 2π xds. Again, understand where these formulas came from (pages ).
AP Clculus BC Review Chpter 8 Prt nd Chpter 9 Things to Know nd Be Ale to Do Know everything from the first prt of Chpter 8 Given n integrnd figure out how to ntidifferentite it using ny of the following
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationQUADRATIC EQUATION EXERCISE  01 CHECK YOUR GRASP
QUADRATIC EQUATION EXERCISE  0 CHECK YOUR GRASP. Sine sum of oeffiients 0. Hint : It's one root is nd other root is 8 nd 5 5. tn other root 9. q 4p 0 q p q p, q 4 p,,, 4 Hene 7 vlues of (p, q) 7 equtions
More informationHOW TO CHANGE COINS, M&M S, OR CHICKEN NUGGETS: THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS
HOW TO CHANGE COINS, M&M S, OR CHICKEN NUGGETS: THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS MATTHIAS BECK. Introduction Let s imgine tht we introduce new coin system. Insted of using pennies, nickels,
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 18, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationDesigning Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon.
EECS 16A Designing Informtion Devices nd Systems I Fll 2016 Bk Ayzifr, Vldimir Stojnovic Homework 6 This homework is due Octoer 11, 2016, t Noon. 1. Homework process nd study group Who else did you work
More informationThe Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5
The Dirichlet Prolem in Two Dimensionl Rectngle Section 13.5 1 Dirichlet Prolem in Rectngle In these notes we will pply the method of seprtion of vriles to otin solutions to elliptic prolems in rectngle
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationNon Right Angled Triangles
Non Right ngled Tringles Non Right ngled Tringles urriulum Redy www.mthletis.om Non Right ngled Tringles NON RIGHT NGLED TRINGLES sin i, os i nd tn i re lso useful in nonright ngled tringles. This unit
More informationRegular Language. Nonregular Languages The Pumping Lemma. The pumping lemma. Regular Language. The pumping lemma. Infinitely long words 3/17/15
Regulr Lnguge Nonregulr Lnguges The Pumping Lemm Models of Comput=on Chpter 10 Recll, tht ny lnguge tht cn e descried y regulr expression is clled regulr lnguge In this lecture we will prove tht not ll
More informationContinuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom
Lerning Gols Continuous Rndom Vriles Clss 5, 8.05 Jeremy Orloff nd Jonthn Bloom. Know the definition of continuous rndom vrile. 2. Know the definition of the proility density function (pdf) nd cumultive
More information42nd International Mathematical Olympiad
nd Interntionl Mthemticl Olympid Wshington, DC, United Sttes of Americ July 8 9, 001 Problems Ech problem is worth seven points. Problem 1 Let ABC be n cutengled tringle with circumcentre O. Let P on
More informationHomework Assignment 3 Solution Set
Homework Assignment 3 Solution Set PHYCS 44 6 Ferury, 4 Prolem 1 (Griffiths.5(c The potentil due to ny continuous chrge distriution is the sum of the contriutions from ech infinitesiml chrge in the distriution.
More informationSturmLiouville Theory
LECTURE 1 SturmLiouville Theory In the two preceing lectures I emonstrte the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series re just the tip of the iceerg of the theory
More informationu(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.
Lecture 4 Complex Integrtion MATHGA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex
More information8 factors of x. For our second example, let s raise a power to a power:
CH 5 THE FIVE LAWS OF EXPONENTS EXPONENTS WITH VARIABLES It s no time for chnge in tctics, in order to give us deeper understnding of eponents. For ech of the folloing five emples, e ill stretch nd squish,
More informationPRIMES AND QUADRATIC RECIPROCITY
PRIMES AND QUADRATIC RECIPROCITY ANGELICA WONG Abstrct We discuss number theory with the ultimte gol of understnding udrtic recirocity We begin by discussing Fermt s Little Theorem, the Chinese Reminder
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationTHE QUADRATIC RECIPROCITY LAW OF DUKEHOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p
THE QUADRATIC RECIPROCITY LAW OF DUKEHOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ
More informationHarvard University Computer Science 121 Midterm October 23, 2012
Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closedook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationVariational Techniques for SturmLiouville Eigenvalue Problems
Vritionl Techniques for SturmLiouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More information2. VECTORS AND MATRICES IN 3 DIMENSIONS
2 VECTORS AND MATRICES IN 3 DIMENSIONS 21 Extending the Theory of 2dimensionl Vectors x A point in 3dimensionl spce cn e represented y column vector of the form y z zxis yxis z x y xxis Most of the
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationAnonymous Math 361: Homework 5. x i = 1 (1 u i )
Anonymous Mth 36: Homewor 5 Rudin. Let I be the set of ll u (u,..., u ) R with u i for ll i; let Q be the set of ll x (x,..., x ) R with x i, x i. (I is the unit cube; Q is the stndrd simplex in R ). Define
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationREVIEW Chapter 1 The Real Number System
Mth 7 REVIEW Chpter The Rel Number System In clss work: Solve ll exercises. (Sections. &. Definition A set is collection of objects (elements. The Set of Nturl Numbers N N = {,,,, 5, } The Set of Whole
More informationThe Modified Heinz s Inequality
Journl of Applied Mthemtics nd Physics, 03,, 6570 Pulished Online Novemer 03 (http://wwwscirporg/journl/jmp) http://dxdoiorg/0436/jmp03500 The Modified Heinz s Inequlity Tkshi Yoshino Mthemticl Institute,
More informationPARTIAL FRACTION DECOMPOSITION
PARTIAL FRACTION DECOMPOSITION LARRY SUSANKA 1. Fcts bout Polynomils nd Nottion We must ssemble some tools nd nottion to prove the existence of the stndrd prtil frction decomposition, used s n integrtion
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More information4 VECTORS. 4.0 Introduction. Objectives. Activity 1
4 VECTRS Chpter 4 Vectors jectives fter studying this chpter you should understnd the difference etween vectors nd sclrs; e le to find the mgnitude nd direction of vector; e le to dd vectors, nd multiply
More informationx ) dx dx x sec x over the interval (, ).
Curve on 6 For , () Evlute the integrl, n (b) check your nswer by ifferentiting. ( ). ( ). ( ).. 6. sin cos 7. sec csccot 8. sec (sec tn ) 9. sin csc. Evlute the integrl sin by multiplying the numertor
More informationMath 113 Exam 2 Practice
Mth Em Prctice Februry, 8 Em will cover sections 6.5, 7.7.5 nd 7.8. This sheet hs three sections. The first section will remind you bout techniques nd formuls tht you should know. The second gives number
More informationexpression simply by forming an OR of the ANDs of all input variables for which the output is
2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4305 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More informationis equal to  (A) abc (B) 2abc (C) 0 (D) 4abc (sinx) + a 2 (sin 2 x) a n (A) 1 (B) 1 (C) 0 (D) 2 is equal to 
JMthemtics XRCIS  0 CHCK YOUR GRASP SLCT TH CORRCT ALTRNATIV (ONLY ON CORRCT ANSWR). The vlue of determinnt c c c c c c (A) c (B) c (C) 0 (D) 4c. If sin x cos x cos 4x cos x cos x sin x 4 cos x sin x
More informationCS 311 Homework 3 due 16:30, Thursday, 14 th October 2010
CS 311 Homework 3 due 16:30, Thursdy, 14 th Octoer 2010 Homework must e sumitted on pper, in clss. Question 1. [15 pts.; 5 pts. ech] Drw stte digrms for NFAs recognizing the following lnguges:. L = {w
More informationIf deg(num) deg(denom), then we should use longdivision of polynomials to rewrite: p(x) = s(x) + r(x) q(x), q(x)
Mth 50 The method of prtil frction decomposition (PFD is used to integrte some rtionl functions of the form p(x, where p/q is in lowest terms nd deg(num < deg(denom. q(x If deg(num deg(denom, then we should
More informationBest Approximation in the 2norm
Jim Lmbers MAT 77 Fll Semester 111 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationdifferent methods (left endpoint, right endpoint, midpoint, trapezoid, Simpson s).
Mth 1A with Professor Stnkov Worksheet, Discussion #41; Wednesdy, 12/6/217 GSI nme: Roy Zho Problems 1. Write the integrl 3 dx s limit of Riemnn sums. Write it using 2 intervls using the 1 x different
More informationLecture 7 notes Nodal Analysis
Lecture 7 notes Nodl Anlysis Generl Network Anlysis In mny cses you hve multiple unknowns in circuit, sy the voltges cross multiple resistors. Network nlysis is systemtic wy to generte multiple equtions
More informationMath 8 Winter 2015 Applications of Integration
Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl
More informationRiemann Integrals and the Fundamental Theorem of Calculus
Riemnn Integrls nd the Fundmentl Theorem of Clculus Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University September 16, 2013 Outline Grphing Riemnn Sums
More informationHandout: Natural deduction for first order logic
MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes
More information1 From NFA to regular expression
Note 1: How to convert DFA/NFA to regulr expression Version: 1.0 S/EE 374, Fll 2017 Septemer 11, 2017 In this note, we show tht ny DFA cn e converted into regulr expression. Our construction would work
More informationapproaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below
. Eponentil nd rithmic functions.1 Eponentil Functions A function of the form f() =, > 0, 1 is clled n eponentil function. Its domin is the set of ll rel f ( 1) numbers. For n eponentil function f we hve.
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06073 HIKARI Ltd, www.mhikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationTriangles The following examples explore aspects of triangles:
Tringles The following exmples explore spects of tringles: xmple 1: ltitude of right ngled tringle + xmple : tringle ltitude of the symmetricl ltitude of n isosceles x x  4 +x xmple 3: ltitude of the
More informationEulerMaclaurin Summation Formula 1
Jnury 9, EulerMclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous relvlued function on I), nd let L 1 (I) denote the completion
More informationName Ima Sample ASU ID
Nme Im Smple ASU ID 2468024680 CSE 355 Test 1, Fll 2016 30 Septemer 2016, 8:359:25.m., LSA 191 Regrding of Midterms If you elieve tht your grde hs not een dded up correctly, return the entire pper to
More informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be relvlues nd smooth The pproximtion of n integrl by numericl
More informationBasics of Olympiad Inequalities. Samin Riasat
Bsics of Olympid Inequlities Smin Rist ii Introduction The im of this note is to cquint students, who wnt to prticipte in mthemticl Olympids, to Olympid level inequlities from the sics Inequlities re used
More informationChapter Five  Eigenvalues, Eigenfunctions, and All That
Chpter Five  Eigenvlues, Eigenfunctions, n All Tht The prtil ifferentil eqution methos escrie in the previous chpter is specil cse of more generl setting in which we hve n eqution of the form L 1 xux,tl
More information13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS
33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
More informationContinuous Random Variables
STAT/MATH 395 A  PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is relvlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationMath 113 Exam 2 Practice
Mth 3 Exm Prctice Februry 8, 03 Exm will cover 7.4, 7.5, 7.7, 7.8, 8.3 nd 8.5. Plese note tht integrtion skills lerned in erlier sections will still be needed for the mteril in 7.5, 7.8 nd chpter 8. This
More informationPreSession Review. Part 1: Basic Algebra; Linear Functions and Graphs
PreSession Review Prt 1: Bsic Algebr; Liner Functions nd Grphs A. Generl Review nd Introduction to Algebr Hierrchy of Arithmetic Opertions Opertions in ny expression re performed in the following order:
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:1018:30 Techer: Dniel Hedin, phone 021107052 The exm
More informationChapter 7. Kleene s Theorem. 7.1 Kleene s Theorem. The following theorem is the most important and fundamental result in the theory of FA s:
Chpte 7 Kleene s Theoem 7.1 Kleene s Theoem The following theoem is the most impotnt nd fundmentl esult in the theoy of FA s: Theoem 6 Any lnguge tht cn e defined y eithe egul expession, o finite utomt,
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More information