• Congratulations to the Class of 2024 on your results!
    Let us know how you went here
    Got a question about your uni preferences? Ask us here

Is there a Coroneos 100 thing for proofs? (2 Viewers)

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
Now there are 4 more papers, Sydney Girls 2023 at https://community.boredofstudies.or...rls-2023-mathematics-extension-2-trial.20332/ as well as Abbotsleigh 2023, Glenwood 2023, Knox 2023 at https://thsconline.github.io/s/yr12/Maths/trialpapers_extension2.html we can add these:

Sydney Girls 2023: Q3, 12a, 13b, 13c, 13d, 16a, 16b

Abbotsleigh 2023: Q3, 7, 11c, 12d, 14a, 14d, 16a

Glenwood 2023: Q2, 12a, 14a, 15b, 16a

Knox 2023: Q5, 6, 11b, 14c, 14d, 14e, 15a, 16a

which is 27 proof questions. Hence the total is up to 394 now. Maybe the 2023 HSC exam will make it 400 or near that.
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
So apart from the proof chapters in textbooks and past paper questions, what other resources might be useful for proofs?

24 bilibili videos on proofs: https://www.bilibili.com/video/BV1ig411a7kd . This is The Great Courses course Prove It: The Art of Mathematical Argument

If you are not familiar with bilibili it's like a Chinese youtube and you can select the different videos in the video selection box:

Screen Shot 2024-01-24 at 5.04.22 pm.png
Screen Shot 2024-01-24 at 5.04.42 pm.png
Screen Shot 2024-01-24 at 5.04.50 pm.png

There are also some books available as ebooks:

Pólya, G., Mathematics and Plausible Reasoning Vol 1 and 2, Princeton University Press, 1954

Franklin, J.; Daoud, A., Proof in Mathematics: An Introduction, Kew Books, 2011

Gold, Bonnie; Simons, Rogers A.. Proof and Other Dilemmas: Mathematics and Philosophy. MAA., 2008

Solow, D., How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Wiley, 2004

Velleman, D., How to Prove It: A Structured Approach, Cambridge University, 2006

Hammack, Richard, Book of Proof, 2018

Cupillari, Antonella. The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, 4th ed. Academic Press., 2013
 
Last edited:

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
Pólya, G., Mathematics and Plausible Reasoning Vol 1 and 2, Princeton University Press, 1954
Franklin, J.; Daoud, A., Proof in Mathematics: An Introduction, Kew Books, 2011
Gold, Bonnie; Simons, Rogers A.. Proof and Other Dilemmas: Mathematics and Philosophy. MAA., 2008
Solow, D., How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Wiley, 2004
Velleman, D., How to Prove It: A Structured Approach, Cambridge University, 2006
Hammack, Richard, Book of Proof, 2018
Cupillari, Antonella. The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, 4th ed. Academic Press., 2013
Here are some more. The last one isn't out yet, but comes out in April.

Nelsen, R. B., Proofs Without Words I, II and III, MAA Press, 1997, 2000 and 2015

Sethuraman, B., Proofs and Ideas: A Prelude to Advanced Mathematics, MAA Press, 2021

Ernst, D. C., An Introduction to Proof Via Inquiry-Based Learning, MAA Press, 2022

Chow, B., Introduction to Proof Through Number Theory, AMS, 2023

Draganov, A., Taking the “Oof!” Out of Proofs: A Primer on Mathematical Proofs, CRC Press, 2024 (release date April 8, 2024)

Most are available as ebooks, but you may have to wait a bit longer for the last one.
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
......Draganov, A., Taking the “Oof!” Out of Proofs: A Primer on Mathematical Proofs, CRC Press, 2024 (release date April 8, 2024)

you may have to wait a bit longer for the last one.
The ebook for this last one is now available. It came out a bit early a few hours ago. If you are old fashioned and want a hardcopy version you will still have to wait.

I now have the ebook and have read half of it already.
 
Last edited:

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
Here is a new resource for proofs to be published on May 8, 2024:

Kirkwood, J.R., Robeva, R. S., A Bridge to Higher Mathematics, CRC Press, 2024

However the ebook is already available.
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
It's quite a recent proof, made in 2020 by this dude
Zijian-Diao.jpg
ZiJian Diao who put it in
ZiJian Diao (2020) An Elementary Proof of the Irrationality of e, The American Mathematical Monthly, 127:1, page 84
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
  • classification of finite simple groups
so how about the biggest proof ever - that every finite simple group is cyclic of prime order, alternating, Lie type or sporadic

first-generation classification 1955-2004 in over 500 papers and 15000 pages - so spread out that some experts involved in it have said no-one has read them all - so this gave rise to

second-generation classification started in 1994 and is expected to be completed in 2025, 1st 10 volumes are in https://www.mediafire.com/file/jjoj...ion+of+the+Finite+Simple+Groups+1-10.zip/file the last of which came out a few months ago - when completed it could be down to 5000 pages.

this is a much more acceptable format but recently some parts have been shortened by use of the amalgam method and this has given birth to a new idea called the third-generation classification but it unclear how much of the proof can be shortened by this method

one thing that concerned mathematicians was an aspect of proof not yet discussed in this thread, but i will raise it now.

to whom are you proving it?

if the proof can only be understood by a few mathematicians all of whom can fit in a single room and in a few decades they all die, then does the proof still stand? - or does it die with them?

this aspect of proof was alluded to in the article Ornes, Stephen (2015). "Researchers Race to Rescue the Enormous Theorem before Its Giant Proof Vanishes". Scientific American. 313 (1): 68–75.: https://www.scientificamerican.com/...mous-theorem-before-its-giant-proof-vanishes/
 
Last edited:

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
zeta 2024 trial in resources section

Q3, 6, 12d, 13a, 13d

now it is up to 415
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
hurlstone 2024 in resources

Q5, 6, 13a, 13b, 13c, 13d, 13e

so now 422
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
james ruse 2024 in resources

Q3, 6, 12d, 13d, 14b

so now 427
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
baulkham hills 2024 in resources

Q1, 9, 14b, 15c, 16c

so now 432
 

tywebb

dangerman
Joined
Dec 7, 2003
Messages
2,200
Gender
Undisclosed
HSC
N/A
i mentioned before the ruse 2024 Q13d as induction proof - but here is a faster way using the Dirichlet kernel

 

Users Who Are Viewing This Thread (Users: 0, Guests: 2)

Top