PROPERTIES OF TILTED KITES

Similar documents
Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions

Collinearity/Concurrence

Name: Class: Date: 5. If the diagonals of a rhombus have lengths 6 and 8, then the perimeter of the rhombus is 28. a. True b.

arxiv: v1 [math.ho] 29 Nov 2017

Nozha Directorate of Education Form : 2 nd Prep. Nozha Language Schools Ismailia Road Branch

2013 Sharygin Geometry Olympiad

SOLUTION. Taken together, the preceding equations imply that ABC DEF by the SSS criterion for triangle congruence.

RMT 2013 Geometry Test Solutions February 2, = 51.

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Fall 2016 Solutions to the Quizzes

Higher Geometry Problems

SMT 2018 Geometry Test Solutions February 17, 2018

Harmonic quadrangle in isotropic plane

Identities and inequalities in a quadrilateral

Higher Geometry Problems

Nozha Directorate of Education Form : 2 nd Prep

Classical Theorems in Plane Geometry 1

21. Prove that If one side of the cyclic quadrilateral is produced then the exterior angle is equal to the interior opposite angle.

Circle and Cyclic Quadrilaterals. MARIUS GHERGU School of Mathematics and Statistics University College Dublin

A NEW PROOF OF PTOLEMY S THEOREM

2008 Euclid Contest. Solutions. Canadian Mathematics Competition. Tuesday, April 15, c 2008 Centre for Education in Mathematics and Computing

THE CYCLIC QUADRANGLE IN THE ISOTROPIC PLANE

0811ge. Geometry Regents Exam

Berkeley Math Circle, May

VAISHALI EDUCATION POINT (QUALITY EDUCATION PROVIDER)

Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1

Concurrency and Collinearity

UCLA Curtis Center: March 5, 2016

Geometry Facts Circles & Cyclic Quadrilaterals

Chapter (Circle) * Circle - circle is locus of such points which are at equidistant from a fixed point in

0811ge. Geometry Regents Exam BC, AT = 5, TB = 7, and AV = 10.

0809ge. Geometry Regents Exam Based on the diagram below, which statement is true?

Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )

0113ge. Geometry Regents Exam In the diagram below, under which transformation is A B C the image of ABC?

GEO REVIEW TEST #1. 1. In which quadrilateral are the diagonals always congruent?

LLT Education Services

9. AD = 7; By the Parallelogram Opposite Sides Theorem (Thm. 7.3), AD = BC. 10. AE = 7; By the Parallelogram Diagonals Theorem (Thm. 7.6), AE = EC.

KENDRIYA VIDYALAYA SANGATHAN, HYDERABAD REGION

1966 IMO Shortlist. IMO Shortlist 1966

IMO Training Camp Mock Olympiad #2 Solutions

Objective Mathematics

Topic 2 [312 marks] The rectangle ABCD is inscribed in a circle. Sides [AD] and [AB] have lengths

SOME RESULTS OF CONSTRUCTING SEMI GERGONNE POINT ON A NONCONVEX QUADRILATERAL

From a GOLDEN RECTANGLE to GOLDEN QUADRILATERALS and Beyond Part 2

INVERSION IN THE PLANE BERKELEY MATH CIRCLE

Problems First day. 8 grade. Problems First day. 8 grade

Alg. (( Sheet 1 )) [1] Complete : 1) =.. 3) =. 4) 3 a 3 =.. 5) X 3 = 64 then X =. 6) 3 X 6 =... 7) 3

Seul Lee, Dong-Soo Kim and Hyeon Park

Maharashtra Board Class X Mathematics - Geometry Board Paper 2014 Solution. Time: 2 hours Total Marks: 40

Homework Assignments Math /02 Fall 2017

right angle an angle whose measure is exactly 90ᴼ

THEOREMS WE KNOW PROJECT

Chapter 1. Some Basic Theorems. 1.1 The Pythagorean Theorem

IMO Training Camp Mock Olympiad #2

THREE PROOFS TO AN INTERESTING PROPERTY OF CYCLIC QUADRILATERALS

About the Japanese theorem

2003 AIME Given that ((3!)!)! = k n!, where k and n are positive integers and n is as large as possible, find k + n.

TRIANGLES CHAPTER 7. (A) Main Concepts and Results. (B) Multiple Choice Questions

Rhombi, Rectangles and Squares

NAME: Mathematics 133, Fall 2013, Examination 3

chapter 1 vector geometry solutions V Consider the parallelogram shown alongside. Which of the following statements are true?

1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle?

Exercises for Unit V (Introduction to non Euclidean geometry)

8. Quadrilaterals. If AC = 21 cm, BC = 29 cm and AB = 30 cm, find the perimeter of the quadrilateral ARPQ.

Math 5 Trigonometry Fair Game for Chapter 1 Test Show all work for credit. Write all responses on separate paper.

From a GOLDEN RECTANGLE to GOLDEN QUADRILATERALS and Beyond Part 1

KENDRIYA VIDYALAYA GACHIBOWLI, GPRA CAMPUS, HYD 32

Exercises for Unit I I I (Basic Euclidean concepts and theorems)

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY. Student Name:

nx + 1 = (n + 1)x 13(n + 1) and nx = (n + 1)x + 27(n + 1).

The Droz-Farny Circles of a Convex Quadrilateral

the coordinates of C (3) Find the size of the angle ACB. Give your answer in degrees to 2 decimal places. (4)

Solutions. cos ax + cos bx = 0. a sin ax + b sin bx = 0.

Geometry Note Cards EXAMPLE:

Chapter 3 Cumulative Review Answers

Canadian Open Mathematics Challenge

Geometry Honors Review for Midterm Exam

0612ge. Geometry Regents Exam

The Coordinate Plane. Circles and Polygons on the Coordinate Plane. LESSON 13.1 Skills Practice. Problem Set

( 1 ) Show that P ( a, b + c ), Q ( b, c + a ) and R ( c, a + b ) are collinear.

11 th Philippine Mathematical Olympiad Questions, Answers, and Hints

Section 5.1. Perimeter and Area

Theorem 1.2 (Converse of Pythagoras theorem). If the lengths of the sides of ABC satisfy a 2 + b 2 = c 2, then the triangle has a right angle at C.

The Advantage Testing Foundation Olympiad Solutions

0112ge. Geometry Regents Exam Line n intersects lines l and m, forming the angles shown in the diagram below.

10. Circles. Q 5 O is the centre of a circle of radius 5 cm. OP AB and OQ CD, AB CD, AB = 6 cm and CD = 8 cm. Determine PQ. Marks (2) Marks (2)

6 CHAPTER. Triangles. A plane figure bounded by three line segments is called a triangle.

0610ge. Geometry Regents Exam The diagram below shows a right pentagonal prism.

2. In ABC, the measure of angle B is twice the measure of angle A. Angle C measures three times the measure of angle A. If AC = 26, find AB.

Figure 1: Problem 1 diagram. Figure 2: Problem 2 diagram

Mathematical Structures for Computer Graphics Steven J. Janke John Wiley & Sons, 2015 ISBN: Exercise Answers

MHR Principles of Mathematics 10 Solutions 1

MORE ON THE PEDAL PROPERTY OF THE ELLIPSE

TENTH YEAR MATHEMATICS

16 circles. what goes around...

Geometry Honors: Midterm Exam Review January 2018

Grade 9 Geometry-Overall

This class will demonstrate the use of bijections to solve certain combinatorial problems simply and effectively.

(b) the equation of the perpendicular bisector of AB. [3]

Vectors - Applications to Problem Solving

0114ge. Geometry Regents Exam 0114

Transcription:

INTERNATIONAL JOURNAL OF GEOMETRY Vol. 7 (018), No. 1, 87-104 PROPERTIES OF TILTED KITES MARTIN JOSEFSSON Abstract. We prove ve characterizations and derive several metric relations in convex quadrilaterals with two opposite equal angles. An interesting conclusion is that it is possible to express all quantities in such quadrilaterals in terms of their four sides alone. 1. Introduction A kite is usually de ned to be a quadrilateral with two distinct pairs of adjacent equal sides. It has several well-known properties, including: Two opposite equal angles; Perpendicular diagonals; A diagonal bisecting the other diagonal; An incircle (a circle tangent to all four sides); An excircle (a circle tangent to the extensions of all four sides). What quadrilaterals can we get by generalizing the kite? If we only consider one of the properties in the list at a time, then from the second we get an orthodiagonal quadrilateral (see [8]), from the third we get a bisectdiagonal quadrilateral (see [13]), and the fourth and fth yields a tangential quadrilateral and an extangential quadrilateral respectively (see [6] and [1]). But what about the rst one? It seems perhaps to be the most basic. What properties hold in a quadrilateral that is de ned only in terms of having two opposite equal angles? And what is it called? This class of quadrilaterals has been studied very scarcely. It is di - cult to nd any textbook or paper containing just one theorem or problem concerning such quadrilaterals, but they have been named at least twice in connection with quadrilateral classi cations. Günter Graumann called them tilted kites in [3] and Michael de Villiers called them angle quadrilaterals in [18]. In this paper we use the former name and we shall study some fundamental properties of convex tilted kites (even though this restriction is not stated in every theorem). Keywords and phrases: Tilted kite, Generalization, Characterization, Metric relations, Right quadrilateral, Kite (010)Mathematics Subject Classi cation: 51M04, 51M5 Received: 15.01.018. In revised form: 3.03.018. Accepted: 18.03.018.

88 Martin Josefsson Figure 1: A tilted kite with \A = \C. Characterizations We start with three simple necessary and su cient conditions for a convex quadrilateral to be a tilted kite expressed in terms of di erent angle properties. Theorem.1. Two opposite angles in a convex quadrilateral are equal if and only if the angle bisectors of the other two angles are parallel. Figure : \A = \C i the angle bisectors to B and D are parallel Proof. Assume the angle bisector to the vertex angle at D intersect the side \D BC at a point E. Then \CED = \C (see Figure ). The angle bisectors are parallel if and only if corresponding angles are equal, that is \B = \D \C, \B + \D = \A + \B + \C + \D \C where we used the angle sum of a quadrilateral. Simplifying the last equality, we have that the angle bisectors are parallel if and only if the other two angles are equal (\A = \C). Theorem.. A convex quadrilateral, which is not a kite, is a tilted kite if and only if the angle bisectors of the four angles form an isosceles trapezoid.

Properties of tilted kites 89 Figure 3: \A = \C i EF GH is an isosceles trapezoid Proof. It is well known that the angle bisectors of the four angles in a convex quadrilateral either form a cyclic quadrilateral or they are concurrent. The latter is true only in a tangential quadrilateral, hence the exception for kites (including rhombi and squares). Combining this with Theorem.1, we have that a convex quadrilateral is a tilted kite if and only if the angle bisectors of the four angles form a cyclic trapezoid, which is equivalent to an isosceles trapezoid (see Figure 3). It can be noted that the formed isosceles trapezoid is a rectangle or a square if the original quadrilateral is a parallelogram or a rectangle respectively [16, p.34]. Theorem.3. Two opposite angles in a convex quadrilateral are equal if and only if the two angles between the extensions of opposite sides are equal. Figure 4: \A = \C, = Proof. Let the angles between the extensions of opposite sides in quadrilateral ABCD be and. If they intersect outside of D, then we have \A + \B + = and \B + \C + = (see Figure 4). Hence \A \C =

90 Martin Josefsson, so \A = \C if and only if =. In the same way we prove that \B = \D if and only if = when the extended sides intersect outside of vertex A or C. A fourth case is when the intersection is outside of B, but that yields the same solution as the rst. A limiting special case of this third characterization is that if one pair of opposite sides are parallel, then the quadrilateral is a tilted kite if and only if both pairs of opposite sides are parallel. That is to say that the only trapezoids that are tilted kites are the parallelograms. Next we have a more advanced characterization involving a tangent to two subtriangle incircles. The proof rests upon a remarkable formula that was posed as a problem by user Fang-jh at [], but we do not know if this is the original discoverer. A few di erent proofs of this formula has been given at the website Art of Problem Solving; the idea behind the proof we give is due to the user yetti [19]. Theorem.4. In a convex quadrilateral ABCD, let L be the internal tangent other than AC to the incircles of triangles ABC and ACD. Then L bisects diagonal BD if and only if the vertex angles at B and D are equal. Proof. Let L intersect BD at T. We shall derive the formula (1) BT DT = tan D tan B : Since T bisects BD if and only if BT = DT, which according to (1) is equivalent to \B = \D, the proof is then nished. Figure 5: \B = \D i the tangent line L bisects BD We use the following notations: let the incircles of triangles ABC and ACD have radii r 1 and r, incenter I 1 and I respectively, and let L intersect CD, AB and AC at P, Q and S respectively (see Figure 5). We have sin B = r 1 BI 1 and sin D = r DI. By the law of sines, QB sin \BI 1 Q = BI 1 sin \I 1 QB ; P D sin \DI P = DI sin \I P D :

Properties of tilted kites 91 It follows that () QB P D = BI 1 sin \BI 1Q DI sin \I 1 QB sin \I P D sin \DI P = r 1 sin D sin B + Q sin P r sin B sin Q sin D + P where we have used the notations \P = \DP S and \Q = \BQS. The area of triangles AI 1 C and AI C are respectively 1 AC r 1 = 1 AI 1 CI 1 sin \AI 1 C; 1 AC r = 1 AI CI sin \CI A and, according to the law of sines applied in triangles AI 1 I and CI 1 I, we also have AI 1 sin \AI S = AI sin \SI 1 A ; CI 1 sin \SI C = CI sin \CI 1 S : Thus r 1 (3) = AI 1 CI 1 sin \AI 1C r AI CI sin \CI A = sin \AI S sin \SI 1 A sin \SI C sin \CI 1 S sin \AI 1C sin \CI A : Using the sum of angles in triangles AI 1 C and ABC, we get \AI 1 C + \I 1 AC + \I 1 CA = and \I 1 AC + \I 1 CA + \B = ; whence \AI 1 C = + \B. Similarly, \CI A = + \D. Since \CSQ = \QAS + \Q and the circle with center I 1 is an excircle to triangle AQS, it holds that \QAS \QAS \SI 1 A = + \Q = \Q : Similarly, \SI C = \P. It follows that \CI 1 S = \AI 1 C \SI 1 A = + \B and in the same way \AI S = \D + \P. \Q = \B + \Q Figure 6: Angle notations in quadrilateral CP I S Next, consider the quadrilateral CP I S (see Figure 6). Let us denote v = \SI C, w = \P I C, = \P CI = \SCI and = \ASI = \P SI. Then from the exterior angle theorem, = v + and \P = w +, so in

9 Martin Josefsson triangle P SI, we have v + w + \P v = \P, so sin \SI C = sin v = sin + =. Eliminating w and, we get P = cos P : In the same way sin \SI 1 A = cos Q. Inserting the six angle expressions we have just derived into (3) yields r 1 = sin D + P cos P r cos Q cos B sin B + Q cos D ; which in turn imply that () can be simpli ed as (4) QB P D = cos P cos Q cos B cos D sin D sin B sin P sin Q = sin P sin Q tan D tan B where we used the double angle formula 1 sin x = sin x cos x in the last equality. According to the law of sines applied in triangles BQT and DP T, we also have T B sin Q = QB sin T ; T D sin P = P D sin T where \T = \BT Q = \DT P. We nally get from these and (4) that which completes the proof. T B T D = QB P D sin Q sin P = tan D tan B The following formula was derived in [15, p.194], wherein it is attributed to Ovidiu Pop. However, he did not consider the converse. This is the only metric formula in this paper that is independent on which pair of opposite angles in the quadrilateral that are equal. Theorem.5. A convex quadrilateral with consecutive sides a, b, c, d is a tilted kite if and only if the distance v between the midpoints of the diagonals is given by v = 1 r (ab cd)(bc ad) : ac bd This characterization does not apply to kites. Proof. Consider a convex quadrilateral ABCD where E and F are the midpoints of diagonals AC and BD respectively, and N is the midpoint of side AD. We have that EN and F N are midlines in triangles ADC and DAB respectively. Thus EN = 1 c, F N = 1 a, \ANE = \D and \DNF = \A (see Figure 7). It holds that \ENF = j (\A + \D)j. Using the law of cosines in triangle EF N yields v = a 4 + c 4 a c cos j (A + D)j; whence 4v = a + c + ac cos (A + D). In the same way (using triangle EF K, where K is the midpoint of AB) it is obtained that 4v = b + d +

Properties of tilted kites 93 Figure 7: The distance between the diagonal midpoints bd cos (A + B). Thus in a tilted kite where \B = \D we get by combining the last two formulas that 4v (ac bd) = ac(b + d ) bd(a + c ) and the formula in the theorem follows after factorization. We get the same formula in the other case when \A = \C, since the only di erence is the change b $ d which gives two sign changes in the numerator that cancel. The exception for kites is explained later in Corollary 4.1. This is in the case when the denominator is zero. For the converse, we use that 4v = a + c + ac cos (A + D) and 4v = b + d + bd cos (A + B) hold in all convex quadrilaterals according to the rst part of the proof. Thus we get 4v (ac bd) = ac(b + d ) bd(a + c ) + abcd cos (A + B) cos (A + D) : But the assumption is that 4v (ac bd) = ac(b + d ) bd(a + c ), so in the quadrilateral(s) we seek it must hold that abcd cos (A + B) cos (A + D) = 0 which according to one of the sum-to-product formulas is equivalent to 4abcd sin A + B + D sin D B = 0; or using \A + \B + \C + \D = and sin ( + ') = sin ', we get 4abcd sin A C sin D B = 0: Now either sin A C = 0 or sin D B = 0. The rst gives the solutions \A = \C or \A = + \C, where the second is not valid in a convex quadrilateral. In the same way the second sine-equation only has one valid solution, \D = \B. This proves that the quadrilateral is a tilted kite. 3. Circumcircle and incircle One special case of a tilted kite is a quadrilateral with two opposite right angles. It was called a right quadrilateral in [18, pp.73 74], a Hjelmslev quadrilateral in [5, p.430] and a right Pythagorean quadrilateral in [11, p.0]. We will use the rst name in this paper (see Figure 8).

94 Martin Josefsson Figure 8: A right quadrilateral is a cyclic tilted kite Theorem 3.1. A tilted kite has a circumcircle if and only if it is a right quadrilateral. Proof. A convex quadrilateral has a circumcircle if and only if its opposite angles are supplementary angles. The system of equations \A+\C = and \A = \C has the solution \A = \C =, that is, a right quadrilateral. All kites have an incircle, but are there any other more general tilted kites with an incircle that are not kites? That question is answered with no by the next theorem. Theorem 3.. A tilted kite has an incircle if and only if it is a kite. Proof. A convex quadrilateral has an incircle if and only if its internal angle bisectors are concurrent. We know from Theorem.1 that a pair of opposite angle bisectors in a tilted kite are parallel. For them to intersect, these angle bisectors must coincide. This means that they constitute a diagonal, and this diagonal divide the tilted kite into two congruent triangles (a characterization of kites). Hence a tilted kite has an incircle if and only if it is a kite. 4. Metric relations concerning distances We shall use the following notations in the rest of this paper: a tilted kite ABCD has the sides a = AB, b = BC, c = CD, d = DA and the diagonals p = AC, q = BD. There are two main types of tilted kites, with \A = \C or \B = \D. Most formulas are derived for and only valid in the rst case. In the second case, similar formulas hold which can be derived in the same way, or we get them by symmetry when interchanging b and d in the formulas for the rst case. The following metric relation is known to hold in a cyclic quadrilateral (see [17, p.1]), but it is equally true in all tilted kites. Theorem 4.1. In a convex quadrilateral ABCD where the diagonals intersect at P, we have AP CP = DA AB BC CD

Properties of tilted kites 95 if and only if the quadrilateral is either a tilted kite or a cyclic quadrilateral. Figure 9: Heights in subtriangles ABD and BCD Proof. Let T 1 and T be the areas of triangles ABD and BCD respectively, and h 1 and h their heights to the common side BD (see Figure 9). Then we have AP CP = h 1 = T 1 DA AB sin A = h T BC CD sin C : Hence the equality in the theorem is true if and only if sin A = sin C, which is equivalent to \A = \C or \A = \C. The rst solution is the de nition of a tilted kite and the second is a well-known characterization of cyclic quadrilaterals. Next we derive formulas for the diagonal lengths in a tilted kite. Theorem 4.. In a tilted kite ABCD with consecutive sides a, b, c, d where \A = \C, the diagonal opposite the equal angles has the length r (ab cd)(ac bd) q = bc ad and the diagonal connecting the vertices with equal angles has the length s (a p = b ) cd ab(c d ) : (ac bd)(ad bc) Neither formula is valid in a kite nor in a parallelogram. Figure 10: The diagonal q

96 Martin Josefsson Proof. By the law of cosines we have q = a + d ad cos A and q = b + c bc cos A since \A = \C (see Figure 10). From these, we get q (bc ad) = ab(ac bd) cd(ac bd) and the rst formula follows directly. Using Euler s quadrilateral theorem (see [15, p.14]) (5) a + b + c + d = p + q + 4v in combination with Theorem.5 and the formula we just derived yields p = a + b + c + d (ab cd)(bd ac) ad bc = abc4 + a 4 cd a b cd + b 4 cd + abc d abd 4 (ac bd)(ad bc) (ab cd)(ad bc) bd ac from which the second formula follows by collecting similar terms. The cases of exception are proved in Corollaries 4.1 and 4.. Corollary 4.1. A tilted kite with consecutive sides a, b, c, d is a kite if and only if ac = bd. Proof. ()) If a tilted kite is a kite, then by de nition a = b and c = d or a = d and b = c. It follows that ac = bd. (() We prove the converse in the case when diagonal q is opposite the equal angles (\A = \C); the other case is similar. By Theorem 4., q (bc ad) = (ac bd)(ab cd): Since q 6= 0, we get that ac = bd imply ad = bc. Solving these two simultaneous equations yields a = b and c = d, which means the tilted kite is a kite. Corollary 4.. In a tilted kite with consecutive sides a, b, c, d, it holds that ab = cd or ad = bc if and only if it is either a kite or a parallelogram. Proof. From Theorem.5 we have that (ab cd)(bc ad) = 4v (ac bd): Hence ab = cd or ad = bc is equivalent to v = 0 or ac = bd. The rst equality is a well-known characterization for a parallelogram (bisecting diagonals) and the second is a necessary and su cient condition for when a tilted kite is a kite according to the previous corollary. From now on, whenever there is a case of exception in a theorem regarding a kite or a parallelogram, then it is due to Corollary 4.1 or 4.. A bimedian in a quadrilateral is a line segment connecting the midpoints of opposite sides. The bimedian connecting sides a and c is labeled m, and the one connecting b and d is labeled n.

Properties of tilted kites 97 Theorem 4.3. In a tilted kite ABCD with consecutive sides a, b, c, d where \A = \C, the lengths of the bimedians are m = 1 r (ab + cd)(ad + bc) bd(b + d ) ; ac bd r (ab + cd)(ad + bc) ac(a + c ) if it is not a kite. n = 1 bd ac Proof. In [7, p.16] it was noted that the lengths of the bimedians in a convex quadrilateral satisfy the formulas 4m = (b + d ) 4v ; 4n = (a + c ) 4v : Inserting the expression for 4v from Theorem.5 and simplifying directly yields the formulas in this theorem. 5. Area The area formula for a tilted kite is certainly not well known. According to [1, p.34], this formula appeared in a German collection of geometrical problems by Meier Hirsch in 1805, but not separated into two parts as we have done. Theorem 5.1. A tilted kite ABCD with \A = \C and consecutive sides a, b, c, d has the area ad + bc K = jad bcj Q if it is neither a kite nor a parallelogram, where Q = 1 4p ( a + b + c d)(a b + c d)(a + b c d)(a + b + c + d) : Proof. A tilted kite with \A = \C (see Figure 10) has the area (6) K = 1 ad sin A + 1 bc sin C = 1 sin A(ad + bc): Applying the law of cosines in the two triangles created by diagonal BD yields a + d ad cos A = b + c bc cos C, that is a + d b c = cos A(ad bc): From the trigonometric version of the Pythagorean theorem, it holds 1 = sin A + cos A = 4K (ad + bc) + (a + d b c ) 4(ad bc) : Factoring this equality, we get that the expression 16K (ad bc) (ad + bc)

98 Martin Josefsson equals 4(ad bc) (a + d b c ) = (a + d) (b + c) (b c) (a d) = (a + d + b + c)(a + d b c)(b c + a d)(b c a + d) = (a + d + b + c)( a d + b + c)(b c + a d)( b + c + a d) and Hirsch s formula follows. according to Corollary 4.. It is not valid in kites and parallelograms It is noteworthy that Q has a geometrical meaning. It gives the area of a crossed cyclic quadrilateral with consecutive sides a, b, c, d according to [14, p.500]. The formula for Q is the same as Brahmagupta s formula with consecutive sides a, b, c, d. It is easy to see, by factoring out 1 from two of the parentheses at a time, that it is possible to have any one of the four sides as the negative. Corollary 5.1. In a tilted kite with sides of di erent lengths, the sum of the longest and the shortest side must be less than the sum of the other two sides. Proof. There are several cases, but suppose rst the consecutive sides a, b, c, d have this order of magnitude from longest to shortest. Then it is obvious that a b + c d > 0 and a + b c d > 0. In order for the radicand of Q to be positive, we must have a + b + c d > 0, from which the conclusion follows in this case. It is always possible to rename the sides so that a is the longest side. Then there are only six cases to consider. Reasoning as in the rst case, we get the results indicated in Table 1, which concludes the proof. Side inequalities a > b > c > d a > b > d > c a > c > b > d a > c > d > b a > d > b > c a > d > c > b Conclusion b + c > a + d b + d > a + c b + c > a + d c + d > a + b b + d > a + c c + d > a + b Table 1: The six di erent cases of side inequalities Corollary 5.. A tilted kite ABCD with \A = \C and consecutive sides a, b, c, d, that is neither a kite nor a parallelogram, has the area s ad + bc 1 a b K = 1 c + d : 4 ad bc The formula is simpli ed to K = ad + bc

Properties of tilted kites 99 if and only if the tilted kite is a right quadrilateral with \A = \C =. Proof. The rst formula is a direct consequence of the proof of Theorem 5.1. From a + d b c = cos A(ad bc) we get that a + d = b + c if and only if \A = (a right quadrilateral) since it is neither a kite nor a parallelogram, so ad 6= bc according to Corollary 4.. 6. Angle formulas There are several di erent formulas for calculating the vertex angles in a tilted kite. Theorem 6.1. The two equal angles in a tilted kite ABCD with consecutive sides a, b, c, d are given by cos A = a b c + d (ad bc) and the other two angles are given by = cos C cos B = 4abcd + (c d ) (a + b )(c + d ) ; (ac bd)(ad bc) cos D = 4abcd + (a b ) (a + b )(c + d ) : (ac bd)(bc ad) Neither formula is valid in a kite nor in a parallelogram. Proof. By the law of cosines and Theorem 4., cos B = a + b p ab = 4abcd + (c d ) (a + b )(c + d ) : (ac bd)(ad bc) The derivations of the other formulas are similar. Theorem 6.. The two equal angles in a tilted kite ABCD with consecutive sides a, b, c, d are given by s tan A = (a + b c d)(a b + c d) ( a + b + c d)(a + b + c + d) = tan C and the other two angles are given by tan B = c + d jc dj tan D = a + b ja bj s ( a + b + c d)(a b + c d) (a + b c d)(a + b + c + d) ; s ( a + b + c d)(a b + c d) (a + b c d)(a + b + c + d) : Proof. We derive the formula for angle B; the other proofs are similar. Since B (7) tan = 1 cos B 1 + cos B

100 Martin Josefsson we will rst simplify expressions for the numerator and denominator in this formula. From Theorem 6.1, we have that 1 cos B equals (8) (ac bd)(ad bc) 4abcd (c d ) + (a + b )(c + d ) (ac bd)(ad bc) = (a ab + b )(c + cd + d ) (c d ) (ac bd)(ad bc) = (c + d) (a b + c d)(a b c + d) : (ac bd)(ad bc) In the same way we have that (9) 1 + cos B = (c d) (a + b + c + d)( a b + c + d) : (ac bd)(ad bc) Inserting these expressions into (7) results after simpli cation in the formula we seek, since tan B > 0. Theorem 6.3. The two congruent angles in a tilted kite ABCD with consecutive sides a, b, c, d and area K are given by sin A = K ad + bc = sin C and the other two angles are given by sin B = sin D = K ad + bc K ad + bc The last two formulas are not valid in a kite. c d ac bd ; a b ac bd : Proof. The rst two formulas is just a rewrite of (6). For the third formula, using (8) and (9), we get sin B = 1 cos B = (1 + cos B)(1 cos B) = (c d) (a + b + c + d)( a b + c + d) (ac bd)(ad bc) (c + d) (a b + c d)(a b c + d) (ac bd)(ad bc) = (c d ) 16Q 4(ac bd) (ad bc) where we used the de nition of Q from Theorem 5.1 in the last equality. Whence sin B = jc d j Q jac bdjjad bcj = jc d j jac bdj K ad + bc according to Theorem 5.1. The formula for sin D is derived in the same way. There is also a formula for the measure of the angles between the extensions of opposite sides. Remember that these two angles are equal by Theorem.3.

Properties of tilted kites 101 Theorem 6.4. The two equal angles and between the extensions of opposite sides in a tilted kite with consecutive sides a, b, c, d are given by r (a + b c d)( a + b + c d) if it s not a kite. sin = 1 ac bd Proof. We will use Euler s quadrilateral theorem (5) and Theorem 10 in [9], according to which p + q = b + d + ac cos, where is the angle between the extensions of the sides a and c. Both of these equalities are valid in all convex quadrilaterals. Combining them yields 4v = a + b + c + d (b + d + ac cos ) = (a c) + ac(1 cos ) = (a c) + 4ac sin : Now inserting Theorem.5 and solving for the angle, we get 4ac sin = (ab cd)(bc ad) (a c) (ac bd) ac bd ac(b d + a c)(b d a + c) = ac bd which simpli es to the formula in the theorem. 7. The area of the diagonal point triangle If the diagonals in a quadrilateral intersect at P and the extensions of the opposite sides intersect at E and F, then triangle EF P is called the diagonal point triangle (see Figure 11). In order for this triangle to exist, we must assume the quadrilateral has no pair of opposite parallel sides. Figure 11: The diagonal point triangle EF P

10 Martin Josefsson Theorem 7.1. In a tilted kite ABCD with \A = \C, which have the consecutive sides a, b, c, d and area K, the diagonal point triangle has the area T = abcd a b c d K (ad + bc) (ad bc) if the tilted kite is neither a kite nor a parallelogram. Proof. According to Richard Guy s version of Hugh ApSimon s formula (see [4, p.163]), the diagonal point triangle belonging to a convex quadrilateral ABCD has the area T 1 T T 3 T 4 (10) T = K(T 1 T T 3 T 4 ) where T 1, T, T 3, T 4 are the areas of triangles ABC, ACD, ABD, BCD respectively. In a tilted kite with \A = \C, we have that T 1 = ab abk sin B = c d ad + bc ac bd ; T = cd sin D = cdk a b ad + bc ac bd ; T 3 = ad adk sin A = ad + bc ; T 4 = bc sin C = bck ad + bc where we used Theorem 6.3. Thus and T 1 T T 3 T 4 = (abcd) K 4 a b c d (ac bd) (ad + bc) 4 KjT 1 T T 3 T 4 j = abcdk3 (ad + bc) a b c d (ac bd) (ac bd) : We put an absolute value for T 1 T T 3 T 4 to cover all cases. Now there are two possibilities. Depending on the sign of the inner absolute value in the numerator in the last expression, that numerator ja b jjc d j (ac bd) is either simpli ed to (ad bc) or (ad + bc) (a c + b d ) depending on whether (a b )(c d ) is positive or negative respectively. To decide the correct alternative, we study a rectangle. Note that since opposite sides in a rectangle are parallel, its diagonal point triangle must have in nite area. Thus we expect the denominator in the formula for the area of the diagonal point triangle to be zero. Inserting a = c and b = d, we get that (ad bc) = 0, but the second possible expression is simpli ed to (a b ) 6= 0. Whence the correct area formula is T = (abcd) K 4 a b c d (ac bd) (ad + bc) 4 (ad + bc) (ac bd) abcdk 3 (ad bc) which is simpli ed to the formula in the theorem.

Properties of tilted kites 103 8. Concluding remarks In [10, p.73] we noted that the two classes of generalized kites that are quadrilaterals where one diagonal is bisected by the other diagonal (later called a bisect-diagonal quadrilateral) and where two opposite angles are equal (a tilted kite) have appeared rarely in the literature on geometry. The former was then explored in [13] and the latter in the present paper. An important feature of these quadrilaterals is a property they share: that the metric relations for all important quantities such as the two diagonal lengths, the distance between the diagonal midpoints, and the quadrilateral area can be expressed in terms of the quadrilateral sides alone. Furthermore, their area formulas are surprisingly similar. The area of a bisect-diagonal quadrilateral can according to the corollary to Theorem 10 in [13] be expressed as s ad bc K = S 1 4 a b c + d when diagonal p is bisected by diagonal q. Here S stands for the area of a cyclic quadrilateral (Brahmagupta s formula). The area of a tilted kite ABCD can according to the corollary to Theorem 5.1 in the present paper be expressed as s 1 a b K = S 1 c + d 4 ad bc when \A = \C. Here S = 1 (ad + bc) is the area of a right quadrilateral (which is a cyclic tilted kite). We nd the similarity between these formulas very interesting and remarkable. References [1] Archibald, R., The area of a quadrilateral, Amer. Math. Monthly, 9 (January 19) 9 36. [] Fang-jh (username), Segment ratio, Art of Problem Solving, 3 December 008, https://artofproblemsolving.com/community/c6h46658 [3] Graumann, G., Investigating and ordering quadrilaterals and their analogies in space problem elds with various aspects, ZDM, 37 (3) (005) 190 198. Available at http://subs.emis.de/journals/zdm/zdm053a8.pdf [4] Guy, R., ApSimon s diagonal point triangle problem, Amer. Math. Monthly, 104 (1997) 163 167. [5] Hartshorne, R., Geometry: Euclid and beyond, Springer (000). [6] Josefsson, M., More characterizations of tangential quadrilaterals, Forum Geom., 11 (011) 65 8. [7] Josefsson, M., The area of a bicentric quadrilateral, Forum Geom., 11 (011) 155 164. [8] Josefsson, M., Characterizations of orthodiagonal quadrilaterals, Forum Geom., 1 (01) 13 5. [9] Josefsson, M., Characterizations of trapezoids, Forum Geom., 13 (013) 3 35. [10] Josefsson, M., On the classi cation of convex quadrilaterals, Math. Gaz., 100 (March 016) 68 85. [11] Josefsson, M., Properties of Pythagorean quadrilaterals, Math. Gaz., 100 (July 016) 13 4. [1] Josefsson, M., More characterizations of extangential quadrilaterals, International Journal of Geometry 5 () (016) 6 76.

104 Martin Josefsson [13] Josefsson, M., Properties of bisect-diagonal quadrilaterals, Math. Gaz., 101 (July 017) 14 6. [14] Josefsson, M., Metric relations in crossed cyclic quadrilaterals, Math. Gaz., 101 (November 017) 499 50. [15] Pop, O., Minculete, N. and Bencze, M., An introduction to quadrilateral geometry, Editura Didactic¼a şi Pedagogic¼a, Bucharest, Romania (013). [16] Ramachandran, A., Angle bisectors in a quadrilateral, At Right Angles, 4 (1) (015) 33 35. [17] Rapanos, N., The harmonic quadrilateral and its properties, HMS-Preparation notes for I.M.O. 009, available at https://drive.google.com/file/d/0b9uh0vymsvrpqkz3nklyxzliwg8 [18] M. de Villiers, Some adventures in Euclidean geometry, Dynamic Mathematics Learning (009). [19] yetti (username), A pretty problem with 3 incircles(by Tiks), fth post, Art of Problem Solving, 11 January 01, https://artofproblemsolving.com/community/c6h354536 SECONDARY SCHOOL KCM MARKARYD, SWEDEN E-mail address: martin.markaryd@hotmail.com