Sorathan Chaturapruek Kent School

Date of Birth: 14/01/1991

On Sequences of Bicentric Quadrilaterals Sorathan Chaturapruek†, Asst. Prof. Nataphan Kitisin‡



Mahidol Wittayanusorn School, Nakhon Pathom, 73170, Thailand Department of Mathematics, Faculty of Science, Chulalongkorn University, Bangkok, 10330, Thailand



14 January 2009

Abstract Dorman’s Construction maps a circumscribable quadrilateral to a new quadrilateral whose edges are tangent to the circumscribing circle at the vertices of the given quadrilateral. The construction can be applied again when the new quadrilateral is bicentric. For a positive integer k , we investigate necessary and sufficient conditions on the original quadrilateral under which the construction can be iterated at least k times. These functions are also discussed: μ out , which is different from the Dorman’s Construction in that edges are tangent to the circumscribing circle at midpoints on the circular arc between adjacent vertices of the given quadrilateral; μ in , which maps an inscribable quadrilateral to a new quadrilateral whose vertices are midpoints on the circular arc between adjacent points of tangency of the given quadrilateral and the inscribing circle; and other generalized functions. Keywords: Bicentric, Construction, Circumscribable Quadrilateral, Inscribable Quadrilateral

Name:

Sorathan Chaturapruek

School:

Kent School

Birth Date:

01/14/1991

A layman’s explanation of my research project:

In this project, I started by two basic geometry shapes: a circle and a quadrilateral inside it. At each vertex of quadrilateral, to the circle I drew the tangent line, which forms a new quadrilateral. If this new quadrilateral is circumscribable (able to circumscribed by a circle), I would treat this new one as the original quadrilateral. I continued this process whenever possible. I did research on what types of the original quadrilateral on which the process can be repeated indefinitely. The result was that only squares occupy this property. Later, I generalized the construction from drawing tangent lines at vertices of quadrilateral to the circle at other points than the vertices of the quadrilateral and studied the paralleled questions.

Figure: The new quadrilateral obtained by applying the process on the given quadrilateral

Sorathan Chaturapruek Kent School

On Sequences of Bicentric Quadrilaterals

2

1 Introduction We call a quadrilateral bicentric if it is both inscribable and circumscribable. The properties of bicentric quadrilateral have been studied extensively by many mathematicians such as Nicolaus Fuss (1755–1826) and Jean-Victor Poncelet (1788–1867). Notation For a function f and a positive integer k, let Qk [f ] denote the domain of f k , i.e., the set of the quadrilaterals on which f can be applied at least k times. Construction 1 For a real number r in [0,1] , let λ r be a function mapping a circumscribable quadrilateral to a new quadrilateral by the following construction: (i) Let X,Y ,Z , and W denote vertices of the given quadrilateral. (ii) Let O be the circumcenter. The edges of new quadrilaterals are tangent to A, B,C , and D which are points on circumference of the circumscribing circle such that WOD WOX

XOA XOY



YOB YOZ



ZOC ZOW



Construction 2 For a real number r in [0,1] , let the function  r map an inscribable quadrilateral to a new quadrilateral by the following construction: (i) Let X , Y , Z , and W denote points of tangency between the given quadrilateral and the inscribing circle. (ii) Let O be the incenter. The vertices of new quadrilaterals are A, B,C , and D which are points on circumference of the inscribing circle such that XOA XOY



ZOC ZOW



WOD WOX

r .

in   1/2 .

2 On Sequences Quadrilaterals

of

Bicentric

Lemma 1 Q2[ τout ]  { circumscribable and orthogonal quadrilaterals }. Proof Consider a circumscribable quadrilateral T0 denoted by  A0B0C 0D0 with its diagonal intersection O . Let  A1B1C1D1 denote τ out (T0 ) . By angle-chasing, we know that τ

out

(T ) 0

is circumscribable

 A1  C 1  π  OD0C 0  OC 0D0 

π , 1 2

which means that the diagonals of the original quadrilateral are perpendicular.  Lemma 2 zoids }.

Figure 1 The new quadrilateral obtained by applying  out on the given quadrilateral

YOZ



In this paper, let  in  0 and

r .

From our notation, we can see that λ 0 represents Dorman’s Construction. For convenient, let  out  λ 0 and  out  λ1/2 . Let Tn 1 denote  out (Tn ) for an integer n.

YOB

Q3[ τ out ]

 { orthogonal isosceles trape-

Proof Consider a circumscribable and orthogonal quadrilateral T0 denoted by  A0B0C 0D0 . By Lemma 1, T0 is an element of the domain of τ2out . Let  A1B1C1D1 denote τ out (T0 ) T1 and  A2B2C 2D2 denote τ out (T1) T2 . We can apply τ out on T2 once more if and only if T2 is also

Sorathan Chaturapruek Kent School

On Sequences of Bicentric Quadrilaterals

3

circumscribable. Let O be the intersection of the diagonals of T1 . Set O  0,0, then rotate B1D1 to the x-axis and A1C1 to the y-axis. Without loss of generality, set A1  0,a , B1  b,0, C1  0,c , and D1  d,0, for some positive real numbers a,b,c, and d . Because T1 is circumscribable, then ac bd . Since T1 is also inscribable,

a 2 b 2 

 a 2  d 2  b 2  c 2 . Substitute c 

a b a b  , 2 2 a d a d 2

bd , a

c 2 d 2

we obtain Figure 2 A sequence of squares

2

2 

Corollary 4 For every positive integer k greater than or equal to 4 , Qk [τ in ]  { squares }.

which is equivalent to (a c)b d   0 . If either a c or b d , the quadrilateral T1 is a kite. Assume that a c , we know that T1 is symmetric with respect to B1D1 . Hence, A0B0  C 0D0 and A0D0  B0C 0 . Therefore,

Proof Since τ in is the inverse function of τ out , this result is straight-forward from Theorem 3. 

Q3[ τ out ]  { orthogonal

isosceles trapezoids }. 3

We can also see that for any orthogonal isosceles trapezoids T ' , the quadrilateral  out T ' is a kite. From Lemma 1,  out T ' can be sent by τ out at least 2 times, i.e. T ' can be iteratively sent by τ out at least 3 times. Thus, { orthogonal isosceles trapezoids }  Q3[ τ out ]. 4

From  3 and 4, the two sets are indeed identical.  Theorem 3 For every positive integer k greater than or equal to 4 , Qk [τout ]  { squares }. Proof Let T0 be a kite in Q4[τout ] . By Lemma 2, τ out T1  must be a kite. We can prove that a kite that is mapped by τout and remains a kite must be a square. Consequently, Qk [τout ]  Q4[τout ]  { squares }  Qk [ τ out ], for every positive integer k greater than or equal to 4 . Therefore, Qk [τout ]  { squares }. 

Conjecture 5 Consider a circumscribable quadrilateral T0 , we apply τ out on the given quadrilateral to obtain T1. We can prove that the diagonal intersections of T0 and T1 are the same point, denoted by A. Let B and C be the circumcenters of T0 and T1, respectively. We claim that lim

T0  A square

AB 1 BC

5

Theorem 6 For every positive integer k greater than or equal to 1 , Qk [out ]  { circumscribable quadrilaterals }. Proof Let M 0 denoted by  A0B0C 0D0 be a circumscribable quadrilateral and out (M 0 )  M1, denote  A1B1C1D1. We can prove that A0B0 ||A1B1, , B0C 0 ||B1C1, C 0D0 ||C1D1, and D0A0 ||D1A1. Then, A1B1C1  A1D1C1  A0B0C 0  A0D0C 0, which means that out (M 0) is also circumscribable. Then we can apply μ out indefinitely from a circumscribable quadrilateral. 

Sorathan Chaturapruek Kent School

On Sequences of Bicentric Quadrilaterals

4 greater than or equal to C n 1 

3 An  , 4 2

and

An 1 

1,

we obtain

3 C n  , 4 2

for

every positive integer n greater than or equal to 1 . Therefore,

Figure 3 The outward construction from a circumscribable quadrilateral which produces an infinite sequence of bicentric quadrilateral Theorem 7 For every positive integer k greater than or equal to 2 , Qk [ in ] { kites }.

An  2 

which is equivalent to

which is equivalent to

8

 1  An  2    An  . 2 2 4

We can prove by utilizing mathematical induction that An  2k  2  1k  An  2 , for every positive 4

integer

k

greater than or equal to 1 . Thus,

  lim  An    lim  A1 2n   n   2 2    A     1  2  lim  n  4n  0. 9

Proof Let M 0 denoted by  A0B0C 0D0 be an inscribable quadrilateral with the diagonal intersection O. Let A0OB0 , B0OC 0  , C 0OD0   , and D0OA0   . We can prove that  in (M 0 ) is also inscribable if and only if     sin   sin   sin   sin , 6 2 2 2 2

3 An  , 8 4

n 

So



lim An  . 

n 

Analogously,

lim C n 

n 







       . cos    cos  4   4 

Since 0  , ,  ,   2 , then      . Thus M 0 is a kite. Moreover, every kite can be applied  in and remains kite.  Remark 8 Let M 0   A0B0C 0D0 be a kite. The sequence {Mn }n0 is defined by Mn 1  in (Mn ), for every positive integer n greater than or equal to 0. As n  , Mn

approaches a square.

7 

Proof Without loss of generality, assume that A0  C 0. Let M   An BnC n Dn , n n  BnOn An , and  n  BnOnCn . We can prove that An  n 1 and Cn n 1. Since  Bn  Dn  , for every positive integer n 2

Figure 4 Quadrilaterals approaching a square

3 On Generalization of Sequences of Bicentric Quadrilaterals Theorem 9 For a circumscribable quadrilateral T0 , the new quadrilateral T1 constructed by applying r on the given quadrilateral is bicentric if and only if (i) r is any real number in [0,1], if T0 is orthogonal, (ii)

r

is equal to 1 , otherwise. 2

Sorathan Chaturapruek Kent School

On Sequences of Bicentric Quadrilaterals

5

Proof Let  A1B1C1D1 denote T1 . We can prove that f : r  A1B1C1  A1D1C1 is a linear function on [0,1]. The new quadrilateral is circumscribable if and only if f (r )   . Combining with Lemma 1 and Theorem 7, we obtain the result.  Theorem 10 For an inscribable quadrilateral, there exists a real number r in [0,1] such that the new quadrilateral constructed by applying  r on the given quadrilateral is bicentric. Proof Let us begin with Intermediate Value Theorem (IVT): If f is continuous on [a,b ] and f (a)0  f (b), then there is some x in [a,b ] such that f (x ) 0. (Geometrically, this means that the graph of a continuous function which starts below the horizontal axis and ends above it must cross this axis at some point.) Let

be an inscribable quadrilateral denoted by  A0B0C 0D0 . We apply  r on the original quadrilateral and obtain  A1r B1rC1r D1r . Let g :[0,1]R be a function defined by g(r )  A1r B1r  C 1r D1r  M0

for every real number r in [0,1]. Now notice that A11 B10, B11 C10, C11  D10, and D11  A10 . Deduce that r

r

r

r

A1 C 1  B1 D1 ,

g(1)  A11B11  C 11D11  B11C 11  D11A11  B10C 10  D10A10  C 10D10  A10B10  g(0)

10

Since g is continuous on [0,1], we employ IVT to conclude that there exists a real number r in [0,1] such that g(r )  0 , or that A1r B1r  C 1r D1r  B1rC 1r  D1r A1r ,

11

which is equivalent to the condition of inscribableness. Because the new quadrilateral is also circumscribable, it is indeed bicentric. 

Future Work • We would like to investigate cases when starting figures are general n -gons such as pentagons and hexagons. • We can generalize the construction process by using mixed-type of construction process. • We can look at ellipse-circumscribable quadrilaterals. • We can look at figures in 3-dimensional space.

Acknowledgements I would like to thank Professor Nataphan Kitisin for his invaluable advice; Ms. Chamrern Jiavwan, Ms. Aunyarat Bunyawat, and Mr. Anakewit Boonkasame for their helpful suggestions; Mathematics Department, Mahidol Wittayanusorn school for support; JSTP for inspiration; NSTDA for research fund; my family and also my friends for their encouragement.

References 1. Chaturapruek, S. (2009). On Sequences of Bicentric Quadrilaterals. Full Report. Mathematics Department. Mahidol Wittayanusorn School. 2. Radic, M. (2005). Certain Inequalities Concerning Bicentric Quadrilaterals, Hexagons and Octagons. Journal of Inequalities in Pure and Applied Mathematics (JMAPI). Volume 6, Issue 1, Article 1. 3. Radic, M., Kaliman, Z., and Kadum, V. (2007). A Condition That a Tangential Quadrilateral Is Also a Chordal One. Mathematical Communication 12, 35-52. 4. Spivak, M. (2006). Calculus. Third Edition. Cambridge University Press.

On sequences of Bincentric Quadrilaterals

Jan 14, 2009 - Abstract. Dorman's Construction maps a circumscribable quadrilateral to a new quadrilateral whose edges are tangent to the circumscribing circle at the vertices of the given quadrilateral. The construction can be applied again when the new quadrilateral is bicentric. For a positive integer k , we investigate ...

633KB Sizes 1 Downloads 222 Views

Recommend Documents

Brahmagupta Quadrilaterals
Dec 9, 2002 - Heron quadrilaterals outlined in [2]. By a Brahmagupta quadrilateral we mean a cyclic Heron quadrilateral. In this paper we give a construction of Brahmagupta quadrilaterals from rational Heron triangles. We begin with some well known r

A Maximal Property of Cyclic Quadrilaterals
May 10, 2005 - This completes the proof that among quadrilaterals of given side lengths, the cyclic one has greatest area. Reference. [1] N. D. Kazarinoff, Geometric Inequalities, Yale University, 1961. Antreas Varverakis: Department of Mathematics,

POINTWISE AND UNIFORM CONVERGENCE OF SEQUENCES OF ...
Sanjay Gupta, Assistant Professor, Post Graduate Department of .... POINTWISE AND UNIFORM CONVERGENCE OF SEQUENCES OF FUNCTIONS.pdf.

absolutely unpredictable chaotic sequences
these functions cannot be expressed as a map of type Xn+1 = g(Xn, Xn-1,..., Xn-r+1). .... definition. In this context, they represent chaotic first-return maps.

Cyclic Quadrilaterals — The Big Picture
(IMO 1985) A circle with center O passes through the vertices A and C of triangle ABC and intersects ... 2 One Big Diagram. A. B. C. D. P. Q. R. O. M. Figure 1: The big picture. In this lecture, we will try to understand the features of Figure 1. The

Distributed Asymptotic Minimization of Sequences of ...
Feb 21, 2012 - planning, acoustic source localization, and environmental modeling). ... steps. First, to improve the estimate of a minimizer, agents apply a ...... Dr. Cavalcante received the Excellent Paper Award from the IEICE in 2006 and the ...

Generation of novel motor sequences-the neural correlates of musical ...
Generation of novel motor sequences-the neural correlates of musical improvisation.pdf. Generation of novel motor sequences-the neural correlates of musical ...

Automated Mapping of Pre-Computed Module-Level Test Sequences ...
to testing for defects after manufacture. Sequential ATPG ... defects affect the functionality and performance of the pro- cessor. ... test vectors. An example of at-speed processor testing in an indus- ... tools can, however, be used effectively to

Heron Quadrilaterals with Sides in Arithmetic or ...
mn = 0, and since n = 0 this yields only r = 0 in the geometric progression. .... A calculation using APECS shows the rank of this curve to be 0 and so ±P.

Heron Quadrilaterals with Sides in Arithmetic or Geometric ... - CiteSeerX
Page 1 ... We study triangles and cyclic quadrilaterals which have rational area and ... to search for triangles with rational area which have rational sides in geo-.

Behavior of chaotic sequences under a finite ...
IEEE WORKSHOP ON NONLINEAR MAPS AND APPLICATIONS (NOMA'07). Behavior ... precision and the conversion to single precision is realized when the ...

Super-resolution of Video Sequences Using Local ...
that surface, allowing partial recovery of higher- ... 'ground truth' data and super-resolved images at the .... estimation of edges within narrow fields of view. 4.

Super-resolution of Video Sequences Using Local ...
resolution, by estimating translations of small upsampled image patches ... imaging device, such as a cellphone camera or security camera. Super-resolution ...

ePub Handbook of MRI Pulse Sequences Read Books
Magnetic Resonance Imaging: Physical Properties and Sequence Design · The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second ...

GANS for Sequences of Discrete Elements with the ...
Second, to learn G we will introduce a classifier we call the discriminator D. The ... Figure 2 shows a schematic of the adversarial training procedure for discrete sequences. .... In SIGNLL Conference on Computational Natural Language.

Behavior of chaotic sequences under a finite ...
Email: [email protected]. Fabrice Peyrard and ... Email: [email protected] .... The IEEE 754 standard provides that all operations (ad- dition ...