Sideway
output.to from Sideway
`-=[]โŸจโŸฉ\;',./~!@#$%^&*()_+{}|:"<>? ๐‘Ž๐‘๐‘๐‘‘๐‘’๐‘“๐‘”โ„Ž๐‘–๐‘—๐‘˜๐‘™๐‘š๐‘›๐‘œ๐‘๐‘ž๐‘Ÿ๐‘ ๐‘ก๐‘ข๐‘ฃ๐‘ค๐‘ฅ๐‘ฆ๐‘ง ร…โ€‰โˆ’โ€‚ร—โ€ƒโ‹…โˆ“ยฑโˆ˜๊žŠ๏นฆโˆ—โˆ™ โ„ฏ ๐”ธ๐”นโ„‚๐”ป๐”ผ๐”ฝ๐”พโ„๐•€๐•๐•‚๐•ƒ๐•„โ„•๐•†โ„™โ„šโ„๐•Š๐•‹๐•Œ๐•๐•Ž๐•๐•โ„ค๐ด๐ต๐ถ๐ท๐ธ๐น๐บ๐ป๐ผ๐ฝ๐พ๐ฟ๐‘€๐‘๐‘‚๐‘ƒ๐‘„๐‘…๐‘†๐‘‡๐‘ˆ๐‘‰๐‘Š๐‘‹๐‘Œ๐‘ โˆผโˆฝโˆพโ‰โ‰‚โ‰ƒโ‰„โ‰…โ‰†โ‰‡โ‰ˆโ‰‰โ‰Œโ‰โ‰ โ‰ก โ‰คโ‰ฅโ‰ฆโ‰งโ‰จโ‰ฉโ‰ชโ‰ซ โˆˆโˆ‰โˆŠโˆ‹โˆŒโˆ โŠ‚โŠƒโŠ„โŠ…โІโЇ ๐›ผ๐›ฝ๐›พ๐›ฟ๐œ€๐œ๐œ‚๐œƒ๐œ„๐œ…๐œ†๐œ‡๐œˆ๐œ‰๐œŠ๐œ‹๐œŒ๐œŽ๐œ๐œ๐œ‘๐œ’๐œ“๐œ” โˆ€โˆ‚โˆƒโˆ…โฆฐโˆ†โˆ‡โˆŽโˆžโˆโˆดโˆต โˆโˆโˆ‘โ‹€โ‹โ‹‚โ‹ƒ โˆงโˆจโˆฉโˆช โˆซโˆฌโˆญโˆฎโˆฏโˆฐโˆฑโˆฒโˆณ โˆฅโ‹ฎโ‹ฏโ‹ฐโ‹ฑ โ€– โ€ฒ โ€ณ โ€ด โ„ โ— สน สบ โ€ต โ€ถ โ€ท ๏น ๏น‚ ๏นƒ ๏น„ ๏ธน ๏ธบ ๏ธป ๏ธผ ๏ธ— ๏ธ˜ ๏ธฟ ๏น€ ๏ธฝ ๏ธพ ๏น‡ ๏นˆ ๏ธท ๏ธธ โœ   โ   โŽด  โŽต  โž   โŸ   โ    โก โ†โ†‘โ†’โ†“โ†คโ†ฆโ†ฅโ†งโ†”โ†•โ†–โ†—โ†˜โ†™โ–ฒโ–ผโ—€โ–ถโ†บโ†ปโŸฒโŸณ โ†ผโ†ฝโ†พโ†ฟโ‡€โ‡โ‡‚โ‡ƒโ‡„โ‡…โ‡†โ‡‡ โ‡โ‡‘โ‡’โ‡“โ‡”โ‡Œโ‡โ‡โ‡•โ‡–โ‡—โ‡˜โ‡™โ‡™โ‡ณโฅขโฅฃโฅคโฅฅโฅฆโฅงโฅจโฅฉโฅชโฅซโฅฌโฅญโฅฎโฅฏ
Draft for Information Only

Content

Algebra
โ€ƒTheory of Numbers
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒExample
โ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒFermat's Theorem
โ€ƒโ€ƒโ€ƒProof
โ€ƒโ€ƒProof
โ€ƒโ€ƒWilson's Theorem
โ€ƒโ€ƒโ€ƒProof
โ€ƒโ€ƒโ€ƒProof
โ€ƒโ€ƒโ€ƒProof
โ€ƒโ€ƒโ€ƒProof
โ€ƒโ€ƒโ€ƒโ€ƒExample
โ€ƒโ€ƒProof
โ€ƒSources and References

Algebra

Theory of Numbers

349 If ๐‘Ž is prime to ๐‘, ๐‘Ž๐‘ is in its lowest terms.

Proof

Let ๐‘Ž๐‘=๐‘Ž1๐‘1, a fraction in lower terms.
Divide ๐‘Ž by ๐‘Ž1, remainder ๐‘Ž2 quotient ๐‘ž1, Divide ๐‘ by ๐‘1, remainder ๐‘2 quotient ๐‘ž1; and so on, as in finding the H.C.F. of ๐‘Ž and ๐‘Ž1, and of ๐‘ and ๐‘1 (see 30). Let ๐‘Ž๐‘›, and ๐‘๐‘› be the highest common factors thus determined. Then, because ๐‘Ž๐‘=๐‘Ž1๐‘1, โˆด๐‘Ž๐‘=๐‘Žโˆ’๐‘ž1๐‘Ž1๐‘โˆ’๐‘ž1๐‘1=๐‘Ž2๐‘270 and so on; thus ๐‘Ž๐‘=๐‘Ž1๐‘1=๐‘Ž2๐‘2=โ‹ฏ=๐‘Ž๐‘›๐‘๐‘› Therefore ๐‘Ž and ๐‘ are equimultiples of ๐‘Ž๐‘› and ๐‘๐‘›; that is, ๐‘Ž is not prime to ๐‘ if any fraction exists in lower terms. 350 If ๐‘Ž is prime to ๐‘, ๐‘Ž'๐‘'=๐‘Ž๐‘; then ๐‘Ž' and ๐‘' are equimultiples of ๐‘Ž and ๐‘.

Proof

Let ๐‘Ž'๐‘' reduced to its lowest terms be ๐‘๐‘ž. Then ๐‘๐‘ž=๐‘Ž๐‘, and, since ๐‘ is now prime to ๐‘ž, and ๐‘Ž prime to ๐‘, it follows, by 349, that ๐‘๐‘ž is neither greater nor less than ๐‘Ž๐‘; that is, it is equal to it. Therefore โ‹ฏ. 351 If ๐‘Ž๐‘ is divisible by ๐‘, and ๐‘Ž is not; then ๐‘ must be.

Proof

Let ๐‘Ž๐‘๐‘=๐‘ž; โˆด๐‘Ž๐‘=๐‘ž๐‘ But ๐‘Ž is prime to ๐‘; therefore, by last, ๐‘ is a multiple of ๐‘. 352 If ๐‘Ž and ๐‘ be each of them prime to ๐‘, ๐‘Ž๐‘ is prime to ๐‘. By 351 353 If ๐‘Ž๐‘๐‘๐‘‘โ‹ฏ is divisible by a prime, one at least of the factors ๐‘Ž, ๐‘, ๐‘, โ‹ฏ must also be divisible by it.
Or, if ๐‘ be prime to all but one of the factors, that factor is divisible by ๐‘.351 354 Therefore, if ๐‘Ž๐‘› is divisible by ๐‘, ๐‘ cannot be prime to ๐‘Ž; and if ๐‘ be a prime it must divide ๐‘Ž. 355 If ๐‘Ž is prime to ๐‘, any power of ๐‘Ž is prime to any power of b.
Also, if ๐‘Ž, ๐‘, ๐‘, โ‹ฏ are prime to each other, the product of any of their powers is prime to any other product of their powers. 356 No expression with integral coefficients, such as ๐ด+๐ต๐‘ฅ+๐ถ๐‘ฅ2+โ‹ฏ, can represent primes only.

Proof

For it is divisible by ๐‘ฅ if ๐ด=0; and if not, it is divisible by ๐ด, when ๐‘ฅ=๐ด. 357 The number of primes is infinite.

Proof

Suppose if possible ๐‘ to be the greatest prime. Then the product of all primes up to ๐‘, plus unity, is either a prime, in which case it would be a greater prime than ๐‘, or it must be divisible by a prime; but no prime up to ๐‘ divides it, because htere is a remainder 1 in each case. Therefore, if divisible at all, it must be by a prime greater than ๐‘. In either case, then, a prime greater than ๐‘ exists. 358 If ๐‘Ž be prime to ๐‘, and the quantities ๐‘Ž, 2๐‘Ž, 3๐‘Ž, โ‹ฏ, (๐‘โˆ’1)๐‘Ž be divided by ๐‘, the remainders will be different.

Proof

Assume ๐‘š๐‘Žโˆ’๐‘›๐‘=๐‘š'๐‘Žโˆ’๐‘›'๐‘, ๐‘š and ๐‘› being less than ๐‘, โˆด๐‘Ž๐‘=๐‘›โˆ’๐‘›'๐‘šโˆ’๐‘š'Then by 350 359 A number can be resolved into prime factors in one way only. by 353 360 To resolve 5040 into its prime factors. Rule: Divide by the prime numbers successively.
2ร—5|5040
   2|504
    2|252
     2|126
      7|63
       3|9
         3
Thus 5040=24โ‹…32โ‹…5โ‹…7 361 Required the least multiplier of 4704 which will make the product a perfect fourth power. By (196), 4704=25โ‹…3โ‹…72. Then 25โ‹…31โ‹…72ร—23โ‹…33โ‹…72=28โ‹…34โ‹…74=844 the indices 8, 4, 4 being the least multiples of 4 which are not less than 5, 1, 2 respectively.
Thus 23โ‹…33โ‹…72=3584 is the multiplier required. 362 All numbers are of one of the forms 2๐‘› or 2๐‘›+1 All numbers are of one of the forms 2๐‘› or 2๐‘›โˆ’1 All numbers are of one of the forms 3๐‘› or 3๐‘›ยฑ1 All numbers are of one of the forms 4๐‘› or 4๐‘›ยฑ1 or 4๐‘›+2 All numbers are of one of the forms 4๐‘› or 4๐‘›ยฑ1 or 4๐‘›โˆ’2 All numbers are of one of the forms 5๐‘› or 5๐‘›ยฑ1 or 5๐‘›ยฑ2 and so on. 363 All square numbers are of the form 5๐‘› or 5๐‘›ยฑ1.

Proof

By squaring the forms 5๐‘›, 5๐‘›ยฑ1, 5๐‘›ยฑ2, which comprehend all numbers whatever. 364 All cube numbers are of the form 7๐‘› or 7๐‘›ยฑ1. And similarly for other powers. 365 The highest power of a prime ๐‘, which is contained in the product ๐‘š!, is the sum of the integral parts of ๐‘š๐‘, ๐‘š๐‘2, ๐‘š๐‘3, โ‹ฏ For there are ๐‘š๐‘ factors in ๐‘š! which ๐‘ will divide; ๐‘š๐‘2 which it will divide a second time; and so on. The successive divisions are equivalent to dividing by ๐‘๐‘š๐‘โ‹…๐‘๐‘š๐‘2โ‹…โ‹ฏ=๐‘๐‘š๐‘+๐‘š๐‘2+โ‹ฏ

Example

The highest power of 3 which will divide 29!. Here the factors 3, 6, 9, 12, 15, 18, 21, 24, 27 can be divided by 3. Their number is 293=9 (the integral part).
The factors 9, 18, 27 can be divided a second time. Their number is 2932=3 (integral part).
One factor, 27, is divisible a third time. 2933=1 (integral part).
9+3+1=13; that is, 313 is the highest power of 3 which will divide 29!. 366 The product of any ๐‘Ÿ consecutive integers is divisible by ๐‘Ÿ!.

Proof

๐‘›(๐‘›โˆ’1)โ‹ฏ(๐‘›โˆ’๐‘Ÿ+1)๐‘Ÿ! is necessarily an integer, by (96). 367 If ๐‘› be a prime, every coefficient in the expansion of (๐‘Ž+๐‘)๐‘›, except the first and last, is divisible by ๐‘›By last 368 If ๐‘› be a prime, the coefficient of every term in the expansion of (๐‘Ž+๐‘+๐‘โ‹ฏ)๐‘›, except ๐‘Ž๐‘›, ๐‘๐‘›, โ‹ฏ, is divisible by ๐‘›.

Proof

By (367). Put ๐›ฝ for (๐‘+๐‘+โ‹ฏ). 369

Fermat's Theorem

If ๐‘ be a prime, and ๐‘ prime to ๐‘; then ๐‘๐‘โˆ’1โˆ’1 is divisible by ๐‘

Proof

๐‘๐‘=(1+1+โ‹ฏ)๐‘=๐‘+๐‘€๐‘By 368 370 If ๐‘ be any number, and if 1, a, ๐‘, ๐‘, โ‹ฏ, (๐‘โˆ’1) be all the numbers less than, and prime to ๐‘; and if ๐‘› be their number, and ๐‘ฅ any one of them; then ๐‘ฅ๐‘›โˆ’1 is divisible by ๐‘.

Proof

If ๐‘ฅ, a๐‘ฅ, ๐‘๐‘ฅ, โ‹ฏ, (๐‘โˆ’1)๐‘ฅ be divided by ๐‘, the remainders will be all different and prime to ๐‘ [as in (358)]; therefore the remainders wil be 1, a, ๐‘, ๐‘, โ‹ฏ, (๐‘โˆ’1); therefore the product ๐‘ฅ๐‘›a๐‘๐‘โ‹ฏ(๐‘โˆ’1)=a๐‘๐‘โ‹ฏ(๐‘โˆ’1)+๐‘€๐‘ 371

Wilson's Theorem

If ๐‘ be a prime, and only then, 1+(๐‘โˆ’1)! is divisible by ๐‘.

Proof

Put (๐‘โˆ’1) for ๐‘Ÿ and ๐‘› in (285), and apply Fermat's Theorem to each term. 372 If ๐‘ be a prime=2๐‘›+1, then (๐‘›!)2+(โˆ’1)๐‘› is divisible by ๐‘.

Proof

By multiplying together equi-distant factors of (๐‘โˆ’1)! in Wilson's Theorem, and putting 2๐‘›+1 for ๐‘. 373 Let ๐‘=๐‘Ž๐‘๐‘๐‘ž๐‘๐‘Ÿโ‹ฏ in prime factors; the number of integers, including 1, which are less than ๐‘› and prime to it, is ๐‘1โˆ’1๐‘Ž1โˆ’1๐‘1โˆ’1๐‘โ‹ฏ

Proof

The number of integers prime to ๐‘ contained in ๐‘Ž๐‘ is ๐‘Ž๐‘โˆ’๐‘Ž๐‘๐‘Ž. Similarly in ๐‘๐‘ž, ๐‘๐‘Ÿ, โ‹ฏ. Take the product of these.
Also the number of integers less than and prime to (๐‘ร—๐‘€ร—โ‹ฏ) is the product of the corresponding numbers for ๐‘, ๐‘€, โ‹ฏ separately. 374 The number of divisors of ๐‘, including 1 and ๐‘ itself, is =(๐‘+1)(๐‘ž+1)(๐‘Ÿ+1)โ‹ฏ. For it is equal to the number of terms in the product (1+๐‘Ž+โ‹ฏ+๐‘Ž๐‘)(1+๐‘+โ‹ฏ+๐‘๐‘ž)(1+๐‘+โ‹ฏ+๐‘๐‘Ÿ)โ‹ฏ 375 The number of ways of resolving ๐‘ into two factors is half the number of its divisors (371). If the number be a square the two equal factors must, in this case, be reckoned as two divisors. 376 If the factors of each pair are to be prime to each other, put ๐‘, ๐‘ž, ๐‘Ÿ, โ‹ฏ, each equal to one. 377 The sum of the divisors of ๐‘ is ๐‘Ž๐‘+1โˆ’1๐‘Žโˆ’1โ‹…๐‘๐‘ž+1โˆ’1๐‘โˆ’1โ‹…๐‘๐‘Ÿ+1โˆ’1๐‘โˆ’1โ‹…โ‹ฏ

Proof

By the product in (374), and by (85). 378 If ๐‘ be a prime, then the ๐‘โˆ’1th power of any number is of the form ๐‘š๐‘ or ๐‘š๐‘+1.By Fermat's Theorm (369)
Example
The 12th power of any number is of the form 13๐‘š or 13๐‘š+1. 379 To find all the divisors of a number; for instance, of 504. III   1 50422 25224 12628 633361224 2139183672 7771428562142   8416863126252504 Explanation. Resolve 504 into its prime factors, placing them in column II. The divisors of 504 are now formed from the numbers in column II., and placed to the right of that column in the following manner: Place the divisor I to the right of column II., and follow this rule:- Multiply in order all the divisors which are written down by the next number in column II., which has not already been used as a multiplier: place the first new divisor so obtained and all the following products in order to the right of column II. 380 ๐‘†๐‘Ÿ the sum of the ๐‘Ÿth powers of the first ๐‘› natural numbers is divisible by 2๐‘›+1.

Proof

๐‘ฅ(๐‘ฅ2โˆ’12)(๐‘ฅ2โˆ’22)โ‹ฏ(๐‘ฅ2โˆ’๐‘›2) constitutes 2๐‘›+1 factors divisible by 2๐‘›+1, by (366). Multiply out, rejecting ๐‘ฅ, which is to be less than 2๐‘›+1. Thus using (372), ๐‘ฅ2๐‘›โˆ’๐‘†1๐‘ฅ2๐‘›โˆ’2+๐‘†2๐‘ฅ2๐‘›โˆ’4โˆ’โ‹ฏ๐‘†๐‘›โˆ’1๐‘ฅ2+(โˆ’1)๐‘›(|๐‘›)2=๐‘€(2๐‘›+1). Put 1, 2, 3, โ‹ฏ, (๐‘›โˆ’1) in succession for ๐‘ฅ, and the solution of the (๐‘›โˆ’1) equations is of the form ๐‘†๐‘Ÿ=๐‘€(2๐‘›+1)

Sources and References

https://archive.org/details/synopsis-of-elementary-results-in-pure-and-applied-mathematics-pdfdrive

ยฉsideway

ID: 210800003 Last Updated: 8/3/2021 Revision: 0 Ref:

close

References

  1. B. Joseph, 1978, University Mathematics: A Textbook for Students of Science &amp; Engineering
  2. Wheatstone, C., 1854, On the Formation of Powers from Arithmetical Progressions
  3. Stroud, K.A., 2001, Engineering Mathematics
  4. Coolidge, J.L., 1949, The Story of The Binomial Theorem
close

Latest Updated LinksValid XHTML 1.0 Transitional Valid CSS!Nu Html Checker Firefox53 Chromena IExplorerna
IMAGE

Home 5

Business

Management

HBR 3

Information

Recreation

Hobbies 9

Culture

Chinese 1097

English 339

Travel 38

Reference 79

Hardware 55

Computer

Hardware 259

Software

Application 213

Digitization 37

Latex 52

Manim 205

KB 1

Numeric 19

Programming

Web 290new

Unicode 504

HTML 66new

Common Color 1new

Html Entity (Unicode) 1new

Html 401 Special 1

CSS 65new

Selector 1

SVG 46

ASP.NET 270

OS 447new

MS Windows

Windows10 1new

.NET Framework 1

DeskTop 7

Python 72

Knowledge

Mathematics

Formulas 8

Set 1

Logic 1

Algebra 84

Number Theory 207new

Trigonometry 31

Geometry 34

Coordinate Geometry 2

Calculus 67

Complex Analysis 21

Engineering

Tables 8

Mechanical

Mechanics 1

Rigid Bodies

Statics 92

Dynamics 37

Fluid 5

Fluid Kinematics 5

Control

Process Control 1

Acoustics 19

FiniteElement 2

Natural Sciences

Matter 1

Electric 27

Biology 1

Geography 1


Copyright © 2000-2026 Sideway . All rights reserved Disclaimers last modified on 06 September 2019