Categories

# 12 Days of Christmas: Day 1

Merry Christmas to everyone reading this! I hope you have had a fantastic day whatever you have been doing.

In an effort to kick-start myself into blogging more I am aiming to post a blog post for each of the 12 days of Christmas. These posts will probably be quite short, some may be fairly random, some may contain teaching resources etc.

As it is Christmas day I thought I would write briefly about a Christmassy-themed theorem involving Pascal’s triangle. The so called, Christmas Stocking Theorem. I only came across this theorem a week ago when David Bedford (@DavidB52s) mentioned it…

This theorem states that a diagonal sum of $$k$$ entires from Pascal’s triangle is equal to the entry below and to the left of the last diagonal entry in the sum

Mathematically this is equivalent to saying:

$$\large \sum_{i=o}^{k-1} \begin{pmatrix} j+i \\ i \end{pmatrix} = \begin{pmatrix} j+k \\ k-1 \end{pmatrix}$$.

In the above, $$j$$ tells you the row at which you begin, and $$k$$ is how many entries you will sum. For example for the first picture above $$j = 2$$ and $$k=4$$, whereas for the second $$j=1$$ and $$k=6$$.

In future posts I may prove this in some fashion but I’ll leave you to experience the wonder for now….
{"ft_lang_label":"__label__en","ft_lang_prob":0.9164561,"math_prob":0.9936786,"size":1225,"snap":"2023-40-2023-50","text_gpt3_token_len":308,"char_repetition_ratio":0.107289106,"word_repetition_ratio":0.0,"special_character_ratio":0.2587755,"punctuation_ratio":0.06995885,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99543566,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-12-09T04:38:00Z\",\"WARC-Record-ID\":\"<urn:uuid:0680659a-b714-4c42-9242-358922d95e71>\",\"Content-Length\":\"57852\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:6e007698-8b8e-42d0-83f5-799de8e03f9b>\",\"WARC-Concurrent-To\":\"<urn:uuid:ecb1f162-454b-4197-ba27-23d298a42cdb>\",\"WARC-IP-Address\":\"92.204.222.170\",\"WARC-Target-URI\":\"https://blog.ifem.co.uk/blog/2018/12/25/12-days-of-christmas-day-1/\",\"WARC-Payload-Digest\":\"sha1:D4FYQVCEY4RKPPPMBVOSQK6WTEQ4WQ35\",\"WARC-Block-Digest\":\"sha1:LMYFPBGI3GGMEVVPHYONSZWPL3D3DBGT\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-50/CC-MAIN-2023-50_segments_1700679100800.25_warc_CC-MAIN-20231209040008-20231209070008-00679.warc.gz\"}"}