Integer Triangles with Integer Medians

Total Page:16

File Type:pdf, Size:1020Kb

Integer Triangles with Integer Medians INTEGER TRIANGLES WITH INTEGER MEDIANS Nicolae Nicolae, Secondary School Number 6, Vulcan, county of Hunedoara, Romania ABSTRACT: This study introduces the triangles with sides of integer numbers and the results referring to their medians which have as a length integer numbers, too. KEYWORDS: integer triangles, integer medians MSC (2010): 51M25 INTRODUCTION AEF rational numbers where E, F are the feet of the bisectors from B and C. The study here tries to present A notion of geometry in general can be interpreted some remarkable results of the geometry of the figures in many different ways. We think of geometry as of a of the integer values. set of objects and a congruence relation which is normally defined by some group of transformations. For 1.TRIANGLES WITH INTEGER SIDES instance, in Euclidean geometry in the plane we study points, lines, segments, polygons, circles, etc, the Historically speaking, the triangle is one of the congruence relation is defined by a group of all length mathematical objects which have attracted the attention preserving transformations (2, ) or the orthogonal of the man since antiquity. The collection of 84 group. problems on the papyrus Rhind (discovered in 1858 in The similarity between the푂 geometricalℝ figures and the Valley of the Middle Nile and achieved by the arithmetic clearly leads us to taking in consideration Scottish Egyptologist HenrzRind ) dated from 1780- those which have the values expressed through integer 1700 B.C . which contains problems of geometry where numbers, or , generally through rational numbers. It is the scribe Ahmes presents the calculus formula of the well-known the formula that generates the integer-sided area of an isosceles triangle with the basis of 4 units and triangles which are not congruent and having the the sides of 10 units . In Book 4 from the Arithmetic of perimeter equal to a given number n. According to Diophantus it appears the problem of finding the right Alcuin from York (735-804) { ( )} the Alcuin’s triangle with integer sides and the length of the bisector sequence that expresses the number of non-congruent of one of the sharp angles rational number , having as a triangles which have the perimeter n;푡 푛for the first values solution the triangle with the sides : 7, 24, 25 which cuts of n we have : the 24 long leg having the length of . We should also n 0 1 2 3 4 5 6 7 8 9 10 consider the works of Giovanni Ceva35 from the 17th ( ) 0 0 0 1 0 1 1 2 1 3 2 4 century who considers the triangles with integer sides It was proved that the function that generates the and analyses the Cevians problems ( closed intervals Alcuin’s푡 푛 sequence is : which join a vertex with a point from the opposite side ) concurrent and rational. The first mathematician who tries to find integer = ∞ ( ) (1 )(1 3 )(1 ) triangles with integer medians is Euler, the smallest 푛 푥 triangles being 2( 68,85, 87) and 2 ( 127, 131, 158) 2 3 4 � 푡 푛 푥 − 푥 − 푥 − 푥 푛=0 An important role in the developing of the Geometry subject is taken by the computer, many of the results being the consequences of the calculus made with the help of some scientific programs or being part of some scientific projects : for example in project Euler problem 75 https://projecteuler.net/problem=75) which seeks to determinate the numbers of the right triangles with the perimeter equal to n or the problem 257 (http://projecteuler.net/problem=257) which seeks the numbers of the integer triangles ABC with the integer bisectors and the ratio between the area ABC and area Figure 1.1 543 It can be noticed that the sides of the big triangle are Definition 1.2. Let > 1 free of squars. We say that the double of the medians of the other triangle. In 1779 angle A belongs to the class n iff . If Euler investigates the triangles with the above- we say that푛 angle A belongs to class 1. mentioned property, obtaining for its sides the following 푠푖푛 퐴 ∈ 푸�√푛� expressions: 푠푖푛Observation퐴 ∈ 푸 1.1. The rational triangle ABC belongs to class n cu n , > 1 , n free of squares , if ( ) = 9 + 26 + , , ∗ . If , , 4 2(92 4 6 + ) ∈ 푵 푛 we say that angle A belongs to class 1. 푎 = 푚(9 푚 + 26 푚 푛 +4푛 ) 2 2 4 푠푖푛 퐴 푠푖푛퐵 푠푖푛퐶 ∈ 푸�√푛� 푠푖푛 퐴 푠푖푛퐵 푠푖푛퐶 ∈ 4 +−2 푛(92 푚 −4 6푚 푛 + 푛 ) Example푸 : For = 7, = 5, = 8 the triangle belongs 푏 = 2푚 (9푚 10푚 푛 4푛3 ) 2 2 4 to class 3 because = 3. 4 푛2 2푚 − 4푚 푛 푛 푎 푏 1 푐 푐 In 푚1813푚 N.− Fuss푚 푛gives− 푛the first Example of an Through direct calculus we find the class of some 푠푖푛퐴 2 √ integer triangle with the three rational bisectors and, triangles: necessarily, the rational area as well ( = 14, = a b c Class 25, = 25) with the bisectors of = 24 and 푎 푏 1 2 2 15 푐 푖푎 = ( 1 = = 2 2 3 7 ( ) 4푎푐 2 560 2 푖푏 � 푎+푐 푝 푝 − 푏� 39 푖푐 2 3 4 15 Definition 1.1. The triangle ABC is called an integer triangle if its sides have the length integer numbers. The 3 4 5 1 triangle ABC is called rational triangle if its sides have the length rational numbers. 3 7 8 3 Theorem 1.1. For every rational triangle ABC there is 5 7 8 3 a similar integer triangle A’ B’ C’. 2 7 7 3 Proof: If ABC has the sides: = , = , = , 푎1 푏1 푐1 5 5 6 1 , , , , , , then the triangle with the sides 푎 푎2 푏 푏2 푐 푐2 , , is similar ( we multiplied the 1 2 1 2 1 2 sides푎 푎 of푏 the푏 ABC푐 푐 with∈ 풁 ) to ABC. Consequence 1.2. The rational right triangles belong 1 2 2 2 1 2 2 2 1 푎 푏 푐 푎 푏 푐 푎 푏 푐 to class 1. 2 2 2 Theorem 1.2 In a rational푎 푏 푐 triangle the values of the Proof: Obviously sin A=1 , = . cosines of the angles are rational numbers. 푏 푐 Proof: Applying the law of the cosines in ABC with Theorem 1.4. If a triangle퐵 has ∈the 푸 cosines for two the classical notation we have: angles rational numbers , then the cosine of the third one is rational if and only if the two angles belong to the = + 2 same class. 2 2 2 Proof: For C, the third angle, we have : = 180 푎 푏 푐 − 푏푐 푐표푠퐴 where = and the others as analogue = sin 0 2 2 2 where . In , 푎. −푏 −푐 conclusion if and only if 퐶 −is 2푏푐 푐표푠퐴 ∈ 푸 퐴equivalent − 퐵 to A and푐표푠퐶 B from the퐴 푠푖푛퐵 same− class.푐표푠퐴푐표푠퐵 Theorem푐표푠퐵 푐표푠퐶 1.3∈ 푸In a rational triangle the ratio between 푐표푠퐶 ∈ 푸 푠푖푛퐴푠푖푛퐵 ∈ 퐐 the sine of two angles is a rational number. 2.TRIANGLES WITH INTEGER MEDIANS Proof: From the sine rule: In order to find the expressions of the median we will apply the law of the cosine for ABC and ADC with = = = 2 , sin sin sin AD as a median : 푎 푏 푐 = + 2 푅 We퐴 deduce퐶 that : 퐶 = . 2 2 2 sin 퐴 푎 퐴퐷 퐴퐶 퐷퐶 − 퐴퐶 ∙ 퐷퐶A ∙ 푐표푠퐶̂ sin 퐵 푏 Consequence 1.1. If ABC is ∈a 푸rational triangle which has sin = then 2c 2b k sin = , sin = F 1 E 퐴where푟 √ 푛, , and . 2 3 G 퐵 푟 √푛sin =퐶 sin푟 √푛= = Proof: We have1 2: 3 . l 푟 푟 푟 ∈ 푸 푏 푛 ∈ 푵푏 m Analogous for sin C. 1 2 푎 푎 B 퐵 퐴 푟 √푛 푟 √푛 C 2a D 544 = + 2 relation (2.1.) we have k which is even and from the 2 2 2 other relations from (2.1.) that l, m are odd. 퐴퐵We eliminate퐴퐶 퐵퐶 − 퐴퐶from∙ 퐵퐶 the∙ two푐표푠 퐶equalitieŝ and we obtain the well-known relation of the median: Theorem 2.4. Only one of the numbers a, b, c, k, l, m is 푐표푠퐶̂ devisable by 4. 4 = 2 + 2 Proof: According to the previous theorem we can 2 2 2 2 suppose that = 2 , = 2 + 1, = 2 + 1 and 퐴퐷If the previously퐴퐵 퐴퐶 mentioned− 퐵퐶 equality stays true for = 2 , = 2 + 1, = 2 + 1. Replacing the first the natural numbers it is necessary that BC=c to be relation with (2.1.)푎 we ∝get:푏 훽 푐 훾 even and their analogous as well so that the other 푘 훿 푙 휆 푚 휇 medians to be integer. Therefore we say that the triangle + = 2 + 2 ABC has even sides with the lengths: 2a, 2b, 2c.We 2 2 2 2 mark their medians from A,B, C with k, l, m. The 푘or 푎 푏 푐 relations that give these lengths become : 4 + 4 = 8 + 8 + 2 + 8 + 8 + 2 = 2 + 2 2 2 2 2 2 = 2 2+ 2 2 2 (2.1.) from훿 where훼 : 훽 훽 훾 훾 푘2 = 2푏2 + 2푐2 − 푎2 � 푙 2 푐 2 푎 2− 푏 2 + = 2 + 2 + 2 + 2 + 1 푚 푎 푏 − 푐 2 2 2 2 By adding them we obtain : + + = 3( + 훿meaning훼 훽that 훽 훾 + 훾 1( 2) which + ) and the first equation can2 be 2written2 like this2 : demonstrates that or or 2 are 2even and or a or k are 2 = 22 + 2 = 2( +푘 +푙 ) 푚 3 =푎 divisible by 4. 훿 훼 ≡ 푚표푑 푏(2 푐+ 2 + 2) 32 .
Recommended publications
  • 3D ROAM for Scalable Volume Visualization
    3D ROAM for Scalable Volume Visualization St´ephane Marchesin∗ Jean-Michel Dischler† Catherine Mongenet‡ ICPS/IGG INRIA Lorraine, CALVI Project ICPS LSIIT { Universit´e Louis Pasteur { Strasbourg, France (a) 2.5 fps – 104000 tetrahedra (b) 1 fps – 380000 tetrahedra (c) 0.45 fps – 932000 tetrahe- (d) 0.15 fps – 3065000 tetra- dra hedra Figure 1: The bonsa¨ı data set at different detail levels. Frame rates are given for a 1024 × 1024 resolution ABSTRACT 1 INTRODUCTION The 2D real time optimally adapting meshes (ROAM) algorithm Because of continuous improvements in simulation and data acqui- has had wide success in the field of terrain visualization, because sition technologies, the amount of 3D data that visualization sys- of its efficient error-controlling properties. In this paper, we pro- tems have to handle is increasing rapidly. Large datasets offer an pose a generalization of ROAM in 3D suitable for scalable volume interesting challenge to visualization systems, since they cannot be visualization. Therefore, we perform a straightforward 2D/3D anal- visualized by classical visualization methods. Such datasets are ogy, replacing the triangle of 2D ROAM by its 3D equivalent, the usually many times larger than what a video card's memory can tetrahedron. Although work in the field of hierarchical tetrahedral hold. For example, a 1024×1024×446 voxel dataset uses 446MB meshes was widely undertaken, the produced meshes were not used of memory. Rendering such datasets ”as-is” is thus not possible. for volumetric rendering purposes. We explain how to compute a Therefore, there is a need for volume visualization methods that bounded error inside the tetrahedron to build a hierarchical tetrahe- can both handle larger data sets, and have good scalability proper- dral mesh and how to refine this mesh in real time to adapt it to the ties.
    [Show full text]
  • The Area of a Triangle
    Chapter 22 The area of a triangle 22.1 Heron’s formula for the area of a triangle Theorem 22.1. The area of a triangle of sidelengths a, b, c is given by = s(s a)(s b)(s c), △ − − − 1 p where s = 2 (a + b + c). B Ia I ra r A C Y Y ′ s − b s − c s − a Proof. Consider the incircle and the excircle on the opposite side of A. From the similarity of triangles AIZ and AI′Z′, r s a = − . ra s From the similarity of triangles CIY and I′CY ′, r r =(s b)(s c). · a − − 802 The area of a triangle From these, (s a)(s b)(s c) r = − − − , r s and the area of the triangle is = rs = s(s a)(s b)(s c). △ − − − p Exercise 1. Prove that 1 2 = (2a2b2 +2b2c2 +2c2a2 a4 b4 c4). △ 16 − − − 22.2 Heron triangles 803 22.2 Heron triangles A Heron triangle is an integer triangle whose area is also an integer. 22.2.1 The perimeter of a Heron triangle is even Proposition 22.2. The semiperimeter of a Heron triangle is an integer. Proof. It is enough to consider primitive Heron triangles, those whose sides are relatively prime. Note that modulo 16, each of a4, b4, c4 is congruent to 0 or 1, according as the number is even or odd. To render in (??) the sum 2a2b2 +2b2c2 +2c2a2 a4 b4 c4 0 modulo 16, exactly two of a, b, c must be odd. It− follows− that− the≡ perimeter of a Heron triangle must be an even number.
    [Show full text]
  • Volume 6 (2006) 1–16
    FORUM GEOMETRICORUM A Journal on Classical Euclidean Geometry and Related Areas published by Department of Mathematical Sciences Florida Atlantic University b bbb FORUM GEOM Volume 6 2006 http://forumgeom.fau.edu ISSN 1534-1178 Editorial Board Advisors: John H. Conway Princeton, New Jersey, USA Julio Gonzalez Cabillon Montevideo, Uruguay Richard Guy Calgary, Alberta, Canada Clark Kimberling Evansville, Indiana, USA Kee Yuen Lam Vancouver, British Columbia, Canada Tsit Yuen Lam Berkeley, California, USA Fred Richman Boca Raton, Florida, USA Editor-in-chief: Paul Yiu Boca Raton, Florida, USA Editors: Clayton Dodge Orono, Maine, USA Roland Eddy St. John’s, Newfoundland, Canada Jean-Pierre Ehrmann Paris, France Chris Fisher Regina, Saskatchewan, Canada Rudolf Fritsch Munich, Germany Bernard Gibert St Etiene, France Antreas P. Hatzipolakis Athens, Greece Michael Lambrou Crete, Greece Floor van Lamoen Goes, Netherlands Fred Pui Fai Leung Singapore, Singapore Daniel B. Shapiro Columbus, Ohio, USA Steve Sigur Atlanta, Georgia, USA Man Keung Siu Hong Kong, China Peter Woo La Mirada, California, USA Technical Editors: Yuandan Lin Boca Raton, Florida, USA Aaron Meyerowitz Boca Raton, Florida, USA Xiao-Dong Zhang Boca Raton, Florida, USA Consultants: Frederick Hoffman Boca Raton, Floirda, USA Stephen Locke Boca Raton, Florida, USA Heinrich Niederhausen Boca Raton, Florida, USA Table of Contents Khoa Lu Nguyen and Juan Carlos Salazar, On the mixtilinear incircles and excircles,1 Juan Rodr´ıguez, Paula Manuel and Paulo Semi˜ao, A conic associated with the Euler line,17 Charles Thas, A note on the Droz-Farny theorem,25 Paris Pamfilos, The cyclic complex of a cyclic quadrilateral,29 Bernard Gibert, Isocubics with concurrent normals,47 Mowaffaq Hajja and Margarita Spirova, A characterization of the centroid using June Lester’s shape function,53 Christopher J.
    [Show full text]
  • On Triangles As Real Analytic Varieties of an Extended Fermat Equation
    On Triangles as Real Analytic Varieties of an Extended Fermat Equation Giri Prabhakar∗ Abstract On the one hand, triangles play an important role in the solution of elliptic curves, as exemplified in studies by Tunnell on the congruent number problem, or Ono relating arbitrary triangles to elliptic curves. On the other hand, Frey-Hellegouarch curves are deeply connected to Fermat's equation. Thus, we are motivated to explore the relationship between triangles and Fermat's equation. We show that triangles in Euclidean space can be exactly described by real analytic varieties of an extension of the Fermat equation. To the 3 best of our knowledge, this formulation has not been explored previously. Let S = f(a; b; c) 2 R≥0 j (c > φ φ φ 0 ^ 9 φ 2 R≥1)[a + b = c ]g be the set of real non-negative solutions to the Fermat equation extended to admit real valued exponents φ ≥ 1, which we term the Fermat index. Let E be the set of triplets of side lengths of all non-degenerate and degenerate 2-simplices. We show that S = E, and that each triangle has a unique Fermat index. We show that there exists a deformation retraction F based on the extended Fermat equation, that maps all possible sides a ≤ c and b ≤ c of 2-simplices (a; b; c) 2 S, to the retract c of fixed length at a fixed angle to a. However, (a; b; c) is also governed by the law of cosines; thus an alternate map P exists based on the law of cosines, which must be geometrically identical to F .
    [Show full text]
  • Integer Trigonometry for Integer Angles
    Algorithms and Computation in Mathematics • Volume 26 Editors Arjeh M. Cohen Henri Cohen David Eisenbud Michael F. Singer Bernd Sturmfels For further volumes: http://www.springer.com/series/3339 Oleg Karpenkov Geometry of Continued Fractions Oleg Karpenkov Dept. of Mathematical Sciences University of Liverpool Liverpool, UK ISSN 1431-1550 Algorithms and Computation in Mathematics ISBN 978-3-642-39367-9 ISBN 978-3-642-39368-6 (eBook) DOI 10.1007/978-3-642-39368-6 Springer Heidelberg New York Dordrecht London Library of Congress Control Number: 2013946250 Mathematics Subject Classification (2010): 11J70, 11H06, 11P21, 52C05, 52C07 © Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law.
    [Show full text]
  • PROBLEMS in ELEMENTARY NUMBER THEORY Hojoo
    PROBLEMS IN ELEMENTARY NUMBER THEORY Hojoo Lee Version 050722 God does arithmetic. C. F. Gauss 1, −24, 252, −1472, 4830, −6048, −16744, 84480, −113643, −115920, 534612, −370944, −577738, 401856, 1217160, 987136, −6905934, 2727432, 10661420, −7109760, −4219488, −12830688, 18643272, 21288960, −25499225, 13865712, −73279080, 24647168, ··· 1 2 PROBLEMS IN ELEMENTARY NUMBER THEORY Contents 1. Introduction 3 2. Notations and Abbreviations 4 3. Divisibility Theory I 5 4. Divisibility Theory II 12 5. Arithmetic in Zn 16 Primitive Roots 16 Quadratic Residues 17 Congruences 17 6. Primes and Composite Numbers 20 Composite Numbers 20 Prime Numbers 20 7. Rational and Irrational Numbers 24 Rational Numbers 24 Irrational Numbers 25 8. Diophantine Equations I 29 9. Diophantine Equations II 34 10. Functions in Number Theory 37 Floor Function and Fractional Part Function 37 Euler phi Function 39 Divisor Functions 39 More Functions 40 Functional Equations 41 11. Polynomials 44 12. Sequences of Integers 46 Linear Recurrnces 46 Recursive Sequences 47 More Sequences 51 13. Combinatorial Number Theory 54 14. Additive Number Theory 61 15. The Geometry of Numbers 66 16. Miscellaneous Problems 67 17. Sources 71 18. References 94 PROBLEMS IN ELEMENTARY NUMBER THEORY 3 1. Introduction The heart of Mathematics is its problems. Paul Halmos 1. Introduction Number Theory is a beautiful branch of Mathematics. The purpose of this book is to present a collection of interesting questions in Number Theory. Many of the problems are mathematical competition problems all over the world including IMO, APMO, APMC, and Putnam, etc. The book is available at http://my.netian.com/∼ideahitme/orange.html 2.
    [Show full text]
  • Two Brahmagupta Problems
    Forum Geometricorum b Volume 6 (2006) 301–310. bbb FORUM GEOM ISSN 1534-1178 Two Brahmagupta Problems K. R. S. Sastry Abstract. D. E. Smith reproduces two problems from Brahmagupta’s work Ku- takh¯adyaka (algebra) in his History of Mathematics, Volume 1. One of them involves a broken tree and the other a mountain journey. Normally such objects are represented by vertical line segments. However, it is every day experience that such objects need not be vertical. In this paper, we generalize these situations to include slanted positions and provide integer solutions to these problems. 1. Introduction School textbooks on geometry and trigonometry contain problems about trees, poles, buildings, hills etc. to be solved using the Pythagorean theorem or trigono- metric ratios. The assumption is that such objects are vertical. However, trees grow not only vertically (and tall offering a magestic look) but also assume slanted positions (thereby offering an elegant look). Buildings too need not be vertical in structure, for example the leaning tower of Pisa. Also, a distant planar view of a mountain is more like a scalene triangle than a right one. In this paper we regard the angles formed in such situations as having rational cosines. We solve the fol- lowing Brahmagupta problems from [5] in the context of rational cosines triangles. In [4] these problems have been given Pythagorean solutions. Problem 1. A bamboo 18 cubits high was broken by the wind. Its tip touched the ground 6 cubits from the root. Tell the lengths of the segments of the bamboo. Problem 2. On the top of a certain hill live two ascetics.
    [Show full text]
  • Pythagorean Triangles
    Chapter 17 Pythagorean triangles 17.1 Primitive Pythagorean triples A Pythagorean triangle is one whose sidelengths are integers. An easy way to construct Pythagorean triangles is to take two distinct positive integers m>nand form (a, b, c)=(2mn, m2 − n2,m2 + n2). Then, a2 + b2 = c2. We call such a triple (a, b, c) a Pythagorean triple. The Pythagorean triangle has perimeter p =2m(m + n) and area A = mn(m2 − n2). B 2 n + 2 2mn m A m2 − n2 C A Pythagorean triple (a, b, c) is primitive if a, b, c do not have a common divisor (greater than 1). Every primitive Pythagorean triple is constructed by choosing m, n to be relatively prime and of opposite parity. 302 Pythagorean triangles 17.1.1 Rational angles The (acute) angles of a primitive Pythagorean triangle are called rational angles, since their trigonometric ratios are all rational. sin cos tan 2mn m2−n2 2mn A m2+n2 m2+n2 m2−n2 m2−n2 2mn m2−n2 B m2+n2 m2+n2 2mn A B More basic than these is the fact that tan 2 and tan 2 are rational: A n B m − n tan = , tan = . 2 m 2 m + n This is easily seen from the following diagram showning the incircle of the right triangle, which has r =(m − n)n. B n ) n + m ( (m + n)n ) n I r − m ( m r (m − n)n A m(m − n) (m − n)n C 17.1.2 Some basic properties of primitive Pythagorean triples 1. Exactly one leg is even.
    [Show full text]
  • N Φ(N) Is the Order of This Group: Z• Φ(N) := | N|, the Number of Units in Zn
    MAS 6217 (Fall 2017) Number Theory and Cryptography (Yiu) Inquiry Based Learning Modules A – F (in lieu of September 7–14 class lectures) Name: 1. The Euler ϕ-function: number of units in Zn Let n> 1 be an integer. The units in Zn form a multiplicative subgroup Z• Z Z n := {[a] ∈ n : [a][b] = [1] for some b ∈ }. The Euler ϕ-function ϕ(n) is the order of this group: Z• ϕ(n) := | n|, the number of units in Zn. Exercise. For each integer n in the table below, list the units in Zn and the value of ϕ(n): n ϕ(n) units in Zn 2 3 4 5 6 8 9 10 20 27 1 2. The Euler ϕ-function is a multiplicative function Theorem 1. The Euler ϕ-function is a multiplicative function, i.e., if gcd(m,n)=1, then ϕ(mn)= ϕ(m)ϕ(n). Proof. Consider the natural mapping F : Zmn → Zm × Zn given by F ([x]mn)=([x]m, [x]n). (i) Why is F is well defined? (ii) Why is F is onto? Since the domain and the range have the cardinality, the function F is also one-to-one, and is a bijection. ′ Z• Z• Z• (iii) Why does F restrict to a function F : mn → m × n ? (iv) Show that F ′ is a bijection and that this completes the proof of the theorem. 3. Calculation of ϕ(n) (a) Let p be a prime. (i) What is ϕ(p) ? (ii) What is ϕ(pk) for an integer k ≥ 1 ? (b) Make use of the results in (a) to show that 1 ϕ(n)= n 1 − .
    [Show full text]
  • California State University, Northridge an Annotated
    CALIFORNIA STATE UNIVERSITY, NORTHRIDGE AN ANNOTATED BIBLIOGRAPHY OF HEURISTICS FOR THE SECONDARY LEVEL (7-12) A graduate project submitted in partial satisfaction of the requirements for the degree of Master of Arts in Secondary Education by Jennifer Irene Conner June, 1980 Project Irene Conner is approved: H. Heimler, Advisor California State University, Northridge ii TABLE OF CONTENTS Chapter Page 1. INTRODUCTION 1 Purpose of Heuristics 1 History 2 Terminology 4 Strategies 7 Studies 10 Advantages and Disadvantages 13 References 18 2 . ANNOTATED BIBLIOGRAPHY 22 Algebra 23 Arithmetic 24 Calculator 31 Calculus 31 Geometry 32 Logic 39 Theory 39 iii ABSTRACT AN ANNOTATED BIBLIOGRAPHY OF HEURISTICS FOR THE SECONDARY LEVEL (7-12) by Jennifer Irene Conner Master of Arts in Secondary Education This graduate project is an annotated bibliography of articles written from 1975 through 1979 concerning the heuristic method of teaching and its applications in the classroom. The articles are from these professional Journals: Arithmetic Teacher, Mathematics Teacher, Mathematics Teaching, and School Science and Mathematics. To introduce the reader to the subject of heuristics, the following topics are presented: purpose, history, termi­ nology, strategies, studies, and advantages and disadvan­ tages. iv ' ' INTRODUCTION The use of heuristics, or simply heuristics, is a well- known method for the teaching and learning of mathematics. Often called "discovery learning," it challenges the student to think one's way through the problem at hand. Apart from a growing book-literature on the subject, numerous articles have appeared in professional journals. This graduate project is an annotated bibliography of such articles, for the period 1975-1979.
    [Show full text]
  • Tantalizing Triangles.Nb
    Tantalizing Triangles Ted Courant Berkeley Math Circle 29 March, 2016 [email protected] ◼ The Pythagorean Theorem In a right triangle, the sum of the squares of the sides equals the square of the hypotenuse. This is perhaps the most famous theorem in elementary mathematics. 1. Let a = m2 - n2, b = 2 m n, and c = m2 + n2. Prove that a2 + b2 = c2. Thus the pattern m2 - n2, 2 m n, m2 + n2 always yields a triple of integers whose sides form a right triangle; we call three such numbers a Pythagorean Triple 2. We will prove that all pythagorean triples arise according to this pattern! Recall the difference of squares identity: a2 - b2 = (a - b) (a + b). We can use this identity to verify that three numbers form a pythagorean triple. To verify that 202 + 212 = 292, compute 292 - 212 = 8·50 = 16·25 = 202 Done! 3. Show that the following are Pythagorean Triples: 99-101-200, 60-61-11, 8-15-17, 16-63-65. 4. Notice that 20-21-29 form the sides of a very nearly isosceles right triangle. Can you find other nearly isosceles right triangles, namely ones whose legs differ by 1? ◼ Viviani’s Theorem The perpendiculars to the sides, from any point inside an equilateral triangle, add up to the height of the triangle. In the second equilateral triangle above, the regions formed by the perpendiculars to the sides are formed; show that the red area equals the blue area. ◼ The Law of Cosines (and Sines) and applications Proof by altitudes: recall that the altitudes of a triangle meet at a point (the Orthocenter of the triangle).
    [Show full text]
  • Arxiv:Math/0510482V2
    COMPLETELY EMPTY PYRAMIDS ON INTEGER LATTICES AND TWO-DIMENSIONAL FACES OF MULTIDIMENSIONAL CONTINUED FRACTIONS. O. N. KARPENKOV Abstract. In this paper we develop an integer-affine classification of three-dimensional multistory completely empty convex marked pyramids. We apply it to obtain the com- plete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes at integer distances to the origin equal 2, 3, 4, ... The faces are considered up to the action of the group of integer-linear transformations. In conclusion we formu- late some actual unsolved problems associated with the generalizations for n-dimensional faces and more complicated face configurations. Contents Introduction and background 2 0.1. General definitions 2 0.2. Definition of multidimensional continued fractions in the sense of Klein 3 0.3. Two-dimensional faces of multidimensional continued fractions 5 0.4. Description of the paper 6 1. Formulation of main results 6 1.1. Classification of two-dimensional multistory completely empty pyramids 6 1.2. Compact two-dimensional faces at distance greater than one 7 2. Proof of Theorem A 9 2.1. Preliminary definitions and statements 9 2.2. First results on empty integer tetrahedra 11 2.3. Proof of Theorem A for the case of polygonal marked pyramids 15 2.4. Proof of Theorem A for the case of triangular marked pyramids 19 arXiv:math/0510482v2 [math.NT] 12 Dec 2006 3. Proof of Theorem B 33 3.1. Completeness of Lists “αn” for n ≥ 2ofTheoremB 33 3.2. The completion of proof of Theorem B 34 4. Unsolved questions and problems 36 References 41 Date: 27 August 2006.
    [Show full text]