# Math Help - Another counting numbers proof

1. ## Another counting numbers proof

1) For each counting number n let Sn := "Sigma(sub n) = (n(n+1))/2.
Prove that if n is a counting number, then Sn is true.
(The definition of counting number that we are using is meant to be a number in the minimal induction set. By the minimal induction set is meant an induction set no proper subset of which is an induction set.)

2. ## Counting number proof

Hello noles2188
Originally Posted by noles2188
1) For each counting number n let Sn := "Sigma(sub n) = (n(n+1))/2.
Prove that if n is a counting number, then Sn is true.
(The definition of counting number that we are using is meant to be a number in the minimal induction set. By the minimal induction set is meant an induction set no proper subset of which is an induction set.)
I'm not sure whether this proof conforms to your definition of a counting number (which I haven't seen before), but the standard 'induction' proof of this is:
Let $P(n)$ be the propositional function: $S_n =\sum_{i=1}^ni =\tfrac{1}{2}n(n+1)$.

Then $P(n) \Rightarrow S_n+(n+1) = \tfrac{1}{2}n(n+1) +(n+1)$

$= (n+1)(\tfrac{1}{2}n +1)$

$=\tfrac{1}{2}(n+1)(n+2)$

$\Rightarrow P(n+1)$

Now $P(1)$ is: $S_1 = 1 = \tfrac{1}{2}\cdot 1\cdot 2$, which is true.

So by induction, $P(n)$ is true for all $n \in \mathbb{N}$
{"extraction_info": {"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 10, "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, "math_score": 0.9927922487258911, "perplexity": 798.0325119202349}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-32/segments/1438042989443.69/warc/CC-MAIN-20150728002309-00154-ip-10-236-191-2.ec2.internal.warc.gz"}