40 views

Uploaded by George Protopapas

© All Rights Reserved

- Answers for maths in focus 3u
- Intro CAD Workbook
- PGDBA Answer Key 2019
- Mathematics CXC 2013
- Topic 9 Vocabulary
- Www.studyrankers.com
- CompetitionMathsQuestions
- Mathematics Today - October 2016
- 7th Geometry Standard 3
- SOLID GEOMETRY.docx
- Ch 12 Introduction to 3 Dimensional Geometry Ncert11
- cabriplusmanual.pdf
- 77.pdf
- Mathematics Assignment P8
- www.studyrankers.com.pdf
- acad12ca_exref
- activity-4-lesson-plan (1).docx
- dpgcr11_01_03
- paper2
- Areas of II'Gms and a's

You are on page 1of 11

Publisher: Taylor & Francis

Informa Ltd Registered in England and Wales Registered Number: 1072954

Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK

International Journal of

Mathematical Education in Science

and Technology

Publication details, including instructions for authors and

subscription information:

http://www.tandfonline.com/loi/tmes20

theorem and some further

extensions

a

DurbanWestville , Durban 4000, South Africa

b

Free State , Bloemfontein 9300, South Africa

Published online: 09 Jul 2006.

To cite this article: Michael D. de Villiers & Johan H. Meyer (1995) A generalized dual of

Napoleon's theorem and some further extensions, International Journal of Mathematical

Education in Science and Technology, 26:2, 233-241, DOI: 10.1080/0020739950260208

To link to this article: http://dx.doi.org/10.1080/0020739950260208

Taylor & Francis makes every effort to ensure the accuracy of all the information

(the Content) contained in the publications on our platform. However, Taylor

& Francis, our agents, and our licensors make no representations or warranties

whatsoever as to the accuracy, completeness, or suitability for any purpose

of the Content. Any opinions and views expressed in this publication are the

opinions and views of the authors, and are not the views of or endorsed by Taylor

& Francis. The accuracy of the Content should not be relied upon and should be

independently verified with primary sources of information. Taylor and Francis

shall not be liable for any losses, actions, claims, proceedings, demands, costs,

expenses, damages, and other liabilities whatsoever or howsoever caused arising

directly or indirectly in connection with, in relation to or arising out of the use of

the Content.

This article may be used for research, teaching, and private study purposes.

Any substantial or systematic reproduction, redistribution, reselling, loan, sublicensing, systematic supply, or distribution in any form to anyone is expressly

forbidden. Terms & Conditions of access and use can be found at http://

www.tandfonline.com/page/terms-and-conditions

INT. J. MATH. EDUC. SCI. TECHNOL., 1995, VOL. 26, NO. 2, 233-241

extensions

by MICHAEL D. de VILLIERS

Department of Mathematics Education, University of Durban-Westville, Durban 4000,

South Africa

Department of Mathematics, University of the Orange Free State, Bloemfontein 9300,

South Africa

(Received 21 June 1993)

Utilizing a duality between the concepts incentre and circumcentre, a dual to

a well-known generalization of Napoleon's theorem is conjectured, experimentally confirmed and eventually proved. The proof then also shows that the result

is merely a special case of a more general result. As a further consequence, two

interesting related results are also derived.

A useful duality is that between the concepts angle bisector and perpendicular

bisector. For instance, an angle bisector and perpendicular bisector are both loci of

points, respectively equidistant from two lines intersecting in a point (an angle) or

two points lying on a line (a line segment). Likewise an incentre and circumcentre are

each other's duals, both being points, respectively equidistant from a number of line

segments and a number of points (vertices).

Although it is not a general duality like the duality between points and lines in

projective geometry, theorems involving these concepts frequently also occur in dual

pairs. The following examples are from De Villiers [1]:

(1) The angle bisectors of any circum polygon (a polygon circumscribed around

a circle) are concurrent at the incentre of the polygon.

(2) The perpendicular bisectors of any cyclic polygon are concurrent at the

circumcentre of the polygon.

(3) If O is the incentre of any triangle ABC, then the circumcentre of triangle

BOC, say P, lies on the angle bisector of angle A, namely AO (Figure 1).

(4) If O is the circumcentre of any triangle ABC, then the incentre of triangle

BOC, say P, lies on the perpendicular bisector of BC (the side opposite angle

A), namely EO, where E is the midpoint of BC (Figure 2).

(5) Steiner Lehmus: any triangle that has two equal angle bisectors (each

measured from the vertex to the opposite side) is isosceles (see Figure 3).

(6) Any triangle that has two equal perpendicular bisectors (each measured from

the midpoint to the opposite side) is isosceles (see Figure 4).

Since the incentre and circumcentre of an equilateral triangle coincide, Napoleon's

0020-739X/95 S1000 1995 Taylor & Francis Ltd.

234

Figure 1.

theorem is selfdual with respect to these concepts, since it states that if equilateral

triangles are erected (outwardly or inwardly) on the sides of any triangle, their

circumcentres form an equilateral triangle (see Wetzel [2]).

A well-known generalization of Napoleon's theorem is the following:

I f similar triangles ADB, CBE and FA C are erected on the sides of any triangle

ABC, their circumcentres, G, H and / form a triangle similar to the three

triangles (see Coxeter and Greitzer [3]).

The preceding duality now suggests the following dual which was confirmed

experimentally on a computer, using Cabri-Geometre (see De Villiers [4]):

If similar triangles ADB, CBE and FAC are erected outwardly on the sides

of any triangle ABC, their incentres G, H and / form a triangle similar to the

three triangles.

Figure 2.

235

Figure 3.

Proof. This result can be proved using mainly the following special case of the

PetersenSchoute theorem (Coxeter and Greitzer [3]):

If ABC and A'B'C are two directly similar triangles, while AA'A", BB'B",

CC'C are three directly similar triangles, then AA"B"C is directly similar to

AABC (Figure 5).

Let us now first examine what we mean by points that are in the same relative

position with respect to two directly similar triangles. (Two triangles are directly

similar if the transformation which maps the one triangle on to the other preserves

angles in both magnitude and direction.)

Assume two triangles ABC and A'B'C are directly similar (Figure 6). Let P be

any point in the plane. Then we can say that the point P' is in the same relative

position to AA'B'C as P is to AABC if the transformation (in this case a translation

or a spiral similarity) which maps AABC to AA'B'C, also maps the point P onto

P'.

Let us now consider the above generalized dual to Napoleon's theorem. In Figure

7 we have AABC and the three directly similar triangles ADB, CBE and FAC. Now

Figure 4.

236

c--

Figure 5.

choose any three points P, Q and R in the plane so that they are, respectively, in the

same relative positions to triangles ADB, CBE and FAC. (We could for example

choose the three incentres.) Let G, Hand / b e the three circumcentres of the similar

triangles.

Then, according to the aforementioned generalization of Napoleon's theorem,

we have AGHI directly similar to the three similar triangles. We shall now use the

Petersen-Schoute theorem to show that APQR is directly similar to AGHI which

then provides the desired result.

First, we see that triangles PAG, QCH and RFI are directly similar since the

points P, A and G have relatively the same positions to AADB as the points Q, C

and H, respectively, have to ACBE. The points R, F and / similarly have the same

relative positions to AFAC as the points Q, C and H have to ACBE. In Figure 8

we therefore have the same configuration as that of Figure 5 and the result now

follows directly from the Petersen-Schoute theorem. (Note that triangle A'B'C in

B1

237

Figure 7.

Figure 5 does not have to include triangle ABC.) It should also be observed that

QpR = Bt>A, P0R = B&C and QRP = CPA.

The aforementioned generalization of Napoleon's theorem, as well as its dual,

is therefore merely a special case of the following more general result:

Theorem 1. If similar triangles ADB, CBE and FAC are erected outwardly on

the sides of any triangle ABC, and any three points P, Q and R are chosen so that

238

Figure 9.

they respectively lie in the same relative positions to these triangles, then P, Q and

R form a triangle similar to the three triangles.

An interesting corollary is that we would also obtain a similar triangle if we

instead connected the corresponding centroids or orthocentres of the similar

triangles.

Note. It is interesting to examine how the point O around which the rotation

takes place should be constructed (when the triangles GHI and ACF are not

congruent and cannot be mapped onto each other by a translation, in which case the

whole situation is trivial). Consider for example in Figure 9 the line segments GH

and AC which are mapped onto each other by means of a similar transformation.

Let GA and HC (extended) meet in 5 and let the other intersection of the circles

through ACS and GHS be O. (If the circles touch each other at S, choose O to be

the same point as S). The point O is the desired point, since

OHG = OSG = OS A = OCA and similarly OAC = OGH. This means that triangles

OGH and OAC are directly similar by means of the spiral similarity O(tc, 6) where

K = AC\GH and 0 = G6A. Since HGI = CAF and GHI = ACF, the point / would

necessarily map onto F under this transformation, in other words triangles ACF and

GHI are directly similar under the transformation O(K, 6). This result has a useful

application in our proof of Theorem 2 later on.

Another less well-known generalization of Napoleon's theorem is to alter the

arrangement of the triangles on the sides by outwardly constructing three similar

triangles ABD, EBC and AFC, instead of the similar triangles ADB, CBE and FAC.

The circumcentres G, H and I of these triangles also form a triangle similar to them,

since we still have t) + E + P= 180, which is the same characteristic property upon

which the more familiar formulation depends [3].

Using Cabri Geometre again in checking the corresponding case for incentres for

239

Figure 10.

this arrangement of triangles, it was found that triangle GHI was no longer similar

to triangles ABD, EBC and AFC. However, this investigation has led to the

following discovery [4].

Theorem 2. If similar triangles ABD, EBC and AFC are erected outwardly on

the sides of any triangle ABC, their incentres G, H and / form a triangle with

6 = \{DAB + DBA), tl=\{EBC + ECB) and 1=\(FCA + FAC) (Figure 11).

Let us now first prove the following lemma:

Lemma 1. Consider a triangle ABC with angles a, b and c and incenter O as

indicated in Figure 10. If we construct a new triangle DBA with DBO = \c and

DAO = \c, then BDO = \a and ADO = \b.

Proof. Extend BO and AO to E and F on AD and BD, respectively. Then

EFBA is a cyclic quadrilateral, since FBE=FAE = \c. Therefore

EPA = EBA = b. But OEDF is also a cyclic quadrilateral, since

F6E + FDE = 180. Therefore ODE = OPE = %b. Since BDA = |(a + b) it follows

that

Proof of Theorem 2. In Figure 11 we have triangle ABC with three directly

similar triangles ABD, EBC and AFC with angles a, b and c as indicated. Let G,

H and / indicate the respective incentres.

Construct triangles ABP, CQB and RCA in the same way as in Lemma 1, in other

words enlarge GAB and GBA each by \c to obtain the point P, enlarge HBC and

HCB each by \a to obtain Q and enlarge lAC and Z&4 each by \b to obtain R. These

three new triangles now stand on the sides of triangle ABC in the same way as in

Theorem 1, with the angles P, Q and R, respectively, equal to \{a + b), -|(6 + c) and

In addition, according to Lemma 1 we have that point G lies in the same relative

position to AABP, as the point H lies relatively to ACQB. The same is true for the

point / relative to ARC A. According to Theorem 1, we therefore obtain the desired

result that G = $(a + b), tl=\{b + c) and 1= i(a +c).

We can now also prove the following interesting theorem:

Theorem 3. If triangles DBA, ECB ans FAC with angles a, /? and y are erected

outwardly on the sides of any triangle ABC as shown in Figure 12, and

a + 0 + y = 90, then EDF = 20, DpE = 2a and FED = ly.

240

Proof. Construct three new triangles PBA, BQC and ACR by choosing

PBD = y, PAD = a, QBE = ft, QCE=<x, RCF=y and RAF=0. Then triangles

PBA, BQC and ACR are directly similar with incentres D, E and F, respectively.

Therefore ADEF is directly similar to APBA so that EDF= BpA = 2)?, etc.

241

References

[1] DE VILLIERS, M. D., 1992, Math. Digest, 89, 4.

[2] WETZEL, J. E., 1992, Amer. Math. Monthly, 99, 339.

[3] COXETER, H. S. M., and GREITZER, S. L., 1967, Geometry Revisited, New Mathematical

Library, Vol. 19 (Washington, DC: MAA) pp. 61-63; 99.

- Answers for maths in focus 3uUploaded bydhiuehfiug
- Intro CAD WorkbookUploaded byCesar Parrillo
- PGDBA Answer Key 2019Uploaded byASHUTOSH RANJAN
- Mathematics CXC 2013Uploaded bydggoode
- Topic 9 VocabularyUploaded byTonyKeefer
- Www.studyrankers.comUploaded bySrinivas Kamapantula
- CompetitionMathsQuestionsUploaded bySagar Pattnaik
- Mathematics Today - October 2016Uploaded bybanias
- 7th Geometry Standard 3Uploaded bymrpernice
- SOLID GEOMETRY.docxUploaded byJoshua Saldaña
- Ch 12 Introduction to 3 Dimensional Geometry Ncert11Uploaded bySJAIN12
- cabriplusmanual.pdfUploaded bywillmate
- 77.pdfUploaded bymadhav
- Mathematics Assignment P8Uploaded bychandra
- www.studyrankers.com.pdfUploaded byAnonymous 9uu04el
- acad12ca_exrefUploaded byRodrigo Filgueira
- activity-4-lesson-plan (1).docxUploaded bycharry Mae Talasan
- dpgcr11_01_03Uploaded byEric Jo
- paper2Uploaded by14570001
- Areas of II'Gms and a'sUploaded byspatiha
- Geometria de Proyección GoazUploaded byEmilio Murcia

- Introduction of Frechet and Gateaux DerivativeUploaded byNiflheim
- PAPAGEORGIOU.pdfUploaded byGeorge Protopapas
- FenchelNotes.pdfUploaded byGeorge Protopapas
- cjm1981v33.1055-1059.pdfUploaded byGeorge Protopapas
- Becchetti-Fiaschetti-Marini.pdfUploaded byGeorge Protopapas
- 865Uploaded byGeorge Protopapas
- A Topological Mean Value Theorem for the Plane.pdfUploaded byGeorge Protopapas
- ProbabilitiesUploaded byGeorge Protopapas
- AYTOMATO ΠΟΤΙΣΜΑ.pdfUploaded byGeorge Protopapas
- continuity CONVEX.pdfUploaded byGeorge Protopapas
- Uniform ConvergenceUploaded byGeorge Protopapas
- YOUNG’S INEQUALITY REVISITEDUploaded byGeorge Protopapas
- Measure ZeroUploaded byGeorge Protopapas
- Www.batdangthuc.netUploaded byNghiem Trong Viet
- Reverses of the TriangleUploaded byGeorge Protopapas
- A Characterization of Inner Product SpacesUploaded byGeorge Protopapas
- On Sharp Triangle Inequalities in Banach Spaces IIUploaded byGeorge Protopapas
- Mitani SaitoUploaded byGeorge Protopapas
- s9765Uploaded byGeorge Protopapas
- 2308879Uploaded byGeorge Protopapas
- Phd AlizadehUploaded byGeorge Protopapas
- Exact calculus of Fr´echet subdifferentials for HadamardUploaded byGeorge Protopapas
- Mean Value TheoremUploaded byGeorge Protopapas
- chapitre_3Uploaded byGeorge Protopapas
- P-Functions, Quasi-Convex Functions, AndUploaded byGeorge Protopapas
- ContinuityUploaded byGeorge Protopapas

- GSP LAB - Tessellations NewUploaded bymiftahuddin67
- Convex Polytopes - B. Grunbaum.pdfUploaded byLucianoDoNascimentoAndre
- katiesshapespacesummativeassessmentpart1resultsUploaded byapi-341781058
- Review for QuizUploaded byAnonymous ne7Ihnr
- PPT Presentation on Math Solid MUploaded byThea Marie Santarin
- Triangles HcUploaded byJoey Paras
- Symmetry (Planes of)Uploaded bylittlegus
- frosilda pushani and rachelle buna cuboUploaded byapi-310796915
- Platonic Solid - WikipediaUploaded byHyan Gontijo
- menghitung luas tanah dengan excelUploaded byAgeng Rikhmawan
- Geometrywkbk CopyUploaded byMjackson11
- Geometry by Total GadhaUploaded byRohit Sharma
- 126860927 126019026 the Dome Builders Handbook PDFUploaded bysersol
- 4885_NC 2018 - Geometry WorkshopUploaded byANAMIKA SHARMA
- FG201703-Golden Ratio y Polígonos RegularesUploaded byMario Dalcín
- Math Packet 11Uploaded byLynn DeLeon
- Chapter 6 TrianglesUploaded byNeelesh Baghel
- 8thStd_MathsGeometryUploaded bykavithaofsuresh
- Mcq Class ViiiUploaded bysh8677
- Solid Mensuration Sample2Uploaded byfrancis de guzman
- Satyan L. Devadoss and Stefan Forcey- Marked Tubes and the Graph MultiplihedronUploaded bySwertyy
- QuadrilateralUploaded bymichaellla
- triUploaded byMAHESH SINGH
- Senior Oct26Uploaded bywill bell
- Plane Geometry Part 2Uploaded byMaria Lourven Abraham
- Volume of PrismUploaded byTrudi Bromwell
- mathgeometryUploaded byJayalakshmi V Ramadurai
- Geometry Tutorial -Grade 9 - SAT Geometry StandardUploaded byGurukul24x7
- SLC _ Compulsory Math _ Geometric DeductionUploaded bywww.bhawesh.com.np
- Mensuration 8th CorrectionsUploaded bynittypi