Supplement 4 Permutations, Legendre symbol and quadratic reciprocity

Size: px
Start display at page:

Download "Supplement 4 Permutations, Legendre symbol and quadratic reciprocity"

Transcription

1 Sulement 4 Permuttions, Legendre symbol nd qudrtic recirocity 1. Permuttions. If S is nite set contining n elements then ermuttion of S is one to one ming of S onto S. Usully S is the set f1; ; :::; ng nd ermuttion cn be reresented s follows: Thus if n 5 we could hve 1 ::: j ::: n (1) () ::: (j) ::: (n) If f; bg S, 6 b then we cn de ne ermuttion of S s follows: < c if c f; bg (c) b if c : if c b We will cll such ermuttion trnsosition nd denote it (b). If nd re ermuttions of S then we write for the usul comosition of ms (() (())). Since ermuttion is one to one nd onto if is ermuttion then we cn de ne 1 by 1 (y) x if (x) y. If I is the identity m then 1 1 I. We lso note tht () () for ermuttions ; ;. Lemm 1 Every ermuttion,, cn be written s roduct of trnsositions. (Here roduct of no trnsositions is the identity m, I.) Proof. Let n be the number of elements in S. We rove the result by induction on j with n j the number of elements in S xed by. If j 0 then is the identity m nd thus is written s roduct of n 0 trnsositions. Assume tht we hve rove the theorem for ll t lest n j xed oints. We look t the cse when hs n j 1 xed oints. Let S be such 1

2 tht () b nd b 6. Then (b)(). Suose tht (c) c then c 6 nd c 6 b since if (c) b then () (c) which is contrry to our ssumtion. Thus if (c) c then (b)(c) c. This imlies tht the number of elements xed by (b) is t lest n j n j. Thus (b)(c) cn be written s ( 1 b 1 ) ( r b r ). Now (b)(b) I the identity. Thus (b)(b) (b)( 1 b 1 ) ( r b r ): This comletes the inductive ste. Note tht the bove lemm gives method for clcultion. Consider given by Then (13) is given by (3)(13) is given by (35)(3)(13) is given by nd nlly (45)(35)(3)(13) is the identity. Since trnsosition is its own inverse we see tht (13)(3)(35)(45): Let x 1 ; :::; x n be n indetermintes. Set (x 1 ; :::; x n ) Q 1i<jn (x i x j ). Theorem Let be ermuttion of set S with n elements. Let f 1 ; ; :::; n g be listing of the elements of S: If de ne : f1; :::; ng! f1; :::; ng by ( i ) (i) then (1) Q 1i<jn (x (i) x (j) ) "()(x 1 ; :::; x n ) with "() f1; 1g. () If ; re ermuttions nd ( i ) (i) then ( i ) (i) nd "() "()"(). (3) Suose tht fb 1 ; :::; b n g is nother listing of the elements of S nd we de ne : f1; :::; ng! f1; :::; ng by (b i ) b (i). Then "() "(): This sys tht we cn de ne sgn() "() since the exression is indeendent of how we enumerte the elements of S.

3 (4) Assume tht S S 1 [ S with S 1 \ S ;. Let i be ermuttion of S i for i 1;. De ne ermuttion of S by 1 (x) if x S (x) 1 : (x) if x S Then sgn() sgn( 1 )sgn( ). (5)If (b 1 c 1 ) (b r c r ) then "() ( 1) r. Proof. Let A f(i; jgj1 i < j n nd (i) < (j)g, nd B f(i; j)j1 i < j n nd (i) > (j)g. Since is one to one we see tht A [ B f(i; j)j1 i < j ng. Thus (x (i) x (j) ) (x (i) x (j) ) (x (i) x (j) ): 1i<jn (i;j)a (i;j)b Thus 1i<jn We now note tht (x (i) x (j) ) ( 1) jb j (i;j)a (x (i) x (j) ) (i;j)a (x (i) x (j) ) (i;j)b (x (j) x (i) ): (i;j)b (x (j) x (i) ) (x 1 ; :::; x n ): This roves 1 with "() ( 1) B. We will now rove : We hve (i) ( i ). Now (i) ( (i) ) (( i )): We hve (x (i) x (j) ) (x (i) x (j) ) (x (i) 1i<jn (i;j)a (i;j)b x (j) ) ( 1) jb j "() (x (i) (i;j)a x (j) ) (x (j) (i;j)b x (i) ) (x (i) x (j) ) "()"()(x 1 ; :::; x n ): 1i<jn This imlies tht "() "()"() roving. 3

4 We will now rove 3. For this we note tht b i (i) with ermuttion of f1; :::; ng. Thus (b i ) ( (i) ) ((i)) b 1 (((i))): Thus (i) 1 (i). Since "( 1 ) "(I) 1, we hve "() "( 1 )"()"() "( 1 )"()"() "(): To rove (4) we enumerte S by writing S 1 f 1 ; :::; r g nd S f r+1 ; :::; r+s g with r + s n. Then 1 ( i ) (i) for i 1; :::; r with ermuttion of f1; :::; sg nd ( r+j ) r+(j) with ermuttion of 1; :::; s: Then if is de ned by (x) if 1 x r (j) (x r) if r < x n : sgn() (x i x j ) (x (i) x (j) ) 1i<jr (x (i) x (j) ) 1i<jn The middle fctor is just The left most fctor is nd the right most is 1 i r 1 j s 1 i r 1 j s "() "() 1i<jn (x (i) x r+(j) ) 1i<jr 1i<js (x i x r+j ): (x i x j ) (x r+i x r+j ): 1i<js (x r+(i) x r+(j) ): Thus sgn() "()"() sgn( 1 )sgn( ). To rove (5) in light of. we need only show tht if ; b S nd 6 b then sgn((b)) 1. Let S 1 f; bg nd S S f; bg then (b) is given s in (4) with 1 (b) js1 nd the identity m on S. The result now follows since (x x 1 ) (x 1 x ). 4

5 De nition 3 We will cll sgn() the sign of the ermuttion. We will now look t the exmle bove with given by we hve seen tht (13)(3)(35)(45) so sgn() 1 by (3) in the revious theorem. Note tht the method of roof (1),() of the bove theorem gives nother method. It indictes tht we should count the irs i < j such tht the corresonding elements re in the reverse order. This mens tht we cn red from left to right in the second row nd in this exmle note tht 3 > 1, 3 > ; 5 > nd 5 > 4. ll other irs re left in incresing order. Thus the method of the roof gives n lternte determintion tht sgn() 1. De nition 4 If 1 ::: j ::: n (1) () ::: (j) ::: (n) is ermuttion nd (i) > (j) with i < j then the ir (i); (j) is clled descent. If N is the number of descents then sgn() ( 1) N. In the next section we will need few clcultions of signs of ermuttions. Lemm 5 Let (i) i + 1 for 1 i n 1 nd (n) 1. Then sgn() ( 1) n 1. Proof. Here we re looking t 1 ::: j ::: n 1 n 3 ::: j + 1 ::: n 1 we note tht the descents re exctly (; 1); (3; 1); :::; (n; 1) nd thus there re exctly n 1 descents. Lemm 6 Assume tht n k consider given by 1 ::: k k + 1 k + ::: k 1 k 4 ::: k 1 3 ::: k 3 k 1 5

6 Then sgn() ( 1) k(k+1). Proof. The descents re (; 1); (4; 1); (4; 3); (6; 1); (6; 3); (6; 5); :::; (k; 1); (k; 3); :::; (k; k 1): If we count them u we get ::: + k k(k+1) : Thus sgn() ( 1) k(k+1) s sserted.. The Legendre symbol nd ermuttions. In this section will denote n odd rime. Let F be the eld ZZ f1; ; :::; 1g, s usul. If F f0g then we consider the elements f 1; ; :::; ( 1)g then since 6 0 this de nes ermuttion of F f0g. We note tht b b for ; b F f0g. Our key observtion is Lemm 7 If F f0g then sgn( ). Proof. Let F f0g be rimitive element. Then F f0g f1; ; ; :::; g. We write i i 1 for i 1; :::; 1. Then with this enumertion corresonds to the ermuttion 1 ::: j ::: 1 3 ::: j + 1 ::: 1 1 which, by Lemm 5, hs sign ( 1) ( 1) 1 ( 1) 1 since is odd. We now note tht if F f0g then j with 0 j. Thus sgn( ) sgn( j) sgn( ) j ( 1) j. We hve seen in sulement 3 tht ( 1) j. Corollry ( 1) 1 : Proof. We note tht i i for i 1. Also ( 1 + j) 1 + j + (j 1): 6

7 Thus ( j) j 1 mod for j 1; :::;. This imlies tht if k then is given by 1 ::: k k + 1 k + ::: k 1 k 4 ::: k 1 3 ::: k 3 k 1 nd so Lemm 6 imlies tht sgn( ) ( k follows from Lemm 7. hence k(k+1) ( 1) (+1) 1) k(k+1). Now k 1 nd which is 1. The corollry now Our next result is usully clled Guss Lemm. He roved it s rt of his third roof of the lw of qudrtic recirocity. Lemm 9 Let Z be such tht -. Let N be the number of elements j (1; ; :::; 1 1 g such tht j r mod with < r 1. Then ( 1) N. Proof. Let b be the element of F corresonding to. We write out the miniml ositive residues mod s 1; ; :::; 1 ; 1; ; :::; 1 if we reduce modulo then we cn write out F f0g s 1; ; :::; 1 ; 1; ; :::; 1 : Now if 1 i 1 nd bi u i mod which we tke to be in the rnge 1 u i 1. We note tht b( i) u i mod. We de ne v i s follows. If 1 u i 1 then v i u i. If 1 < u i < then we de ne v i by u i v i mod with 1 v i 1 : Then if b(i) v i then b ( i) v i nd if b (i) v i then b ( i) v i. Thus if T is the set of 1 i 1 nd 1 < u i < then if i T then b (i) v i. Assume tht T fj 1 ; :::; j N g. We multily b by the roduct of N trnsositions tht interchnge v i nd v i for i T (v j1 ( v j1 )) (v jn ( v jn )) b 7

8 nd get the ermuttion ::: 1 ::: v 1 v ::: v 1 v 1 v ::: v 1 this ermuttion hs sign equl to 1 by 4. in Theorem since if we write S 1 f1; ; :::; 1 g nd S 1 f 1; :::; g then if we lbel S by 1 1; ; :::; 1 1 then we see tht is of the form of 4. in Theorem with the sme ermuttion on both rts. Thus by rt 3 of Theorem. sgn( b ) sgn((v j1 ( v j1 )) (v jn ( v jn ))) ( 1) N Here is n exmle of the method of roof of the bove lemm. We ssume tht 7 we tke b 3: Then the multiles re 3; 6; 9 3; 6; 9 if we reduce modulo 7 we hve 3; 6; ; 3; 6; now if we relce the elements lrger thn 1 3 by negtive residue we relce 6 by 1 thus we get If we multily this by the trnsosition of 1 nd 1 we hve We now hve 3 de nitions of the Legendre symbol we will now give fourth. For this we need new nottion: if is rel number then we set [] mxfj Zjj g. Thus [ 5 4 ] 6. Lemm 10 If Z nd - set Then ( 1) U(;) : U(; ) X 1 i1 i : ( 1) U(;) ( 1) 1 ( 1). In rticulr, if is odd then

9 Proof. We note tht the division lgorithm cn be rehrsed s j j + r j with 0 j <. If 1 j 1 then r j 6 0. since doesn t divide j or. Let T fjj 1 < r j < g. Then if j T we cn write r j s j with 1 s j 1. We therefore see tht X j 1 j1 X 1 i1 i + X r j + jt j j T X s j. Now the set of elements fr j jj T g [ fs j jj T g f1; ; :::; 1 g. Thus jt X j T r j X s j jt X j 1 j1 X jt s j : If we observe tht P 1 j1 j 1 +1 then we hve 1 1 X i ( 1) + jt j X s j : i1 jt If we consider this eqution modulo tking ccount of the fct tht 1 mod we hve 1 ( 1) P 1 h i i i1 + jt j mod. This imlies tht jt j + 1 ( 1) U(; ) mod. Thus by Guss Lemm (Lemm 9) we hve ( 1) 1 ( 1) ( 1) jt j ( 1) 1 ( 1) ( 1) U(;) : Qudrtic Recirocity. We re nlly redy to stte nd rove the Lw of Qudrtic Recirocity. This theorem is usully ttributed to Guss who gve the rst roof of the theorem nd in the course of his life gve 7 roofs. However, both Legendre nd Euler hd thought tht the lw ws very robble nd ech gve t lest one incorrect roof. 9

10 Theorem 11 Let nd q be distinct odd rimes then q ( 1) 1 q 1 : q Proof. We consider the set S of ll irs (i; j) with 1 i 1 nd 1 j q 1. If (i; j) S we ssert tht qi 6 j. Since if qi j then since 6 q the equlity would imly tht qjj but j is not 0 nd is too smll. Thus if (i; j) S then qi 6 j. Let A f(i; j) Sjqi > jg nd B f(i; j) Sjqi < jg then S is the disjoint union of A nd B. We will now count the number of elements of A. We count the number with rst coordinte i. If (i; j) A then qi > j. This imlies tht qi > j. Thus h i h i qi j 1 nd since qi > qi we see tht every such j ers. Hence the h i qi number of elements of A with rst coordinte i is. Hence the number of elements in A is 1 X qi U(q; ) i1 (see Lemm 10). The sme rgument imlies tht the number of elements in B is U(; q): But S hs 1 q 1 elements. Hence ( 1) U(;q) ( 1) U(q;) ( 1) 1 q 1 : The result now follows since ( 1) U(;q) q nd ( 1) U(q;) We will now show how one cn use this result s owerful tool for the comuttion of Legendre symbols. Consider, ( 1) 565 ( ) ( 1) ( ) by Corollry. But so we hve ( 1) Thus 11 is squre in F : 5 q. 10

11 Exercises. 1. Write the ermuttion s roduct of trnsositions. 1 3 ::: n n 1 n 3 4 ::: n 1 n 1. Prove tht if S hs 1 n < 1 elements then the number of ermuttions of S is n!. Use this to rove tht if n then n n > n!. (Hint. How mny functions re there from S to S?). 3. Comute the sign of the following ermuttion by counting the descents nd by writing it s roduct of trnsositions : 4. Wht is the sign of the ermuttion 1 ::: k k + 1 k + ::: k 1 3 ::: k 1 4 ::: k 5. Let q be n odd rime. Show tht is qudrtic residue modulo q if nd only if q l Let ; q be odd rimes. Show tht of qj( 1) then j(q 1) nd q l1 for some integer l. (Hint: Is qudrtic residue mod q?) 7. Clculte the following Legendre symbols: 31 ) 641. b) 7 79 : c) :. Let be n odd rime. Let ; b; c F with 6 0 nd let f(t) t +bt+c then f hs root in F if nd only of 4bc 6 1. How mny roots does f(t) hve in F if 1? 4bc 9. Let be n odd rime show tht the smllest ositive integer tht is not squre modulo is rime. 11

12 10. Prove tht if is n odd rime with > 3 then the congruence x 3 mod hs solution of nd only if 1 mod 3. Show tht if is rime such tht 1 mod 3 nd 1 mod 4 then two solutions to re Use Lemm 10 to clculte x 3 mod for nd odd rime. 1. Derive the rst rt of roblem 10 bove from Lemm A Fermt rime is rime q r + 1 with r ositive integer. Use the lw of qudrtic recirocity to show tht if q r + 1 is n odd rime then r must be even nd 1. 3 q 1

13 The Jcobi symbol As it turns out the rguments in the revious two sections on the Legendre symbol work eqully well for the (more generl) Jcobi symbol. We will describe the modi ctions in this section. Let b Z be odd number with b > 1. We will set R b ZbZ. If Z nd gcd(; b) 1 we note tht multiliction by de nes ermuttion of R b f0g which we denote by ;b. Then we de ne the Jcobi symbol b sgn(;b ). If b 1 we set 1 1 nd if gcd(; b) 6 1 then set b 0. Lemm 7 imlies tht if b is rime then the Jcobi symbol grees with the Legendre symbol. Lemm 1 The if 0 mod b then Jcobi symbol b 0 b : If b is ositive nd odd then 1 1 : b b b Proof. The rst ssertion is direct consequence of the de nition. If b 1 or if ny one of the terms in the sserted equlity is 0 then the equlity is obviously true. iin ll the other cses b > 1 nd gcd( 1 ; b) gcd( ; b) 1 nd the result follows from 1 ;b ;b 1 ;b. Theorem 13 If b Z >0 is odd then b ( 1) b 1 : Proof. We my ssume tht b > 1. The roof is exctly the sme s tht of Corollry with relced by ;b, relced by b, k b 1 nd Lemm 7 relced by the de nition of the Jcobi symbol. Lemm 14 Let b be odd nd b > 1 nd let Z be such tht gcd(; b) 1. Let N be the number of elements j (1; ; :::; b 1 g such tht j r mod b with b 1 < r b 1. Then b ( 1) N. Proof. The roof is the sme s tht of Lemm 9 however since the nottion in tht roof overls tht in the bove sttement we will give the detils. We write out the miniml ositive residues mod b s 1; ; :::; b 1 ; b 1; b ; :::; b b 1 if we reduce modulo b then we cn write out R b f0g s 1; ; :::; b 1 ; 1; ; :::; b 1 : 13

14 Now if 1 i b 1 nd i u i mod b which we tke to be in the rnge 1 u i b 1. We note tht ( i) u i mod b. We de ne v i s follows. If 1 u i b 1 then v i u i. If b 1 < u i < b then we de ne v i by u i v i mod b with 1 v i b 1: Then if ;b(i) v i then ;b ( i) v i nd if ;b (i) v i then ;b ( i) v i. Thus if T is the set of 1 i b 1 nd b 1 < u i < b then if i T then ;b (i) v i. Assume tht T fj 1 ; :::; j N g. We multily ;b by the roduct of N trnsositions, (v i ( v i )) tht interchnge v i nd v i for i T (v j1 ( v j1 )) (v jn ( v jn )) b nd get the ermuttion given by b 1 b 1 1 ::: 1 ::: v 1 v ::: v b 1 v 1 v ::: v b 1 this ermuttion hs sign equl to 1 by (4) in Theorem since if we write S 1 f1; ; :::; b 1g nd S b 1 f 1; :::; g then if we lbel S by 1 1; ; :::; b 1 b 1 then we see tht is of the form of (4) in Theorem with the sme ermuttion on both rts. Thus sgn( ;b ) sgn((v j1 ( v j1 )) (v jn ( v jn ))) ( 1) N by rt (3) of Theorem. We lso hve Lemm 15 If b is odd nd b > 1 nd if Z >0 nd gcd(; b) 1 set U(; b) X b 1 i1 i b then b ( 1) U(;b) ( 1) ( 1) b 1. In rticulr, if is odd then b ( 1) U(;b). Proof. As bove the roof of this result is essentilly the sme s tht of Lemm 10 if we relce by b: We will go through the rgument since the stes re the sme but some of the justi ctions re di erent. We note tht the division lgorithm cn be rehrsed s j j b + r j b 14

15 with 0 j < b. If 1 j b 1 then r j 6 0. since gcd(; b) 1 nd j is too smll for b to divide it. Let T fjj b 1 < r j < bg. Then if j T we cn write r j b s j with 1 s j b 1. We note tht X j b 1 j1 b 1 ( b 1 + 1) b 1 : X j b b 1 j1 X b 1 i1 i + X r j + bjt j b j T X s j. Now the set of elements fr j jj T g [ fs j jj T g f1; ; :::; b 1 g. Thus jt X j T r j X s j jt X j b 1 j1 X jt s j b 1 X jt s j : Also P b 1 j1 j P b 1 j1 j b 1 thus. b b 1 1 X i ( 1) b + bjt j X s j : b i1 jt If we consider this eqution modulo tking ccount of the fct tht b 1 mod we hve b 1 ( 1) P b 1 i i1 b + jt j mod. This imlies tht jt j + b 1( 1) U(; b) mod. Thus by Lemm 14 we hve ( 1) b 1 ( 1) ( 1) jt j ( 1) b 1 ( 1) ( 1) U(;b) : b Finlly we hve the recirocity theorem. Theorem 16 Let nd b be odd numbers such tht gcd(; b) 1 with ; b > 1 then b ( 1) 1 b 1 : b 15

16 Proof. The roof is essentilly the sme s tht of Theorem 11 we will give the detils since the chnge in nottion could be confusing. We consider the set S of ll irs (i; j) with 1 i 1 nd 1 j b 1. If (i; j) S we ssert tht bi 6 j. Since if i bj then since gcd(; b) 1 the equlity would imly tht jj but j is not 0 nd is too smll. Thus if (i; j) S then bi 6 j. Let A f(i; j) Sjbi > jg nd B f(i; j) Sjbi < jg then S is the disjoint union of A nd B. We will now count the number of elements of A by counting the number with rst coordinte i. If (i; j) A then bi > j. This imlies tht bi > j. Thus bi j 1 nd since bi > bi (since - (bi). we see tht every such j ers. Hence the number of elements of A with rst coordinte i is bi. Hence the number of elements in A is P 1 bi i1 U(b; ). The sme rgument imlies tht the number of elements in B is U(; b): But S hs 1 b 1 elements. Hence ( 1) U(;b) ( 1) U(b;) ( 1) 1 b 1 : The result now follows since ( 1) U(;b) b nd ( 1) U(b;) b. This theorem imlies tht our de nition of the Jcobi symbol is equivlent to the stndrd one (see Rose,.71-7 nd do Exercise 17). The bove recirocity lw llows us to comute Legendre symbols without rime fctoriztion (excet for the highest ower of which is obvious if we write out numbers bse ). Here is n exmle. ou cn check tht 7919 nd 37 re rimes. Thus we hve : 5 Exercises. 14. Write out the detils of the roof of Theorem Clculte the following Legendre symbols using the Jcobi symbol. )

17 b) Why is it good ide to write numbers in bse in the clcultion of Jcobi symbols? 17. Show (using the theorems bove) tht our de nition of the Jcobi symbol is equivlent with tht in Rose. 17

Quadratic Residues. Chapter Quadratic residues

Quadratic Residues. Chapter Quadratic residues Chter 8 Qudrtic Residues 8. Qudrtic residues Let n>be given ositive integer, nd gcd, n. We sy tht Z n is qudrtic residue mod n if the congruence x mod n is solvble. Otherwise, is clled qudrtic nonresidue

More information

Quadratic reciprocity

Quadratic 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 information

Duke Math Meet

Duke Math Meet Duke Mth Meet 01-14 Power Round Qudrtic Residues nd Prime Numers For integers nd, we write to indicte tht evenly divides, nd to indicte tht does not divide For exmle, 4 nd 4 Let e rime numer An integer

More information

QUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN

QUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN QUADRATIC RESIDUES MATH 37 FALL 005 INSTRUCTOR: PROFESSOR AITKEN When is n integer sure modulo? When does udrtic eution hve roots modulo? These re the uestions tht will concern us in this hndout 1 The

More information

PRIMES AND QUADRATIC RECIPROCITY

PRIMES 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 information

LECTURE 10: JACOBI SYMBOL

LECTURE 10: JACOBI SYMBOL LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily

More information

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year

USA Mathematical Talent Search Round 1 Solutions Year 25 Academic Year 1/1/5. Alex is trying to oen lock whose code is sequence tht is three letters long, with ech of the letters being one of A, B or C, ossibly reeted. The lock hs three buttons, lbeled A, B nd C. When the

More information

Kronecker-Jacobi symbol and Quadratic Reciprocity. Q b /Q p

Kronecker-Jacobi symbol and Quadratic Reciprocity. Q b /Q p Kronecker-Jcoi symol nd Qudrtic Recirocity Let Q e the field of rtionl numers, nd let Q, 0. For ositive rime integer, the Artin symol Q /Q hs the vlue 1 if Q is the slitting field of in Q, 0 if is rmified

More information

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS 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 information

(II.G) PRIME POWER MODULI AND POWER RESIDUES

(II.G) PRIME POWER MODULI AND POWER RESIDUES II.G PRIME POWER MODULI AND POWER RESIDUES I II.C, we used the Chiese Remider Theorem to reduce cogrueces modulo m r i i to cogrueces modulo r i i. For exmles d roblems, we stuck with r i 1 becuse we hd

More information

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.

More information

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

arxiv: v6 [math.nt] 20 Jan 2016

arxiv: v6 [math.nt] 20 Jan 2016 EXPONENTIALLY S-NUMBERS rxiv:50.0594v6 [mth.nt] 20 Jn 206 VLADIMIR SHEVELEV Abstrct. Let S be the set of ll finite or infinite incresing sequences of ositive integers. For sequence S = {sn)},n, from S,

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

MATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE

MATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE MATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE Prt 1. Let be odd rime d let Z such tht gcd(, 1. Show tht if is qudrtic residue mod, the is qudrtic residue mod for y ositive iteger.

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

plays an important role in many fields of mathematics. This sequence has nice number-theoretic properties; for example, E.

plays an important role in many fields of mathematics. This sequence has nice number-theoretic properties; for example, E. Tiwnese J. Mth. 17013, no., 13-143. FIBONACCI NUMBERS MODULO CUBES OF PRIMES Zhi-Wei Sun Dertment of Mthemtics, Nnjing University Nnjing 10093, Peole s Reublic of Chin zwsun@nju.edu.cn htt://mth.nju.edu.cn/

More information

k and v = v 1 j + u 3 i + v 2

k and v = v 1 j + u 3 i + v 2 ORTHOGONAL FUNCTIONS AND FOURIER SERIES Orthogonl functions A function cn e considered to e generliztion of vector. Thus the vector concets like the inner roduct nd orthogonlity of vectors cn e extended

More information

arxiv: v9 [math.nt] 8 Jun 2010

arxiv: v9 [math.nt] 8 Jun 2010 Int. J. Number Theory, in ress. ON SOME NEW CONGRUENCES FOR BINOMIAL COEFFICIENTS rxiv:0709.665v9 [mth.nt] 8 Jun 200 Zhi-Wei Sun Roberto Turso 2 Dertment of Mthemtics, Nning University Nning 2009, Peole

More information

Multiplicative functions of polynomial values in short intervals

Multiplicative functions of polynomial values in short intervals ACTA ARITHMETICA LXII3 1992 Multilictive functions of olnomil vlues in short intervls b Mohn Nir Glsgow 1 Introduction Let dn denote the divisor function nd let P n be n irreducible olnomil of degree g

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35

MATH 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 information

USA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year

USA 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 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.

More information

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected Exercises. g(x) 2 dx 1 2 a

McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected Exercises. g(x) 2 dx 1 2 a McGill University Mth 354: Honors Anlysis 3 Fll 2012 Assignment 1 Solutions to selected Exercises Exercise 1. (i) Verify the identity for ny two sets of comlex numers { 1,..., n } nd { 1,..., n } ( n )

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

MATH 573 FINAL EXAM. May 30, 2007

MATH 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 information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

7.3 Problem 7.3. ~B(~x) = ~ k ~ E(~x)=! but we also have a reected wave. ~E(~x) = ~ E 2 e i~ k 2 ~x i!t. ~B R (~x) = ~ k R ~ E R (~x)=!

7.3 Problem 7.3. ~B(~x) = ~ k ~ E(~x)=! but we also have a reected wave. ~E(~x) = ~ E 2 e i~ k 2 ~x i!t. ~B R (~x) = ~ k R ~ E R (~x)=! 7. Problem 7. We hve two semi-innite slbs of dielectric mteril with nd equl indices of refrction n >, with n ir g (n ) of thickness d between them. Let the surfces be in the x; y lne, with the g being

More information

Introduction to Group Theory

Introduction to Group Theory Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set 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 information

Abstract inner product spaces

Abstract inner product spaces WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the

More information

Chapter 1: Fundamentals

Chapter 1: Fundamentals Chpter 1: Fundmentls 1.1 Rel Numbers Types of Rel Numbers: Nturl Numbers: {1, 2, 3,...}; These re the counting numbers. Integers: {... 3, 2, 1, 0, 1, 2, 3,...}; These re ll the nturl numbers, their negtives,

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

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 information

DISCRETE MATHEMATICS HOMEWORK 3 SOLUTIONS

DISCRETE MATHEMATICS HOMEWORK 3 SOLUTIONS DISCRETE MATHEMATICS 21228 HOMEWORK 3 SOLUTIONS JC Due in clss Wednesdy September 17. You my collborte but must write up your solutions by yourself. Lte homework will not be ccepted. Homework must either

More information

Families of Solutions to Bernoulli ODEs

Families of Solutions to Bernoulli ODEs In the fmily of solutions to the differentil eqution y ry dx + = it is shown tht vrition of the initil condition y( 0 = cuses horizontl shift in the solution curve y = f ( x, rther thn the verticl shift

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38 Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control

More information

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More information

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),

More information

Mrgolius 2 In the rticulr cse of Ploue's constnt, we tke = 2= 5+i= 5, nd = ;1, then ; C = tn;1 1 2 = ln(2= 5+i= 5) ln(;1) More generlly, we would hve

Mrgolius 2 In the rticulr cse of Ploue's constnt, we tke = 2= 5+i= 5, nd = ;1, then ; C = tn;1 1 2 = ln(2= 5+i= 5) ln(;1) More generlly, we would hve Ploue's Constnt is Trnscendentl Brr H. Mrgolius Clevelnd Stte University Clevelnd, Ohio 44115.mrgolius@csuohio.edu Astrct Ploue's constnt tn;1 ( 1 2) is trnscendentl. We rove this nd more generl result

More information

Let S be a numerical semigroup generated by a generalized arithmetic sequence,

Let S be a numerical semigroup generated by a generalized arithmetic sequence, Abstrct We give closed form for the ctenry degree of ny element in numericl monoid generted by generlized rithmetic sequence in embedding dimension three. While it is known in generl tht the lrgest nd

More information

42nd International Mathematical Olympiad

42nd 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 cute-ngled tringle with circumcentre O. Let P on

More information

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system. Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous

More information

4. Calculus of Variations

4. Calculus of Variations 4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the

More information

A proof of the strong twin prime conjecture

A proof of the strong twin prime conjecture A roof of the strong twin rime conjecture Men-Jw Ho # (retired), Chou-Jung Hsu, *, Wi-Jne Ho b Dertment of Industril Mngement # Nn Ki University of Technology Nn-Tou 54, Tiwn b Dertment of Medicinl Botnicl

More information

Theory of Computation Regular Languages

Theory of Computation Regular Languages Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of

More information

Lesson 1: Quadratic Equations

Lesson 1: Quadratic Equations Lesson 1: Qudrtic Equtions Qudrtic Eqution: The qudrtic eqution in form is. In this section, we will review 4 methods of qudrtic equtions, nd when it is most to use ech method. 1. 3.. 4. Method 1: Fctoring

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

Matrices, Moments and Quadrature, cont d

Matrices, Moments and Quadrature, cont d Jim Lmbers MAT 285 Summer Session 2015-16 Lecture 2 Notes Mtrices, Moments nd Qudrture, cont d We hve described how Jcobi mtrices cn be used to compute nodes nd weights for Gussin qudrture rules for generl

More information

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A. 378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),

More information

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

13.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 information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence

More information

(9) P (x)u + Q(x)u + R(x)u =0

(9) P (x)u + Q(x)u + R(x)u =0 STURM-LIOUVILLE THEORY 7 2. Second order liner ordinry differentil equtions 2.1. Recll some sic results. A second order liner ordinry differentil eqution (ODE) hs the form (9) P (x)u + Q(x)u + R(x)u =0

More information

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio. Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number

More information

1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),

1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ), 1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

On a Conjecture of Farhi

On a Conjecture of Farhi 47 6 Journl of Integer Sequences, Vol. 7 04, Article 4..8 On Conjecture of Frhi Soufine Mezroui, Abdelmlek Azizi, nd M hmmed Zine Lbortoire ACSA Dértement de Mthémtiques et Informtique Université Mohmmed

More information

1 The Lagrange interpolation formula

1 The Lagrange interpolation formula Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.

More information

38 Riemann sums and existence of the definite integral.

38 Riemann sums and existence of the definite integral. 38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These

More information

ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT

ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT Andrej Dujell Deprtment of Mthemtics, University of Zgreb, 10000 Zgreb, CROATIA The Greek mthemticin Diophntus of Alexndri noted tht the

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

Integral points on the rational curve

Integral points on the rational curve Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 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

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

PARTIAL FRACTION DECOMPOSITION

PARTIAL 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 information

1. Extend QR downwards to meet the x-axis at U(6, 0). y

1. Extend QR downwards to meet the x-axis at U(6, 0). y In the digrm, two stright lines re to be drwn through so tht the lines divide the figure OPQRST into pieces of equl re Find the sum of the slopes of the lines R(6, ) S(, ) T(, 0) Determine ll liner functions

More information

20 MATHEMATICS POLYNOMIALS

20 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 information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Introduction to Determinants. Remarks. Remarks. The determinant applies in the case of square matrices

Introduction to Determinants. Remarks. Remarks. The determinant applies in the case of square matrices Introduction to Determinnts Remrks The determinnt pplies in the cse of squre mtrices squre mtrix is nonsingulr if nd only if its determinnt not zero, hence the term determinnt Nonsingulr mtrices re sometimes

More information

4.5 JACOBI ITERATION FOR FINDING EIGENVALUES OF A REAL SYMMETRIC MATRIX. be a real symmetric matrix. ; (where we choose θ π for.

4.5 JACOBI ITERATION FOR FINDING EIGENVALUES OF A REAL SYMMETRIC MATRIX. be a real symmetric matrix. ; (where we choose θ π for. 4.5 JACOBI ITERATION FOR FINDING EIGENVALUES OF A REAL SYMMETRIC MATRIX Some reliminries: Let A be rel symmetric mtrix. Let Cos θ ; (where we choose θ π for Cos θ 4 purposes of convergence of the scheme)

More information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

Chapter 6 Techniques of Integration

Chapter 6 Techniques of Integration MA Techniques of Integrtion Asst.Prof.Dr.Suprnee Liswdi Chpter 6 Techniques of Integrtion Recll: Some importnt integrls tht we hve lernt so fr. Tle of Integrls n+ n d = + C n + e d = e + C ( n ) d = ln

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written

More information

1 Probability Density Functions

1 Probability Density Functions Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real

Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real Rtionl Numbers vs Rel Numbers 1. Wht is? Answer. is rel number such tht ( ) =. R [ ( ) = ].. Prove tht (i) 1; (ii). Proof. (i) For ny rel numbers x, y, we hve x = y. This is necessry condition, but not

More information

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Linear Algebra 1A - solutions of ex.4

Linear Algebra 1A - solutions of ex.4 Liner Algebr A - solutions of ex.4 For ech of the following, nd the inverse mtrix (mtritz hofkhit if it exists - ( 6 6 A, B (, C 3, D, 4 4 ( E i, F (inverse over C for F. i Also, pick n invertible mtrix

More information

5.4. The Fundamental Theorem of Calculus. 356 Chapter 5: Integration. Mean Value Theorem for Definite Integrals

5.4. The Fundamental Theorem of Calculus. 356 Chapter 5: Integration. Mean Value Theorem for Definite Integrals 56 Chter 5: Integrtion 5.4 The Fundmentl Theorem of Clculus HISTORICA BIOGRAPHY Sir Isc Newton (64 77) In this section we resent the Fundmentl Theorem of Clculus, which is the centrl theorem of integrl

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

Lecture 6: Isometry. Table of contents

Lecture 6: Isometry. Table of contents Mth 348 Fll 017 Lecture 6: Isometry Disclimer. As we hve textook, this lecture note is for guidnce nd sulement only. It should not e relied on when rering for exms. In this lecture we nish the reliminry

More information

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32

More information

Chapter 3 Polynomials

Chapter 3 Polynomials Dr M DRAIEF As described in the introduction of Chpter 1, pplictions of solving liner equtions rise in number of different settings In prticulr, we will in this chpter focus on the problem of modelling

More information

Primitive. that ak=1 with K < 4cm ). mod 7. working. then, smaller than 6 will do. m ) =/ odm ) is called. modulo m ( 4) =3. ordz.

Primitive. that ak=1 with K < 4cm ). mod 7. working. then, smaller than 6 will do. m ) =/ odm ) is called. modulo m ( 4) =3. ordz. R Section 0 Primitive Roots lerned th if ( im cm \ @ odm Hover its ossible th k with K < cm For exmle working 7 so if ( 7 L mod 7 know th I ( mod 7 But often n exonent smller thn will do mod 7 : l s 5

More information

Quadratic Reciprocity

Quadratic Reciprocity Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has

More information

INTRODUCTION TO LINEAR ALGEBRA

INTRODUCTION TO LINEAR ALGEBRA ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR AGEBRA Mtrices nd Vectors Prof. Dr. Bülent E. Pltin Spring Sections & / ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR

More information

4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve

4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve Dte: 3/14/13 Objective: SWBAT pply properties of exponentil functions nd will pply properties of rithms. Bell Ringer: Use your clcultor to solve 4 7x =250; 5 3x =500; HW Requests: Properties of Log Equtions

More information

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 ( FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions

More information

UniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that

UniversitaireWiskundeCompetitie. Problem 2005/4-A 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 information

Introduction To Matrices MCV 4UI Assignment #1

Introduction To Matrices MCV 4UI Assignment #1 Introduction To Mtrices MCV UI Assignment # INTRODUCTION: A mtrix plurl: mtrices) is rectngulr rry of numbers rrnged in rows nd columns Exmples: ) b) c) [ ] d) Ech number ppering in the rry is sid to be

More information

Homework 1 Solutions. 1. (Theorem 6.12(c)) Let f R(α) on [a, b] and a < c < b. Show f R(α) on [a, c] and [c, b] and that

Homework 1 Solutions. 1. (Theorem 6.12(c)) Let f R(α) on [a, b] and a < c < b. Show f R(α) on [a, c] and [c, b] and that Homework Solutions. (Theorem 6.(c)) Let f R(α) on [, b] nd < c < b. Show f R(α) on [, c] nd [c, b] nd tht fdα = ˆ c fdα + c fdα Solution. Let ɛ > 0 nd let be rtition of [, b] such tht U(, f, α) L(, f,

More information

The Wave Equation I. MA 436 Kurt Bryan

The Wave Equation I. MA 436 Kurt Bryan 1 Introduction The Wve Eqution I MA 436 Kurt Bryn Consider string stretching long the x xis, of indeterminte (or even infinite!) length. We wnt to derive n eqution which models the motion of the string

More information

Quotient Rule: am a n = am n (a 0) Negative Exponents: a n = 1 (a 0) an Power Rules: (a m ) n = a m n (ab) m = a m b m

Quotient Rule: am a n = am n (a 0) Negative Exponents: a n = 1 (a 0) an Power Rules: (a m ) n = a m n (ab) m = a m b m Formuls nd Concepts MAT 099: Intermedite Algebr repring for Tests: The formuls nd concepts here m not be inclusive. You should first tke our prctice test with no notes or help to see wht mteril ou re comfortble

More information

Vyacheslav Telnin. Search for New Numbers.

Vyacheslav Telnin. Search for New Numbers. Vycheslv Telnin Serch for New Numbers. 1 CHAPTER I 2 I.1 Introduction. In 1984, in the first issue for tht yer of the Science nd Life mgzine, I red the rticle "Non-Stndrd Anlysis" by V. Uspensky, in which

More information