Kissing Triangles
Kissing Triangles
Kissing Triangles
ABSTRACT. Papert’s (1978) appeal to reconsider the power and possibilities of the
aesthetic in mathematics learning is often ignored in mathematics education research.
This paper begins with the premise, put forth by Dewey (1934), that the aesthetic struc-
tures many dimensions of inquiry and experience. In the same way that using particular
paintings, musical compositions, or even everyday experiences has been instrumental to
attempts by philosophers to understand the aesthetic dimensions of meaning and experi-
ence in artistic domains, I propose that analysing a particular encounter with mathematics
may help reveal the nature and role of the often nebulous responses of elegance, beauty,
and ‘fit’ to which mathematicians lay claim in their mathematical activity. To achieve this, I
draw on and adapt the defining features of the aesthetic character of experience set forth by
the aesthetician Beardsley (1982). This, in turn, sheds light on the role that aesthetics can
play in mathematical inquiry and experience, and provides initial categories and conjec-
tures that can be used to investigate the potential roles of aesthetics in mathematics learning
contexts.
that such experiences are conducive to further growth, that is, they animate
students’ impetus to learn and they lead to independence, appreciation, and
development.
Dewey (1934) argues that in order to understand the aesthetic in its
“ultimate and approved forms,” one must begin with it in the raw, “in
the events and scenes that hold the attentive eye, arouse interest and
afford enjoyment” (p. 4). I suggest that in order to better understand what
initiates and constitutes the aesthetic character of experience in mathema-
tical activity, we need to examine particular, and “raw” examples of such
activity. Since it is difficult to monitor the thoughts and feelings of others
as they engage in mathematical activity, I examine my own experience
in order to develop a set of criteria for aesthetic experience. Since my
mathematical activity likely lies somewhere between that of a research
mathematician and that of a student in terms of prior knowledge and
past experience,1 I believe that my own aesthetic experiences in mathe-
matics might elucidate the nature of students’ aesthetic experiences in
mathematics.
In framing these criteria, I will draw on the writings of the Amer-
ican philosopher Monroe Beardsley (1982), who proposes the following
set of defining features of the aesthetic character of experience: object
directedness, felt freedom, detached affect, active discovery, and whole-
ness. This relatively late, more open-ended formulation provides for a
flexible consideration of the aesthetic dimensions of the experience in
mathematics. He uses particular examples from the artworld in order to
illustrate the features in question. Similarly, in what follows, I introduce
and illustrate Beardsley’s criteria as they manifest themselves throughout
the three stages of my mathematical discovery. The goal is to determine
the extent to which Beardsley’s criteria are applicable and explanatory in
this context of mathematical inquiry. In addition, I will be able to locate the
motivational, generative, and evaluative roles of aesthetics and investigate
how they operate within inquiry. This will provide some insight into the
different ways in which students might be either encouraged to or discour-
aged from aesthetically engaging in their own mathematical inquiries. I
discuss these pedagogical implications throughout the paper and in the last
section.
and construct a square on each side of the triangle; find the centre of each
of the three squares and join them with three line segments (shown in bold)
to create the ‘centres triangle’ DEF. As he was describing it, I immediately
thought of the famous Napoleon’s theorem2 which begins with a similar
configuration. My colleague’s sketch showed a variation of it. The possi-
bility of a connection to a well-known theorem intrigued me, as did the
general appeal of the construction: would the random triangle ABC give
rise to a special derivative triangle, as in the case of Napoleon’s theorem –
embodying “order emerging from chaos” as Davis (1997) wrote?
Well, there wasn’t anything special about triangle DEF. But I noticed
that I could drag the vertices of the initial triangle ABC so that they
travelled inside and outside of the centres triangle DEF. Naturally, the in-
between case – the boundary condition – seemed of most interest and I
began to wonder under which conditions the vertex A would fall right on
segment DE: when would the vertex of the triangle ABC ‘kiss’ the centres
triangle? I dragged vertex A onto DE and measured the angle of vertex
A. With its accuracy of three significant digits, Sketchpad told me that
angle A measured 91.031◦ . Though an ‘ugly’ number, I was certain that
the angle, if I could get it more precisely on DE, would measure exactly
90◦ – betraying my own hope for a pretty result. But I needed to check out
this hypothesis which was, after all, based on no ‘logical’ evidence. First,
I had to figure out how to force that vertex to fall exactly on DE. But every
time I tried to drag A to that line, everything would move . . . The vertex
and the line were chasing each other around! I decided that if I could fix
the angle A at 90◦ – in other words, construct it such – I could see whether
A would then kiss segment DE. Fortunately, I could use Thales’ theorem:
if I construct a circle (shown in Figure 2) on the diameter BC, then I know
that each point on that circle will form a 90◦ angle with B and C. So, if I
define A on the circle, its angle measure will also become 90◦ .
THE KISSING TRIANGLES 49
Then came a moment of truth: once I moved the vertex A onto the
circle, it was kissing the segment DE (see Figure 2). And even when I
moved A around the circle, my triangles kept kissing: that was compelling
enough visually that I didn’t even bother to verify whether vertex A was in
fact right on segment DE or whether it just looked like it on the sketch. This
perfect fit made me wonder . . . Had I just found a particular relationship or
was there something bigger going on? I needed some more ‘data’ before
proceeding to a proof – to make sure that there was something worthwhile.
So I decided to try a slight variation. I constructed the Napoleon’s theorem-
like configuration with equilateral triangles on each side of the triangle
ABC instead of squares (as shown in Figure 3). Perhaps by looking at a
similar situation, I might start to see a pattern.
I might even have abandoned my pursuit had the angle measured 51.031◦
instead. Similar aesthetic choices are involved when mathematicians make
conjectures based on the discernment of a special mathematical object or
relation such as square numbers, parallel lines, or striking patterns (viz.
Silver and Metzger’s (1989) prime factorisation example).
This stage of the activity was an important one both aesthetically
and motivationally. I became increasingly attracted and motivated to
understand the fit – to look for a heuristic or proof that would explain
it.
though it might not bring me any closer to solving my first problem. And
if I succeeded, I would have the pleasure and verification of seeing my
kissing vertex in action along the arc. As I pondered these two problems,
I constructed another variation which I hoped would verify my emerging
relationship between the outer polygon and the kissing angle (so far I knew
that equilateral triangles have a kissing angle of 120◦ and that squares have
a kissing angle of 90◦ ). This time I constructed a regular pentagon on my
triangle ABC (see Figure 5). I soon discovered that the kissing angle for the
pentagon was 72◦ . So, now my kissing angle theorem seemed obvious –
the kissing angle is just 360◦ divided by the number of sides of the regular
polygon: 360◦ /n.
It was while I was attending to the 60◦ angle in the regular hexagon
case that I realised I could solve my second, technical problem . . . I knew
that I needed an arc through BC such that any point on that arc would
subtend the chord BC with a constant angle (specifically, a 120◦ angle) – I
needed the family of triangles BX C on BC for which X was 120◦ . I had
racked my brain to remember whether there was some kind of procedure
that, given the chord BC, would let you find the requisite circle, some
variation on Thales perhaps? But to no avail. So I went for a more ‘mech-
anical’ solution: I could construct the locus of points X – which would
form an arc – such that angle BX C measured 120◦ (see Figure 6). That
required that the angles at B and C add up to 60◦ (the hexagon angle!).
This construction was one which I knew how to execute in Sketchpad! I
could use a parameter. I constructed an angle FDE of measure 60◦ , and
then a parameter point X along the arc FE, so that XDE + FDX = 60◦ .
Next, I constructed a ray from point B such that the ray would form an
angle to BC equivalent to XDE and a second ray from C such that the
second ray would form an angle to BC equivalent to FDX. I found the
intersection of the two rays, X . By construction, BX C measured 120◦ .
Therefore, moving parameter X along the arc FE moved X along an arc
THE KISSING TRIANGLES 53
Figure 6. Using a parameter construction: each point X on the arc creates a 120◦ angle
BX C.
describing all the possible triangles such that BX C measured 120◦ . I
used Sketchpad’s locus command to construct this arc BX C. The beauty
of this method was that it would work for any angle. It didn’t seem like
a pretty geometric method, but it was powerful. The culmination of this
construction was to animate point A along the arc BX C and to watch how
point A maintained its kiss.
I felt a certain amount of satisfaction at having resolved my technical
problem, so I returned with renewed confidence to my first problem. It
was time to pull out a notepad and return to the square case, which was
so familiar. Once I drew the configuration (see Figure 7), I noticed several
new properties. First, when vertex A was on segment DE, the triangle ABC
seemed to be congruent to triangle NAM. In fact, if I could prove that
congruence then it would follow that the kissing angle A had to be 90◦ .
After several false starts – mainly looking for similar triangles – I noticed
the quadrilateral CMNB and the fact that segment DE seemed to bisect
both MC and NB. In fact, this was obvious (E is the midpoint of diagonal
MC since it is the intersection of the diagonals of the square on AC and
similarly, D is the midpoint of diagonal NB). Therefore CEDB is congruent
to MEDN (since EM = EC; ND = DB; DE = DE, and NDA = BDA =
MEA = CED = 90◦ ). So MN is equal in length to CB. And thus, by the
SSS rule, · NAM is congruent to · ACB, and so NAM = CAB. Since
MAN + CAB = 180◦ (because MAC = NAB = 90◦ ), we have that 2
CAB = 180◦ and CAB = 90◦ . My proof for the squares case of the kissing
angle theorem was complete!
It was complete, but particular to the squares case.3 I liked the sequence
of relationships that led to the final step of the proof. It also highlighted
properties of the configuration that I hadn’t attended to in my explorations
but that started to explain how the outer polygon and its centre point inter-
acted with the triangle ABC and its kissing vertex. And I had a vague idea
of how I could explain the other configurations. Yet it still felt like I was
54 NATHALIE SINCLAIR
missing something simpler. And I had certainly only proved one case of
the kissing angle theorem.
the conscious mind. This claim has found tentative support in recent
neuroscientific studies (Damasio, 1994).
I would like to highlight a difference between the two stages of my
journey. The first one carried with it a sense of mystery, a discovery of a
new, unformalised property. During the second stage, I moved from the
immediate properties and mysteries and started working in the language
of mathematics. This too holds a certain appeal, to be able to move from
one mode of expression to another, to see how the formal mode crystallises
properties and leads you through an almost inevitable sequence of steps.
The two stages thus might even exemplify aesthetic preferences: while
some prefer certainty, others, such as André Weil prefer mystery or ‘just’
intelligible phenomena:
Nothing is more fruitful – all mathematicians know it – than those obscure analogies, those
disturbing reflections of one theory on another; those furtive caresses, those inexplicable
discords; nothing also gives more pleasure to the researcher. The day comes when this
illusion dissolves: the presentiment turns into certainty; the yoked theories reveal their
common source before disappearing.
the relationship than finding a proof did. Second, I had spent much time
trying to recall some hidden property that would allow me to make the
construction using circle properties and felt a sense of relief both at the
fact that remembering a remote property wasn’t important and that using
a method I often use in other situations was applicable in this context.
Third, I am more confident in general with my problem-solving abilities
in Sketchpad than my proof finding abilities in geometry. Although a lack
of confidence might induce more tension and thus a higher relief, I believe
that part of the feeling of release is the build-up of positive tension so
that the sense or release is rather more integrative in the end. The fourth
reason is that although I was very pleased with my solution to the first
construction problem, I felt that the solution to my second proof problem
wasn’t as revelatory or simple as it could be.
I am intrigued by the obstacles that the felt freedom criterion might
present to students. First, there is the confidence element: do I believe that
I am capable of finding a solution? If not, it is unlikely that I will allow
myself to experience the build-up of tension. Second, is there an external
criterion of rigour or acceptability that I am not sure how to attain? If so,
then the antecedent concerns are external in nature and unlikely to provide
the aesthetic sense of release.
I also experienced a different kind of rhythmic release from the domi-
nance of my concern about finding a proof by going back to Sketchpad on
occasion to continue my constructions of each of the hexagonal, octagonal,
and decagonal configurations. It was peaceful and comforting to play with
these configurations, compared to the tension involved in looking for a
proof.
I thought there must be more going on with this rich situation. Finding one
relationship provoked me to look for more. For instance, I wondered how
many vertices of the triangle ABC I could get on the centres triangle, or
even inside the centres triangle. Using my established result that the kissing
angle is 360◦ /n where n is the number of sides of the outer polygon, I could
easily establish that the number of vertices that can get inside the centres
triangle is m, where m is the largest number such that m* (360◦ /n) is less
than 180◦ . This result, simple as it was, crowned my exploration.
THE KISSING TRIANGLES 57
Pedagogical Implications
What pedagogical insights can this introspective analysis provide? It is not
prudent to draw conclusions or make specific recommendations based on
a single case of mathematical inquiry. However, under the assumption that
a goal of mathematics education is to provide students with opportunities
to have similar experiences – i.e. learning experiences that are intrinsically
satisfying – then this analysis points to some of the enabling conditions that
we can strive to meet in designing mathematics learning environments.
Many of the enabling conditions that we can identify from this analysis
are those which mathematics educators have long been promoting: the
opportunity to ‘play around’ and to explore (Hawkins, 2000; Papert, 1980);
the possibility of posing personally and epistemologically interesting prob-
lems (Brown and Walter, 1983; Brown, 1996); the time to develop interest
in and intimacy with a mathematical situation (DeBellis and Goldin, 1999)
– and the possibility of leaving it when stuck; the opportunity to make
connections with previous knowledge and past experience; the chance
to be intrigued by, surprised by, or attracted to a mathematical situation
(Goldin, 2000); and, the chance to build confidence in one’s abilities.
However, this analysis also provides a description of how these
enabling conditions function in the process of mathematical inquiry, and
how they manifest themselves in particular, human contexts. For example,
making a connection with Napoleon’s theorem motivated my inquiry by
lending a sense of significance to it. Seeing Napoleon’s theorem configura-
60 NATHALIE SINCLAIR
tion under a new light both surprised and delighted me, much as one
is surprised and delighted when they realise how they have overlooked
something which in retrospect seems obvious. The attractiveness of the
configuration invited my full attention, drawing me in to notice certain
details and relationships. This analysis highlights the important role that
aesthetic motivation plays in inquiry, not only at the affective level, but
also, in shaping inquiry by influencing the discernment and selection of
features in a situation and in directing the thought patterns of the inquirer.
Another enabling condition was the time I had to play around, to
explore, and to experiment. I had a chance to connect and use my past
experience and knowledge to discover new ideas – without those partic-
ular discoveries being the predetermined goal of my activity; I was free
to notice properties that followed from my own curiosities and tendencies.
From a student’s perspective, I was seeing ‘already learned’ properties and
relationships in a new context, allowing me to bring together what I knew
with what I could subsequently learn. Might students have better access
to aesthetic experiences if they were given the time and freedom to ‘go
more deeply’ with what they have already learned rather than being pushed
higher and higher to new skills and concepts?
In terms of the enabling condition of developing interest and intimacy,
Sketchpad’s capacity to allow for approximations (dragging things ‘close
to’ without having to explicitly construct them so) offered accessibility,
with an initial entry point that my mathematical imagination alone might
not have found. Its dynamic nature often provided striking effects that my
mental patterns would not have been able to simulate. Finally, having the
chance to struggle through and solve one problem, unrelated as it was to
my original inquiry, gave me the confidence to keep struggling with the
subsequent problem; it even provided me with a taste of what it would feel
like to solve subsequent problems.
Finally, in terms of research, this analysis provides insight into the
criteria that we can look to identify when trying to recognise such exper-
iences in students – this is crucial if we are to try to determine how
such experiences might affect their cognitive and affective development.
In addition, and perhaps most importantly, this analysis underscores the
fact that aesthetic responses are not only useful for determining the signifi-
cance or value of a mathematical result; rather, they help shape and drive
mathematical inquiry – making it both possible and fruitful – and, they
contribute to the feelings of personal satisfaction and pleasure that stimu-
late continued growth and appreciation. This should provide added impetus
for continued research into the roles of aesthetics in mathematics learning.
THE KISSING TRIANGLES 61
ACKNOWLEDGEMENTS
I wish to thank Bill Higginson for his helpful encouragement and sugges-
tions in writing this paper, SSHRC for supporting my research, and my
reviewers for their very helpful comments.
NOTES
1 I earned a Master’s degree in mathematics but I have never engaged in professional
research in mathematics.
2 Napoleon’s Theorem states that the triangle formed by joining the centres of three equi-
lateral triangles constructed on the sides of any triangle will also be equilateral.
3 In fact, I found a general proof of the kissing angle theorem which highlights an element
of symmetry that this special case proof obscures. It is included in the appendix.
4 Bill Higginson (personal communication) has suggested that mathematicians might
experience the sense of detached affect in their constructions of proofs which are so often
stripped of the situations and examples to which they apply or the personal commitments
and attractions that formed them.
APPENDIX
REFERENCES
Beardsley, M.C. (1982). The Aesthetic Point of View. Selected Essays. Ithaca, NY: Cornell
University Press.
Brown, S. (1996). Towards humanistic mathematics education. In A.J. Bishop et al. (Eds),
International Handbook of Mathematics Education (pp. 1289–1321). Dortrecht, The
Netherlands: Kluwer Academic Publishers.
Brown, S. and Walter, M. (1983). The Art of Problem-Solving. Philedelphia: The Franklin
Institute Press.
Damasio, A. (1994). Descartes’ Error: Emotion, Reason, and the Human Brain. New York:
Avon Books.
Davis, P. and Hersh, R. (1981). The Mathematical Experience. Boston: Birkhauser.
DeBellis, V. and Goldin, G. (1999). Aspects of affect: Mathematical intimacy, mathema-
tical integrity. In O. Zaslovsky (Ed.), Proceedings of the 23rd International Conference
of the International Group for the Psychology of Mathematics Education, vol. 2
(pp. 249–256). Haifa, Israel.
Dewey, J. (1938). Experience and Education. New York: Collier Books.
Dewey, J. (1934). Art as Experience. New York: Perigree.
Dreyfus, T. and Eisenberg, T. (1986). On the aesthetics of mathematical thought. For the
Learning of Mathematics 6(1): 2–10.
Goldin, G. (2000). Affective pathways and representation in mathematical problem
solving. Mathematical Thinking and Learning 2(3): 209–219.
Hadamard, J. (1945). The Mathematician’s Mind: The Psychology of Invention in the
Mathematical Field. Princeton, NJ: Princeton University Press.
Hawkins, D. (2000). The Roots of Literacy. Boulder, CO: University Press of Colorado.
Higginson, W. (2000). Amusing about aesthetics and mathematics. In J. McLoughlin
(Ed.), Proceedings of the 2000 Annual Meeting. Canadian Mathematics Education Study
Group, Topic Group A. St. John’s: Memorial University of Newfoundland.
Hofstatder, D. (1996). Discovery and dissection of a geometric gem. In J. King and D.
Schattschneider (Eds), Geometry Turned On: Dynamic Software in Learning, Teaching,
and Research. Washington, DC: MAA.
Jackiw, N. (1991). The Geometer’s Sketchpad. Berkeley, CA: Key Curriculum Press.
Papert, S. (1980). Mindstorms: Children, Computers, and Powerful Ideas. Brighton, UK:
Harvester Press.
Papert, S. (1978). The mathematical unconscious. In J. Wechsler (Ed.), On Aesthetics and
Science (pp. 105–120). Cambridge, MA: MIT Press.
Penrose, R. (1974). The role of aesthetic in pure and applied mathematical research. The
Institute of Mathematics and its Applications 7/8(10): 266–271.
Poincaré, H. (1908/1956). Mathematical creation. In J. Newman (Ed.), The World of
Mathematics, vol. 4. New York: Simon and Schuster.
THE KISSING TRIANGLES 63
Faculty of Education
Duncan McArthur Hall
Queen’s University
Kingston, ON
K7L 3N6
E-mail: nathsinc@educ.queensu.ca