### Proximity

We are given a regular icosahedron having three red vertices. Show that it has a vertex that has at least two red neighbours.

### Kite in a Square

Can you make sense of the three methods to work out what fraction of the total area is shaded?

# Iff

### Why do this problem?

This problem gives an opportunity to try something out, notice a pattern, make a conjecture, and then prove it. There are several approaches to the proof, both algebraic and visual, which can lead to fruitful discussion about different methods of proof.

Proving the statements in both directions (if and only if) will be quite challenging for some students. To help them to develop these skills, we have provided two "proof sorter" activities which can be used to scaffold the task and offer the support that students need in order to complete the problem.

### Possible approach

If students are unfamiliar with triangular numbers, Picturing Triangle Numbers is a good starting point.

"Choose a triangular number, multiply it by 8 and add 1. What did you get?"
Collect a variety of answers on the board, and invite students to comment on anything they notice:
"The answer is always a square number."

Once they have made a conjecture, there are different routes to a proof. Some students may prefer a visual approach, looking for ways to show the triangular numbers fitting together to make a square. Others may prefer to work algebraically.

Once students have had a go at proving their conjecture, you may wish to offer them this Proof Sorter, which has the steps of a possible proof mixed up for them to put in the correct order. There is a second Proof Sorter which proves the result that if $8k+1$ is square, $k$ is triangular. This could lead to a discussion about the difference between "If" and "If and only if", which can be explored further in the problem Iffy Logic.

Here are links to interactive proof sorters of the first conjecture and of the converse.

### Key questions

What do you notice when you work out $8T+1$ for a triangular number $T$?

Will this always happen?
Can you prove it will always happen?

If $8k+1$ is square, does that necessarily mean $k$ is triangular?

### Possible support

The problem Picturing Triangular Numbers is a good introduction to visual proof, and can be used as a foundation to a pictorial proof of this result.

### Possible extension

Can you prove it? and Sums, Squares and Substantiation has a selection of similar results for which students could try to construct proofs.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://nrich.maths.org/790/note", "fetch_time": 1675702665000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-06/segments/1674764500356.92/warc/CC-MAIN-20230206145603-20230206175603-00293.warc.gz", "warc_record_offset": 429245660, "warc_record_length": 5588, "token_count": 552, "char_count": 2525, "score": 4.625, "int_score": 5, "crawl": "CC-MAIN-2023-06", "snapshot_type": "latest", "language": "en", "language_score": 0.9519008994102478, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00031-of-00064.parquet"}