# Discrete Math proof

1. Feb 13, 2010

### maxsthekat

I'm completely stumped on how to begin a discrete math proof, and I'm looking for a little advice on what might be a good way to approach this.

In a previous problem I did a proof by contradiction to show that at least one of the real numbers a1, a2, ... an is greater than or equal to the average of these numbers.

This was done by a1 + a2 + ... + an < nA.
By definition, A = (a1 + a2 + ... + an)/n, which is a contradiction of the assumption, and therefore proving a1, a2, ... an $$\le$$ average of these numbers.

However, now I'm supposed to use this info to prove that if the first 10 integers are placed around a circle, in any order, there exists three integers in consecutive locations around the circle that have a sum greater than or equal to 17.

I have no idea where to go with this. Can someone give me a pointer that could help me start?

Thanks!

-Max

2. Feb 13, 2010

### rasmhop

Let $b_i$ be the ith number plus its two neighbors. Then you wish to show that for at least one i you have $b_i \geq 17$, so for the sake of contradiction assume $b_i \leq 16$ for all i. Now compute the average $A=(b_1+\cdots+b_{10})/10$ and apply your previous result.

3. Feb 13, 2010

### maxsthekat

Thanks, rasmhop :)

So, with the contradiction, in order to show that the contradiction is false, can I take any set of three integers to show it is false? For example, can I simply assert there would be a ring where 8, 9, and 10 are neighbors, and thus the contradiction is false?

I'm still not quite certain how the knowledge from the previous problem is useful. I see that A = 5.66, which means that one of the integers selected will be bigger than 6. Yet, this alone doesn't seem to imply there will be neighbors that will ensure the result is greater than 17.

Thanks again :)

4. Feb 13, 2010

### rasmhop

Your average is incorrect. $b_1+\cdots+b_{10}$ counts each number of 1,2,...,10 three times so we have,
$$A = \frac{b_1+b_2+\cdots+b_{10}}{10} = \frac{3(1+2+\cdots+10)}{10} = 165/10 > 16$$
The average is larger than 16, so at least one b_i must be larger than 16 which contradicts that they are all less than or equal to 16.

No because you're supposed to prove it for all possible ways to place the numbers around the circle and in general 8,9,10 won't be consecutive.
{"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": 1, "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://www.physicsforums.com/threads/discrete-math-proof.378028/", "fetch_time": 1511485022000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2017-47/segments/1510934807044.45/warc/CC-MAIN-20171123233821-20171124013821-00578.warc.gz", "warc_record_offset": 852376415, "warc_record_length": 15135, "token_count": 652, "char_count": 2343, "score": 4.09375, "int_score": 4, "crawl": "CC-MAIN-2017-47", "snapshot_type": "longest", "language": "en", "language_score": 0.9363840222358704, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00050-of-00064.parquet"}