# A compendium of proof-techniques per objective

Please consider this as an on-going list of techniques preferably per objective or subject.

Many mathematical books (at least lately) are focusing on "design patterns" if you like of proof-techniques or proof-schemes for similar problems/objectives.

It could be very interesting (and educational) if a comprehensive list of proof-techniques can be assembled along with some annotated comments.

Let me give some illustrative examples of what is meant:

1. Proof of existence by actual construction of an object

2. Proof of existence by proving impossible for the object to not exist (e.g fixed points, ergodic transformations etc..)

3. Proof of irrationality by showing an expression is integer and at the same time between 0 and 1

4. Proof of equality by prooving 2 opposite inequalities using known inequalities (e.g Cauchy-Swartz, Arithmetic Mean/Geometric Mean etc..)

5. Proof of isomorphism by existence of 1-1 function between 2 structures

6. Proof of isomorphism by counting arguments (e.g both structures have exactly same number of elements)

7. Proofs using "Diagonalization" for impossibility results (e.g Cantor's Theorem)

8. Proofs by generalization (a-la Grothendiek, Category theory etc.. someone can elaborate further here)

etc..

-
I think this is probably too broad: There are literally entire books about proof techniques. –  user61527 May 25 '14 at 18:18
still i think a list of proof-techniques (even summarized) as a compendium is very very interesting (especially for proffesional mathematicians) i can also add a twist to the question if you like –  Nikos M. May 25 '14 at 18:20
should i migrate this to mathoverflow, i was thinking of adding it there in the 1st place, but out of acquired speed posted it on math.se instead? –  Nikos M. May 25 '14 at 18:26
{"extraction_info": {"found_math": false, "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": 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, "math_score": 0.9122829437255859, "perplexity": 2298.4318906090734}, "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-27/segments/1435375099173.16/warc/CC-MAIN-20150627031819-00055-ip-10-179-60-89.ec2.internal.warc.gz"}