Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
int. j. math. educ. sci. technol., 2000, vol. 31, no. 6, 869 890
1. Introduction
A mathematical proof of a statement is commonly understood to have four
main functions: (i) veri cation of the statement, (ii) explanation of the statement,
(iii) communication of (i) and (ii) to others, (iv) systematization of the statement
into a deductive system [1]. Mathematical proof provides a warrant [2] for
mathematical knowledge and is an essential activity in doing and understanding
mathematics.
A working dynamic for the academic mathematician naturally involves proof
and is generally held to consist of intuition, trial, error, speculation, conjecture,
proof [3, p. 191]. In contrast the model for teaching mathematics to undergraduates appears to be de nition, theorem, proof and this disjunction presents a
problem to the undergraduate in engaging with proof [4].
Another obstacle for UK mathematics undergraduates in coming to terms with
proof is the marginalization of proof in the school mathematics curriculum
induced by pluralistic reforms in education of the 1980s and 1990s. These reforms,
which have led to a broadening of the curriculum both at the Advanced level and in
higher education [5], have made the presence of proof in the school curriculum,
both intentional and actual, notable by its absence [6]. No doubt the process of
marginalization has been hastened by reported diYculties of even able learners
with proof [7]. This marginalization has led to widely reported concerns about
students poor appreciation of mathematical proof:
. . . (in Advanced level mathematics at the 1619 yrs. phase) concerns have
been expressed about limited perceptions of precision and proof. . . . [8; p. 31].
Most students entering higher education no longer understand that (in
mathematics) logical exposition and proof play essential roles. . . [9; p. 8].
International Journal of Mathematical Education in Science and Technology
ISSN 0020739X print/ISSN 14645211 online # 2000 Taylor & Francis Ltd
http://www.tandf.co.uk/journals
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
870
D. Almeida
There is a report [5] that suggests that proof activity in the mathematics lecture
room in UK universities has been reduced. Consequential concerns about the
preparedness of entering mathematics undergraduates to engage with proof have
also been reported in the UK [10, 11] and in the USA [4].
The problem may be exacerbated further by tensions between learner and
teacher. There is a tension between the views held by novice undergraduates and
their teachers, the professional mathematicians. This is the tension between the
informal proof perceptions held by beginning mathematics undergraduates and the
formal proof culture of professional mathematicians. The former may not be able
to see the relevance of formal proof apart from the practical necessity of meeting
the lecturer s expectations and passing examinations [4, 11]. There is also a tension
between the state of becoming of the mathematics undergraduate, whose prototypical proof practices are in a state of development, and the state of being that
characterizes formal proof practices of professional mathematicians. From an
educational point of view the prototypical proof practices of beginning undergraduates, despite being imperfect, ought to be initially accommodated simply
because the learner believes in their veracityfor the student it is a proof. A
tension also arises in the process of convincing the student of the necessity of
making the transition to formal proof [4, 11].
It is against this background that this study of undergraduates perceptions of
proof and their proof practices was undertaken.
2. Methodology
The study was intended to be both quantitative and qualitative. In the
quantitative study two questionnaires were administered to a sample of mathematics undergraduates in the older English universities. Twelve of these
institutions were originally approached to participate in the study. Five of these
universities declined to participate thus leaving seven, essentially self-selected,
university mathematics departments who distributed a proof questionnaire (see
next section) to their year 1 students and, wherever possible, to their year 2
students. Additionally a small number (5) of year 3 students completed the
questionnaire as a result of participation in joint lectures with year 2 students.
The proof questionnaire invited students to respond to a series of statements about
proof; the structure of the questionnaire was similar to that used by Ruthven and
Coe [12] in their study of proof perceptions of sixth form students. There were 473
anonymous responses to the proof questionnaire.
In addition mathematics departments, through nominated lecturers, requested
the students who had completed the proof questionnaire to volunteer to complete a
second proof preferences questionnaire (see the appendix). This questionnaire
attempted to measure the extent to which students had made the transition from
informal school proving to formal university mathematical proving by inviting
them to judge the eYcacy of a range of proofs, varying from the visual and
plausible to the abstract and terse. Additionally students who completed this
questionnaire were invited, in interview, to further expand on their views about
proof. This represents the comparative and qualitative aspect of the study.
As an incentive to complete the non-trivial proof preferences questionnaire
and to volunteer themselves for interview, students were oVered the opportunity to
win a book token. Twenty-seven students completed the proof preferences
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
871
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
872
Statement
D. Almeida
Mean
Mean
response of response of
Ideal
351 year 1 117 year 2
response students
students
1. A proof in mathematics is
diVerent from other kinds of
proof.
5
2. A proof in mathematics both
veri es and explains.
5
3. If a result in mathematics is
proved I can be certain that
it is true.
5
4. Examples illustrating a
result do not always help me
understand why the result
is true.
3
5. Proof is essential in pure
mathematics.
5
6. In mathematics evidence
from examples tells you
what is true.
1
7. I can t see the point of doing
proofs: all the results in the
course have already been
proved beyond doubt by
famous mathematicians.
5
8. Proofs sometimes involve
strategies that are not at all
obvious.
5
9. If a result in mathematics is
obviously true then there s no
point in proving it.
5
10. I like doing proofs in
mathematics.
5
11. I am con dent in my ability
to prove results for myself.
5
12.Working through a proof of
a result helps me to understand why it is true.
5
13. Reading through a proof of a
result in a textbook helps me
to understand why it is true.
1
14. DiVerent proofs of a theorem
help me to understand it
better.
5
15. A proof in mathematics
depends on other mathematical results.
5
16. It is easier to disprove than
to prove.
3
Mean
response of
5 year 3
students
Overall
mean of
the 473
students
3.38
3.24
1.6
3.32
3.31
3.36
2.8
3.32
3.43
3.74
2.4
3.5
3.26
3.32
3.8
3.28
3.91
3.8
3.93
2.53
2.27
2.45
2.27
2.14
2.2
2.24
4.26
4.32
4.6
4.28
2.59
2.45
2.8
2.56
2.46
2.41
2.4
2.46
2.54
2.35
2.49
3.65
3.66
3.66
3.18
2.92
2.8
3.11
3.46
3.41
3.4
3.44
3.72
4.06
3.6
3.81
3.81
3.74
3.4
3.79
Table 1.
1.42
1.37
1.06
1.43
1.26
0.69
1.32
1.35
1
0.94
1.15
0.92
0.76
0.88
3.43
3.26
3.91
2.53
2.27
4.26
2.59
2.46
2.54
3.65
3.18
3.46
3.72
3.81
Table 2.
1.26
1.25
3.38
3.31
2.92
3.41
3.66
2.45
2.41
2.35
2.14
4.32
2.27
3.32
4
3.74
3.24
3.36
0.59
0.95
1
0.95
0.88
1.34
1.21
0.99
1.31
0.63
1.11
1.45
1.22
1.44
1.67
1.25
Variance
Year 2 !
Variance Mean
Mean
Statement
Year 1 !
74.004 720 5
0.679 042 853
70.099 017 52
70.470 009 67
70.776 113 2
72.424 148 98
Test
statistic
for
diVerence
of means
Signi cant
Not signi cant
Signi cant
Not signi cant
Signi cant
Signi cant
Critical
value
at 2.5%
level
1:96
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
874
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
Statement
D. Almeida
1
10
11
12
70
0.07
70
70
0.12
70
13 14
16
Table 3.
70
70
10
11
12
15
70.1 0.04
0.04 70.1
PMCC
Statement
0.1 70
13
0 70.1 0.06
14
15 16
PMCC
Table 4.
6 (2.53 improves to 2.27 tending to the ideal 1), statement 13 (3.18 improves to
2.92 tending to the ideal 1), and 15 (3.72 improves to 4.06 tending to the ideal 5).
The improved response of statement 15 is notable not only for its numerical
increase toward the ideal but also for its contentthe students appear to have a
deeper understanding of the deductive structure of mathematical results. Overall
this statistical test suggests that the additional experiences of the year 2 students in
undergraduate mathematics have given them a deeper understanding about proof.
Interestingly the students perceptions about proof do not appear to bear any
relation to ability as judged by grades achieved in A level examinations. When the
product moment correlation coeYcients (PMCC) between A level grades and
responses was computed for year 1 and year 2 undergraduates little correlation is
found as indicated in tables 3 and 4.
On the other hand there appears to be marked and idiosyncratic diVerences
from year 2 to year 3. For example, the mean response of the year 3 undergraduates to statement 3 (If a result in mathematics is proved I can be certain that
it is true) is disagree and is a marked change from the agree response of the year
2 undergraduates. Due to the small sample of year 3 students we do not feel that it
is justi ed to conduct any signi cance tests. Further no qualitative evidence was
gathered from these students so the reasons for their responses remain unknown
but such idiosyncratic perceptions about proof have been found earlier [6].
4. Qualitative analysis of interviews
As stated earlier in the methodology, 25 undergraduates volunteered to
complete the proof preference questionnaire and to be interviewed. The 25
undergraduates who volunteered to be interviewed were asked also to discuss
the reasons for their responses in the proof preference questionnaire. An analysis
of these responses indicates that the students perceptions about proof may be
categorized by four types:
Type A: The student accepts the need for working with formal proof and for
rejecting informal proof, but is unable to live up the demands of rigour in his/her
own proof practices.
Type B: The student accepts the need for formal proof but provisionally uses
informal proof practices till s/he becomes adept at formal ones.
875
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
Type C: The student accepts intuitive and empirical arguments as proof. Views
formal proof in terms of passing examinations.
Type D: The student accepts the need for formal proof but is generally only able to
view this as symbol manipulation. Lack of understanding leads to disaVection with
proof.
To describe these categories the interview transcripts of the four students whose
responses best approximate to these categories are analysed below.
The type A student: This student, a year 1 undergraduate, had had some limited
experiences of proof in the 1618 phase in school. His recollections of proving at
school were expressed as follows:
It wasn t, you know, serious proving. . .we weren t actually taught formal
proofs ever, but sometimes they (the teachers) would sort of hint at it.
However his two terms of undergraduate experience had given him a perception of
proof that appeared to be formal. His position was that informal proofs were liable
to be faulty while formal proofs were immune to error. He added that, while he
had diYculties in engaging with formal proof, he saw no place for visual or
informal arguments in proofs. Interesting this did not extend to concepts and
de nitions.
. . . I nd it helpful to draw a few diagrams to myself, just roughly, to see
what was being explained (in the concepts and de nitions)
This formal perception about proof seemed to guide his responses to the proof
preference questionnaire (see the appendix). For example he found the formal
proofs to statements A (proof 3), B (proof 2), C (proof 2) and D (proof 1) most
convincing. However, it is his preference for the visual proof 2 for statement E
which is surprising. In the proof questionnaire he wrote that this proof was clear
and that there were no possible arguments against it. This appeared to sit
uneasily with his view that a proof was a proof only if it was formal. When this
was brought to his attention, he explained that this type of proof worked at the
level of undergraduates but they ought to aim for the error free formal proofs as
practiced by professional mathematicians.
. . . I think that would be a proof but only on a certain levelI don t think, if
you had a really top mathematician who was asked to prove that, I don t think
that s the way he would do it because I think that s quite a basic way of doing
it, I just think thatif you do it with algebra, it s more certain. . .I m just
trying to get across the fact that if you do it with algebra, say, there s going to
be no error, well hopefully.
The type B student: This student had entered university with a school
experience with relatively little proving in mathematics; in her own words there
was no proof at GCSE and just a little at A level . After two terms of undergraduate mathematics she had been abruptly encultured into a particular way of
thinking about proof. She stated in interview that getting to grips with mathematical proof was one of the main transition problems she encountered on
entering university. For her mathematical proof was a new concept that she
had to come to terms with. Despite the transitional problems, this student
appeared to have been reconciled to the idea of working with proof. She had
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
876
D. Almeida
developed a perception of proof that would have pleased the lecturers. A proof for
her was a series of deductions from axioms and from previously proved results;
mathematical proof was diVerent from proofs in non-mathematical domains in that
it was rigorous . She described the aim of a mathematical proof thus:
You have a theorem, and then proof is really like a generalisation, it proves it
for all the values the theorem is valid for. That s the way I see it.
Like many students, she found formal proving diYcult because of the technical
diYculties involved. Another factor which appeared to make proofs diYcult for
her was the individualistic nature of mathematics as compared to other subjects.
. . . I nd that in mathematics, I generally work by myself, where as some of
the other subjects I did at A level it was more bene cial. To give an example,
Englishwe had lots of class discussions, but the way mathematics was
taught at A level and now, generally makes you individualistic, work by
yourself.
Despite the diYculties she had encountered with formal proof she felt that, in the
long run, she would be able to prove formally. However she needed to know more
mathematics, have a greater exposure to the concept of proof, and have more
practice with the diVerent ways of proving before she could overcome these
diYculties.
In the meantime, while she worked towards being pro cient in proving
formally, she had strong views on the role of visual aspects in proving (and in
understanding concepts and de nitions). She believes that the visual proof
provided the necessary insight and motivation for her to seek out the tedious
rigorous proof.
. . . the way I learn or teach myself in my own time, I like to intuitively
understand problems. (A visual proof) would convince me intuitively and
that would motivate me to go on and actually do a proper proof . . . A formal
onethat s more respectable to the mathematical establishment.
Her inclination to construct visual proofs also applies to understanding proofs in
lectures and textbooks. In textbooks she felt that visual cues as well as diVerent
perspectives helped her to understand proofs. She commented:
I nd that some (text books) give pictures. They give examples and perhaps
sometimes just to see another way, perhaps a concept written from a diVerent
point of view, sometimes helps.
Her current proof practices were evident in her responses to the proof preference
questionnaire. She found the visual proofs to statements C (proof 1) and E (proof
1) the most convincing. The only reason why she did not say the same for
statement B was simply because she could not understand the logic employed in
the visual proof (proof 1). She further added said she presently used visual aids and
examples because of the importance of understanding rather than accepting
mathematical knowledge.
I think just to take the theorems that a lecturer gives you, or you re told in a
lecture, that it s a bit naive, unless you ve actually gone through it and
understand the proofs.
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
877
The type C student: This second year undergraduate had come from a background of moderate proving during his A level mathematics studies. During
interview he professed a desire to undertake teacher training upon the completion
of the degree. From his statements in interview, his view of mathematical proof
appeared not to have been in uenced, thus far, by the degree course. He seemed
not to subscribe to the idea of proof as an abstract thought experiment. He saw
very little diVerence between proof in mathematics and proofs in other domains:
. . . a proof is a proof. Once you ve got all the background to it, all the facts
and all, and they add up to give you what you want, then it s proved. It s just
like anythinglike facts in history or something like that.
Nevertheless he did concede that there might be a danger of error with inductive
arguments in mathematics:
It could be completely wrong for another case. It maybe right for the rst
couple but one or two after that, it may just completely go wrong.
However, commenting on his present experience, he was not sure that proofs were
essential in pure mathematicshe reasoned that the passive way in which the
students received the proofs of results, usually by copying them down from the
chalk board, served very little purpose except passing examinations. In contrast,
looking forward to his ambition to be a teacher, he saw that doing proofs in the
classroom would teach pupils not to just accept results on face value but to think
critically for themselves.
He was not averse to using visual arguments when proving results. He would
use diagrams to exemplify arguments on the occasions he would try to prove
formally. The simultaneous use of formal and informal practices had an idiosyncratic side-eVect; when asked whether, in these instances, he would check his
formal proofs by verifying them in speci c cases he replied:
I would, yes, maybe. . .a couple of values close and some far out values, I
would do thisyes.
That he had not yet, in actuality, become accustomed to the idea of proving
formally was further evidenced in his responses to the proof preference questionnaire where he judged the visual proofs to statements B (proof 1) and E (proof
2) to be the most convincing. He did not judge the visual proof to statement C to
be so because the consideration of in nity implies that it does not prove the
result ; here he found proof 2 to be the most convincing (this proof is incorrect
precisely because of considerations of in nity).
The type D student: This second year undergraduate had arrived at university
with high achievement in the Mathematics and Further Mathematics A level
examinations. He had had some proof work in the Further Mathematics course
which had prepared him a little for mathematics study at university. By the time he
arrived at university he had developed a positive attitude toward proof and
understanding mathematics:
I did further maths A level, not just the ordinary maths, and in the further
you did actually look at why the diVerential equations work, . . . I was able to
see why it was doing it. And for me, that made me feel better about it, rather
than, just blindly writing down the answer.
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
878
D. Almeida
Despite this he felt that he had some problems in adjusting to the new way of doing
proofs. He explained during interview that this related mainly to the new
terminology and the use of symbols. He said that, despite explanations oVered,
he could not come to terms with the use of new symbols until the second year.
That s another thing . . . I know that symbols like for all and there exists
are used (in proofs). . . I kept seeing them, they kept saying what they were,
but it just took me a while for them to sink in, what they meant.
One of the possible reasons for his diYculties with the new way of doing mathematics appears to be his reliance on rote learning. It appeared that continual
regimented practice was his key to familiarisation with de nitions and concepts. It
is revealing to describe his views on de nitions with respect to the Euler
representation of the circular functions:
I ll have a mental picture, but I prefer to write down word for word . . . . . .
then I ll look at that de nition I ve written and then recall on something in
my head as to how it looks. Like, um, we have a de nition of the complex
Euler function and I will remember it word for word and then I sort of - but
in remembering it, sort of like it s e to the ix minus e to the minus ix over 2i
and would be sine. And I would remember it had a minus in the middle
because sine began with an s and subtract . . . . . . . . . . . . Just associate little
things like that with it, but as a de nition. It s just something I learn, more or
less like that, parrot fashion, until it becomes not a de nition but a theorem.
The development of concept images appears to have a place in his thinking but the
pace of learning appeared to subordinate this to the memorization of words. This
may have been the likely source for his diYculty with proving formally. Nevertheless he had a positive view of proofs which he maintained throughout the
interview but he felt that pure mathematics was a subject unnecessarily cluttered
with proofs. He did not doubt the need for proofs but claimed that mathematics
was really about applications. He found some of the proofs quite tedious and he
had begun to choose courses which avoided proofs.
Part of the reason why he found proofs tedious may be that, like his attitude
toward de nitions and concepts, he adopted a routine rather than a process and felt
con dent in being able to reproduce a proof. When asked whether he occasionally
felt motivated to research books in the library with a view to nding interesting
proofs of a result he replied in the negative:
No. It actually motivates me not to. I look at a proof; say that s really boring
so I won t actually want to do anything more with that proof. If anything it
makes me want to just forget it.
His responses to the proof questionnaire revealed that he had disagreed with
statement the examples illustrating a result do not always help me to understand
why the result is true. Whilst discussing his response it emerged that he saw both
examples and visual aids as supporting his understanding of formal arguments:
And for me, following through that example will let me see why you get that
thing at the end. It ll just be following through the method again. And more
often that not, the example s right and the method follows the basis of the
879
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
proof. . .it just seems tedious to have to keep rearranging the algebra whereas
if you draw pictures, you ve got something to do. I know that sounds
completely stupid, but it s just something that appeals to my brain more.
He ended the interview by saying that, while he had got better at proving, he felt
that proofs which used diagrams were not only better for him but also nicer to
learn . However it appears that he has kept his personal aYnities for the visual in
check and maintained a formal approach to proving in public. For example in the
proof preferences questionnaire he did not regard the visual proofs for statements
B (proof 1) and C (proof 1) as being the most convincing proofs. With respect to
statement E though he had, like almost all the students, considered the graphical
proof (proof 2) to persuasive claiming that the graph gives no reason for doubt .
In summary, the responses from the interviews suggest that students felt that
informal arguments had a role in initiating, understanding, and constructing a
proof. Their responses to the proof preferences questionnaire suggest that, in
some contexts, they were more convinced by visual proofs. The implications of
these ndings are brie y discussed in the concluding section.
5. Commentary
From the questionnaire responses it seems that mathematics undergraduates
are keen to publicly declare their agreement with the notions of formal mathematical proof encountered upon entering university. On the other hand, in the
interview responses and in the responses to the proof preferences questionnaire,
there is clear evidence that, privately at any rate, they deviate from the formal
position. Students appear to favour or not reject informal/visual methods of
provingthey appear to hold the view that these methods of arguing have a role
in developing their capacity to prove formally This inconsistent behaviour is
understandable given the lack of experience of proving at school level where the
only activity approximating to proof are inductive con rmations of results [6] or
visual action-proofs [11]. This behaviour may also be the result of the dichotomy
between the way mathematics is taught and the way mathematics is constructed by
mathematicians. We had pointed out earlier that the modus operandi for professional mathematicians tends to be: intuition ! trial and error ! speculation !
conjecture ! proof , but the way they teach undergraduates often focuses only on
the end point of the ow. This focus may marginalize and hide from students the
inherent sense making activity in mathematics. Alibert and Thomas [13] put it this
way:
. . . (the) apparent con ict between the practice of mathematicians on the one
hand, and their teaching methods on the other creates problems for students.
They exhibit a lack of concern for meaning, a lack of appreciation of proof as
a functional tool and an inadequate epistemology. (p. 215)
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
880
D. Almeida
Appendix
Proof preference questionnaire
In this questionnaire a mathematical statement is followed by various proofs .
The proofs are not necessarily correct: some contain errors. In the space after
the proofs please do one of the following things:
a) If you have been introduced to the subject matter relating to the
statement then:
Decide which of the proofs you nd i) the most convincing ii) not convincing iii)
incorrect.
Give brief reasons for your choices. Make any additional comments you may feel
motivated to.
b) If you do not understand the subject matter relating to the statement
then write:
Do not understand this; cannot make a decision.
STATEMENT A : The sum of the angles of a plane triangle is 1808:
Assumptions/results that may have been used in the proofs:
R1. The sum of angles in a straight line about a point is 1808
b
a
c
d
881
a b c d 1808
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
C
c
a
A
Now any triangle PQR can be decomposed into two right angled triangles as show
below
P
p
p p 0 q r 1808
&
(2)
882
D. Almeida
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
Construct a triangle BCD with base BD on AB extended; label the angles d, e, and
f. Construct a line parallel to AB through C.
C
c
d
e
(1)
&
3. Proof :
C
c
A
b
b
B
&
(1)
(2)
883
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
9k2
3k
3k
9k2
3k
9k2
6k
6k
3k
The diagrams show that area of each square never has remainder 2 when divided
by 3. This proves the statement &
2. Proof Suppose that there is some square number n2 which has remainder 2
when divided by 3. Then
n2 3k 2 for some positive number k
n2 1 3k 1
) n 1n 1 3k 1
) n 1nn 1 n3k 1
1
2
3
4
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
884
D. Almeida
The left-hand side of (4) is a product of three consecutive numbers. One of these
must be a multiple of 3. So the left-hand side of (4) must be divisible by 3. But
then so must the right-hand side of (4): that is, n3k 1 is divisible by 3. Because
3k 1 is not divisible by 3, R1 informs us that n must be divisible by 3. But if n
is divisible by 3 then so is n2 . This contradicts (1).
The contradiction shows that no square number can have remainder 2 when
divided by 3. This proves the statement &
3. Proof Consider the sum S of the rst k odd numbers
S 1 3 5 ::: 2k 3 2k 1
S 2k 1 2k 3 2k 5 . . . 3 1
Thus S k2
2S 2k k:
That is, every square number is the sum of the rst k odd numbers for some k.
(5)
Further, the table below shows the remainders when the odd numbers are each
divided by 3:
Odd number
11
13
15
17
19
21
23
25
. . .
Remainder on division by 3
. . .
The table also shows that when the sum of the rst k odd numbers is divided by 3
the remainder is
i) 1 when k a multiple of 3)1
2,
(6)
In view of statement (5) and the preceding sentence we have proved the result
&
(1)
The table below shows that every prime apart from 3 has remainder 2 or 1 when
divided by 3:
Table 1
prime
11
13
17
19
23
29
Remainder on division by 3
885
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
By squaring the remainders (or directly) we can see that the square of a prime
number has remainder 0 or 1 when divided by 3:
Table 2
prime
prime squared
25
11
13
17
19
23
29 . .
1 . .
Table 2 ) every even power of a prime number will have remainder 0 or 1 when
divided by 3.
(2)
Statements (1) and (2) ) every square number will have remainder 0 or 1 when
divided by 3.
(3)
And so the result is proved.
&
Assumptions/results that may have been used in the proofs: R1. If jaj < 1 then
an ! 0 as n ! 1
886
D. Almeida
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
4
R5 = 2 - S5 ...... (1)
5
Clearly the picture shows that R5 becomes smaller as n increases. That is, Rn ! 0
as n ! 1
(2)
It now follows that Sn ! 2 as n ! 1. This proves the statement &
2. Proof : Let
(1)
n1
. . .
(1)
(2)
(3)
&
887
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
STATEMENT D:
6 is an irrational number.
n2
(2)
2
6k . That is,
n2
is a multiple of 6. (3)
(4)
(2)
p
p
3. Proof Suppose 6 is rational. Suppose 6 m=n where m and n are integers
with no common factors.
Squaring and re-arranging gives 6n2 m 2 . Thus m2 is an even number.
It follows that m is also even.
2
(1)
(2)
(4)
(5)
888
D. Almeida
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
This means that m and n have common factor 2 contradicting the hypothesis. The
p
contradiction shows that 6 cannot be rational. This proves the statement. &
p
p
3x 4
and 0 < x < 2: Then x < y < 2
2x 3
3x 4
> x. It follows that 3x 4 > 2x 3x as both 2x 3,
2x 3
3x 4 > 0 when x > 0.
(4)
p
Rearranging the inequality gives 2x2 4 < 0 which is true for x < 2: ; y > x is a
true statement.
(5)
p
Equations (3) and 5 ) x < y < 2. This proves the statement &
If y > x then y
p
3x 4
2. Picture Proof Graphing y x and y
for 0 < x < 2 produces this
2x 3
picture:
889
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
2
y = 3x+4
2x+3
p
p
p
3. Proof If x < 2 then 2 2x < 4. And then 3x 2 2x < 3x 4
p
p
p
If 0 < x < 2 then 0 < 2x < 2 2. This leads to 2x 3 < 2 2 3
(1)
(2)
x
Now dy=dx
ing function.
p
3x 2 2x 3x 4
p
y
<
2 2 3
2x 3
32x 3 23x 4
2x 3
2x 32
p
p
3 2 4 p
2
It follows that yx < y 2 p
2 2 3
p
(4) and 6 ) x < y < 2. This proves the statement.
References
(5)
(6)
&
Downloaded By: [EBSCOHost EJS Content Distribution] At: 18:48 1 February 2008
890
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]