Prove that the sum of an integer and its square is even.

The sum of an integer x and its square is x² + x. Now, since x is either even or odd, there is some integer k such that either x = 2k if x is even or x = (2k + 1) if x is odd. If x = 2k, then x² + x = (2k)² + 2k, which equals 4k² + 2k, which by factoring equals 2(2k² + k), which is even. On the other hand, if x = (2k + 1), then x² + x = (2k + 1)² + (2k + 1), which equals 4k² + 4k + 1 + 2k + 1, which equals 4k² + 6k + 2, which by factoring equals 2(2k² + 3k + 1), which is also even. Since x is arbitrary and the sum of x and its square is even whether x is even or odd, and since every integer is either even or odd, it follows that the sum of any integer and its square is even.

Prove that the sum of even integers is even.

So, assuming that Z = 'the set of integers' and Z^E = 'set of even integers', from step 1 below derive: "x"y [ ( x Î Z^E Ù y Î Z^E ) ® ( ( x + y ) Î Z^E ) ]

y Î Z^E

$k ( k Î Z Ù x = 2k )

$k ( k Î Z Ù y = 2k )

Prove that the number n is an even integer if and only if 3n + 2 = 6k + 2 for some integer k.

Prove: "n$k [ ( n Î Z Ù k Î Z ) ® [ ( n = 2k ) « ( 3n + 2 = 6k + 2 ) ] ]

Same informally: If n and k are integers, then if n is even, n = 2k and n = (6/3)k since 6/3 = 2. Now by algebra, if n = (6/3)k, then 3n = 6k, and moreover 3n + 2 = 6k + 2, which is half of what was to be shown. For the other half, if 3n + 2 = 6k + 2, then by algebra 3n = 6k + 2 - 2, which equals 3n = 6k, in which case n = (6/3)k, and so n = 2k; which covers all that was to be shown.

Prove by induction that n² > ( 5n + 10 ) for all n > 6.

Base:
7² > 5(7) + 10
49 > 35 + 10
49 > 45
Thus: $n ( n > 6 Ù n² > 5n + 10 )

Hypothesis: "n [ ( n > 6 ) ® ( n² > 5n + 10 ) ]

Inductive hypo: "k [ ( k > 6 ) ® ( k² > 5k + 10 ) ] ® "k [ ( k > 6 ) ® ( (k + 1)² > 5(k + 1) + 10 ) ]

So from 1 below we must derive : "k [ ( k > 6 ) ® ( (k + 1)² > 5(k + 1) + 10 ) ]

1. "k [ ( k > 6 ) ® ( k² > 5k + 10 ) ] 

[*] Note that the change of a k in step 6 to '2' in step 7 expresses the transitivity of the greater than relation (ie, '>' ):

In words: if we know that a > b (and by step 2 we know that k > 6) and we also know b > c (as we know 6 > 2), then we know that a > c (and so we know that k > 2, and thus expressing a greater than relation, step 7 must be true).

I consider these proofs to be logical members of my art portfolio where art is defined as sensible articulation of physical or abstract data structures. Such a common definition also seems warranted by the subjective experience that creating or appreciating a piece of art and creating or appreciating a proof both induce similar aesthetic experiences. This may in turn be a consequence of common cognitive structures underlying interpretation and expression of representational data structures.