This article is from the Puzzles FAQ, by Chris Cole chris@questrel.questrel.com and Matthew Daly mwdaly@pobox.com with numerous contributions by others.

Problem A1

Prove that f(n) = 1 - n is the only integer-valued function defined on

the integers that satisfies the following conditions.

(i) f(f(n)) = n, for all integers n;

(ii) f(f(n + 2) + 2) = n for all integers n;

(iii) f(0) = 1.

Problem A2

Define C(alpha) to be the coefficient of x^1992 in the power series

expansion about x = 0 of (1 + x)^alpha. Evaluate

\int_0^1 C(-y-1) ( 1/(y+1) + 1/(y+2) + 1/(y+3) + ... + 1/(y+1992) ) dy.

Problem A3

For a given positive integer m, find all triples (n,x,y) of positive

integers, with n relatively prime to m, which satisfy (x^2 + y^2)^m = (xy)^n.

Problem A4

Let f be an infinitely differentiable real-valued function defined on

the real numbers. If

f(1/n) = n^2/(n^2 + 1), n = 1,2,3,...,

compute the values of the derivatives f^(k)(0), k = 1,2,3,... .

Problem A5

For each positive integer n, let

a_n = { 0 if the number of 1's in the binary representation of n is even, 1 if the number of 1's in the binary representation of n is odd.

Show that there do not exist positive integers k and m such that

a_{k+j} = a_{k+m+j} = a_{k+2m+j}, for 0 <= j <= m - 1.

Problem A6

Four points are chosen at random on the surface of a sphere. What is the

probability that the center of the sphere lies inside the tetrahedron

whose vertices are at the four points? (It is understood that each point

is independently chosen relative to a uniform distribution on the sphere.)

Problem B1

Let S be a set of n distinct real numbers. Let A_S be the set of numbers

that occur as averages of two distinct elements of S. For a given n >= 2,

what is the smallest possible number of distinct elements in A_S?

Problem B2

For nonnegative integers n and k, define Q(n,k) to be the coefficient of

x^k in the expansion of (1+x+x^2+x^3)^n. Prove that

Q(n,k) = \sum_{j=0}^n {n \choose j} {n \choose k - 2j},

where {a \choose b} is the standard binomial coefficient. (Reminder: For

integers a and b with a >= 0, {a \choose b} = a!/b!(a-b)! for 0 <= b <= a,

and {a \choose b} = 0 otherwise.)

Problem B3

For any pair (x,y) of real numbers, a sequence (a_n(x,y))_{n>=0} is

defined as follows:

a_0(x,y) = x

a_{n+1}(x,y) = ( (a_n(x,y))^2 + y^2 ) / 2, for all n >= 0.

Find the area of the region { (x,y) | (a_n(x,y))_{n>=0} converges }.

Problem B4

Let p(x) be a nonzero polynomial of degree less than 1992 having no

nonconstant factor in common with x^3 - x. Let

( d^1992 / dx^1992 ) ( p(x) / x^3 - x ) = f(x) / g(x)

for polynomials f(x) and g(x). Find the smallest possible degree of f(x).

Problem B5

Let D_n denote the value of the (n-1) by (n-1) determinant

| 3 1 1 1 ... 1 | | 1 4 1 1 ... 1 | | 1 1 5 1 ... 1 | | 1 1 1 6 ... 1 | | . . . . ... . | | 1 1 1 1 ... n+1 |

Is the set {D_n/n!}_{n >= 2} bounded?

Problem B6

Let M be a set of real n by n matrices such that

(i) I \in M, where I is the n by n identity matrix;

(ii) if A \in M and B \in M, then either AB \in M or -AB \in M, but not both;

(iii) if A \in M and B \in M, then either AB = BA or AB = -BA;

(iv) if A \in M and A \noteq I, there is at least one B \in M such that

AB = -BA.

Prove that M contains at most n^2 matrices.

competition/tests/math/putnam/putnam.1992.s

Now the unofficial solutions. Thanks to Noam Elkies for the B6 solution;

thanks also to Peter Akemann, Greg John, and Peter Montgomery.

The Putnam exam deserves criticism this year for an exceptional number

of typos and poorly worded problems. How can someone taking the Putnam

be sure that his solutions will be graded carefully, if the exam itself

shows sloppy typography, grammar, and style?

Problem A1

Prove that f(n) = 1 - n is the only integer-valued function defined on

the integers that satisfies the following conditions.

(i) f(f(n)) = n, for all integers n;

(ii) f(f(n + 2) + 2) = n for all integers n;

(iii) f(0) = 1.

(The comma in (i) is wrong. Either ``conditions.'' should be

``conditions:'' or the semicolons should be periods. Little things...)

Solution: Certainly if f(n) = 1 - n then (i), (ii), and (iii) hold.

Conversely, say (i), (ii), and (iii) hold. We show that f(k) = 1 - k

and f(1 - k) = k for every k >= 0. For k = 0 and 1 we have f(0) = 1 and

f(1) = f(f(0)) = 0. For k >= 2, by induction we have f(k - 2) = 3 - k

and f(3 - k) = k - 2. Note that f(n + 2) + 2 = f(f(f(n + 2) + 2)) = f(n).

So f(k) = f(k - 2) - 2 = 1 - k and f(1 - k) = f(3 - k) + 2 = k as desired.

As k and 1 - k for k >= 1 cover the integers, we are done.

Problem A2

Define C(alpha) to be the coefficient of x^1992 in the power series

expansion about x = 0 of (1 + x)^alpha. Evaluate

\int_0^1 C(-y-1) ( 1/(y+1) + 1/(y+2) + 1/(y+3) + ... + 1/(y+1992) ) dy.

Solution: C(alpha) is given by the usual binomial coefficient formula

{alpha \choose 1992} = \alpha (\alpha - 1) ... (\alpha - 1991) / 1992!.

Hence C(-y-1) = (-y-1)(-y-2)...(-y-1992)/1992! = (y+1)...(y+1992)/1992!.

Set f(y) = (y+1)(y+2)...(y+1992). Now f has logarithmic derivative

f'/f = ( 1/(y+1) + 1/(y+2) + ... + 1/(y+1992) ). Hence our integral

equals \int_0^1 f(y)/1992! f'(y)/f(y) dy = \int_0^1 f'(y) dy/1992! =

(f(1) - f(0))/1992! = (1993! - 1992!)/1992! = 1993 - 1 = 1992.

Problem A3

For a given positive integer m, find all triples (n,x,y) of positive

integers, with n relatively prime to m, which satisfy (x^2 + y^2)^m = (xy)^n.

Solution: Certainly xy < x^2 + y^2 so m < n. Put n = m + k, k > 0.

Let d be the greatest common divisor of x and y. Say x = ds, y = dt.

Now d^{2m}(s^2 + t^2)^m = d^{2n}(st)^n, so (s^2 + t^2)^m = d^{2k}(st)^n.

If a prime p divides s then p divides d^{2k}(st)^n = (s^2 + t^2)^m,

so p must divide t. But s and t are relatively prime. Hence s = 1.

Similarly t = 1. So d^{2k} = 2^m. Hence d is a power of 2, say d = 2^j,

and m = 2jk. As n = m + k = 2jk + k we see that k is a common factor of

m and n. Thus k = 1. So m = 2j, n = 2j + 1, x = y = d = 2^j. If m is odd

then there are no solutions; if m is even then the only possible solution

is (m + 1,2^{m/2},2^{m/2}). This does satisfy the given conditions.

Problem A4

Let f be an infinitely differentiable real-valued function defined on

the real numbers. If

f(1/n) = n^2/(n^2 + 1), n = 1,2,3,...,

compute the values of the derivatives f^(k)(0), k = 1,2,3,... .

(``Let f be a foo. If bar, compute blah.'' Does this mean that one need

only answer the question if ``bar'' happens to be true? May one choose

his favorite f, such as f(x) = x, observe that it does not satisfy ``bar'',

and [successfully] answer the question without computing anything?

``If ..., compute'' should be ``Assume ... . Compute''.)

Solution: We first observe that the function g(x) = 1/(1 + x^2) satisfies

all the known properties of f: it is infinitely differentiable, and

g(1/n) = n^2/(n^2 + 1). From the Taylor expansion of g around 0,

g(x) = 1 - x^2 + x^4 - x^6 + ..., we see that g^(k)(0) is 0 for k odd,

(-1)^{k/2}k! for k even.

Can f differ from g in its derivatives at 0? The difference h = f - g

is an infinitely differentiable function with roots at 1/n for every

positive n. We show that any such function has all derivatives 0 at 0.

Suppose not. Take the least k >= 0 for which h^(k)(0) is nonzero.

Without loss of generality say it is positive. By continuity h^(k) is

positive in an open interval U around 0. Let S be the set of positive

elements of U. Now h^(k-1) is increasing on S, and by minimality of k

we have h^(k-1)(0) = 0, so h^(k-1) is positive on S. Then h^(k-2) is

increasing on S, and h^(k-2)(0) = 0, so h^(k-2) is positive on S. In

general h^j is positive on S for j down from k to 0 by induction. In

particular h is positive on S, but this is impossible, as 1/n is in S

for n sufficiently large.

Thus f has all the same derivatives as g: f^(k)(0) is 0 for k odd,

(-1)^{k/2}k! for k even.

Alternative solution:

Let g(x) = 1/(1 + x^2). We may compute the derivatives as before, and again

the problem reduces to showing that all derivatives of f(x)-g(x) = h(x)

vanish at 0.

By continuity, h^(0) vanishes at 0. We now proceed by induction using the

nth mean value theorem, which states that h(x) = h(0) + h'(0) + ... +

h^(n-1)(0)/(n-1)! + h^(n)(\theta)/n!, where 0 <= \theta <= x. By induction,

the derivatives up to the (n-1)-th vanish at 0, and if we take x = 1, 1/2,

... we get h^(n)(\theta_n) = 0, where 0 <= \theta_n <= 1/n. Hence \{\theta_n\}

tends to 0. But h is infinitely differentiable, so h^n is infinitely

differentiable and hence continuous. It follows that h^(n)(0) = 0.

Yet another solution:

Consider only n divided by l.c.m/(1,2,\ldots,k). f^(k)(0) = \lim_{n\rightarrow\infty} ( \sum_{i=0}^k {k\choose i}(-1)^{i+1} f(i/n) ) / (1/n)^k = \lim_{n\rightarrow\infty} ( \sum_{i=0}^k {k\choose i}(-1)^{i+1} g(i/n) ) / (1/n)^k =g^{k}(0)= \cos(\pi k/2) k!

Or replace n by n*l.c.m.(1,2,\ldots,k) in the above and allow n to be any

positive integer.

Problem A5

For each positive integer n, let

a_n = { 0 if the number of 1's in the binary representation of n is even, 1 if the number of 1's in the binary representation of n is odd.

Show that there do not exist positive integers k and m such that

a_{k+j} = a_{k+m+j} = a_{k+2m+j}, for 0 <= j <= m - 1.

(Is every student supposed to know what the writer means by ``the binary

representation of n''? Anyway, this problem is well known in some circles.

I don't think Putnam writers should copy problems.)

Solution: Let us suppose the opposite. Pick m minimal such that, for

some k, a_{k+j} = a_{k+m+j} for every 0 <= j <= 2m - 1. The minimality

guarantees that m is odd. (Indeed, say m = 2m'. If k = 2k' is even,

then put j = 2j' for 0 <= j' <= m - 1 = 2m' - 1. Now a_n = a_{2n} so

a_{k'+j'} = a_{k+j} = a_{k+m+j} = a_{k'+m'+j'} as desired. If on the

other hand k = 2k' - 1 is odd, then put j = 2j' + 1 for 0 <= j' <= 2m' - 1.

Now a_{k'+j'} = a_{k+j} = a_{k+m+j} = a_{k'+m'+j'} as desired.)

We cannot have m = 1. Indeed, if a_k = a_{k+1} = a_{k+2}, then we have

a_{2n} = a_{2n+1} for n = k/2 if k is even or n = (k+1)/2 if k is odd.

But a_{2n} + a_{2n+1} = 1 always. Hence m is an odd number greater than 1.

Define b_n = (a_n + a_{n-1}) mod 2. For 1 <= j <= 2m - 1 we have

b_{k+j} = b_{k+m+j}. This range of j covers at least 5 values; we can

certainly choose j so as to make k+j equal to 2 mod 4. Then k+m+j is

odd. But b_n is 0 when n is 2 mod 4, and b_n is 1 when n is odd, so we

have a contradiction.

Problem A6

Four points are chosen at random on the surface of a sphere. What is the

probability that the center of the sphere lies inside the tetrahedron

whose vertices are at the four points? (It is understood that each point

is independently chosen relative to a uniform distribution on the sphere.)

Solution: Pick three points A, B, C, and consider the spherical triangle

T defined by those points. The center of the sphere lies in the convex

hull of A, B, C, and another point P if and only if it lies in the convex

hull of T and P. This happens if and only if P is antipodal to T. So the

desired probability is the expected fraction of the sphere's surface area

which is covered by T.

Denote the antipode to a point P by P'. We consider the eight spherical

triangles ABC, A'BC, AB'C, A'B'C, ABC', A'BC', AB'C', A'B'C'. Denote

these by T_0, T_1, T_2, T_3, T_4, T_5, T_6, T_7; we regard each T_i

as a function of the random variables A, B, C. There is an automorphism

of our probability space defined by (A,B,C) -> (A,B,C'). Hence T_0 and

T_4 have the same distribution, and similarly T_1 and T_5, T_2 and T_6,

and T_3 and T_7. Of course the same applies to B, so that T_0 and T_2,

T_1 and T_3, T_4 and T_6, and T_5 and T_7 all have the same distribution.

Finally T_0 and T_1, T_2 and T_3, T_4 and T_5, and T_6 and T_7 all have

the same distribution. We conclude that all the T_i have exactly the

same distribution. In particular the fractional area A_i of T_i has the

same distribution for all i.

On the other hand the total fractional area of all the T_i is exactly

1: the eight triangles cover the sphere exactly once. Hence each T_i

has expected fractional area 1/8. In particular, T_0, the probability we

wanted, has expected value 1/8.

Note that this proof does not require the full strength of uniform

distribution in the usual measure; nor does it require independence

between all the variables. It requires only certain automorphisms of

the probability space.

Problem B1

Let S be a set of n distinct real numbers. Let A_S be the set of numbers

that occur as averages of two distinct elements of S. For a given n >= 2,

what is the smallest possible number of distinct elements in A_S?

(``Smallest possible number of distinct elements in A_S''? Who talks

about ``the number of _distinct_ elements'' of a set? How about just

``the number of elements''? Or ``the size''? Aargh. The quantifiers

here are completely out of whack: n has to be fixed [not ``given'']

before anything else, and it's not immediately clear that ``smallest

possible'' refers to ``the minimum over all S''. Proposed rewrite:

``Fix n >= 2. For any set S of n real numbers, let A_S be the set of

averages of two distinct elements of S. What is the minimum, over all

S, of the size of A_S?'')

Solution: We put the elements of S in order: s_1 < s_2 < ... < s_n.

We have s_1 + s_2 < s_1 + s_3 < ... < s_1 + s_{n-1} < s_1 + s_n <

s_2 + s_n < s_3 + s_n < ... < s_{n-1} + s_n. Hence the 2n - 3 averages

(s_i + s_j)/2, i < j, with i = 1 or j = n, are all distinct. So A_S

has size at least 2n - 3. This is achieved if, for instance,

S = {1,2,...,n}.

Problem B2

For nonnegative integers n and k, define Q(n,k) to be the coefficient of

x^k in the expansion of (1+x+x^2+x^3)^n. Prove that

Q(n,k) = \sum_{j=0}^n {n \choose j} {n \choose k - 2j},

where {a \choose b} is the standard binomial coefficient. (Reminder: For

integers a and b with a >= 0, {a \choose b} = a!/b!(a-b)! for 0 <= b <= a,

and {a \choose b} = 0 otherwise.)

Solution: (1+x^2)(1+x) = 1+x+x^2+x^3, so (1+x^2)^n(1+x)^n = (1+x+x^2+x^3)^n,

so (\sum {n\choose j} x^{2j}) (\sum {n\choose m} x^m) = \sum Q(n,k)x^k.

The coefficient of x^k on the left is the sum of {n\choose j}{n\choose m}

over all j,m with m + 2j = k, i.e., \sum_j {n\choose j}{n\choose k-2j}.

Problem B3

For any pair (x,y) of real numbers, a sequence (a_n(x,y))_{n>=0} is

defined as follows:

a_0(x,y) = x

a_{n+1}(x,y) = ( (a_n(x,y))^2 + y^2 ) / 2, for all n >= 0.

Find the area of the region { (x,y) | (a_n(x,y))_{n>=0} converges }.

(The parentheses in (a_n(x,y))^2 are confusing, as the writer also

uses parentheses to denote the entire sequence of a_n.)

Solution: Note that (x,y) and (x,-y) produce the same sequence, and

(-x,y) and (x,y) produce the same sequence after the first step. So

we will restrict attention to nonnegative x and y and quadruple our

final answer.

Fix x and y. Set f(z) = ( z^2 + y^2 ) / 2, so that a_n(x,y) =

f(a_{n-1}(x,y)). Now f'(z) = z, so f is increasing on the positive reals.

So (a_n(x,y))_n is monotone---either increasing, decreasing, or constant.

We consider several (non-exclusive) possibilities.

Case 1. Say y > 1. Then f(z) > (1 + z^2)/2 + (y - 1) >= z + (y - 1), so

a_n(x,y) increases by at least y - 1 at each step.

Case 2. Say f(x) < x. Then we have 0 < a_n(x,y) < a_{n-1}(x,y) <= x for

every n. (Indeed, for n = 1 we have 0 < f(x) < x. For n >= 2 we have

a_{n-1}(x,y) < a_{n-2}(x,y) by induction. So a_n(x,y) < a_{n-1}(x,y),

as f is increasing.) As (a_n(x,y))_n is decreasing and bounded below,

it converges.

Case 3. Say f(x) > x > 1. Define g(z) = f(z) - z, so that g(x) > 0.

We have g'(z) = z - 1, so g is increasing past 1. Now a_n(x,y) >=

x + ng(x). (Indeed, for n = 1 we have a_1(x,y) = f(x) = x + g(x).

For n >= 2 set a = a_{n-1}(x,y). We have a >= x + (n-1)g(x) > x by

induction. So g(a) > g(x), and a_n(x,y) = f(a) = a + g(a) > a + g(x) >=

x + ng(x) as desired.) So a_n increases without bound.

Case 4. Say x < 1, y < 1. Then f(x) < f(1) < (1 + 1)/2 = 1. Similarly

a_n(x,y) < 1 for every n. As (a_n(x,y))_n is bounded and monotone, it

converges.

Let's put this all together. For y > 1 the sequence diverges. For y < 1

and x < 1 the sequence does converge. For y < 1 and x > 1, the sequence

converges if f(x) < x, and diverges if f(x) > x. The points we miss in

this tally---y = 1, x = 1, f(x) = x---have zero total area.

The condition f(x) < x is equivalent to (x-1)^2 + y^2 < 1, which

describes a quarter-circle of radius 1 in the region y > 0, x > 1. Thus

the total area for positive x and y is 1 (for the square y < 1, x < 1)

plus pi/4 (for the quarter-circle). The final answer is quadruple this,

or 4 + pi.

Problem B4

Let p(x) be a nonzero polynomial of degree less than 1992 having no

nonconstant factor in common with x^3 - x. Let

( d^1992 / dx^1992 ) ( p(x) / (x^3 - x) ) = f(x) / g(x)

for polynomials f(x) and g(x). Find the smallest possible degree of f(x).

(The second sentence is backwards---``let'' should be followed

immediately by the variable being introduced. Would you say ``Let

2 equal x + y for integers x and y''?)

Solution: First divide p(x) by x^3 - x: p(x) = (x^3 - x)q(x) + r(x),

with r of degree at most 2. Now f(x)/g(x) = D^1992 (q(x) + r(x)/(x^3-x))

= D^1992 (r(x)/(x^3-x)), as q has degree less than 1992; here we write

D for d/dx. We expand r(x)/(x^3-x) in partial fractions as -r(0)/x +

r(1)/2(x-1) + r(-1)/2(x+1). Now the 1992nd derivative of this is

Cr(0)/x^1993 + Cr(1)/(x-1)^1993 + Cr(-1)/(x+1)^1993 for a certain

nonzero constant C which we don't care about. This then equals

(Cr(0)(x^2-1)^1993 + Cr(1)(x^2+x)^1993 + Cr(-1)(x^2-x)^1993)/(x^3-x)^1993.

The numerator and denominator here are coprime, for none of x, x-1, x+1

divide the numerator. (If, for instance, x divided the numerator, then

r(0) would have to be 0, but then p(x) would have a factor of x in

common with x^3-x, contrary to hypothesis.) So f(x) is a multiple of

the numerator and g(x) is a multiple of the denominator. Our question

is thus ``What is the smallest possible degree of the polynomial P =

U(x^2-1)^1993 + V(x^2+x)^1993 + W(x^2-x)^1993, over all U, V, W which

can arise as U=Cr(0), V=Cr(1), W=Cr(-1)?''

P has degree at most 2.1993. Its 2.1993 coefficient is U + V + W. Its

2.1993-1 coefficient is 1993V - 1993W. Its 2.1993-2 coefficient is

-1993U + 1993.(1992/2)V + 1993.(1992/2)W. If all three of these are

zero then by linear algebra all of U, V, W are zero, which is not

possible. Hence P, and thus also f, has degree at least 2.1993-2, or

double 1992. This is achieved if, for instance, p(x) = r(x) = 3x^2 - 2,

so that r(0)+r(1)+r(-1)=-2+1+1=0 and r(1)=r(-1).

(The degree restriction on p in this problem seems somewhat strange,

though it simplifies the solution slightly. Noam Elkies notes that

the ``nonzero constant C'' above will be zero---so that f will be 0---

if we're working over a field with characteristic dividing 1992!.

Should the problem have explicitly identified the ground field as

the reals?)

Problem B5

Let D_n denote the value of the (n-1) by (n-1) determinant

| 3 1 1 1 ... 1 | | 1 4 1 1 ... 1 | | 1 1 5 1 ... 1 | | 1 1 1 6 ... 1 | | . . . . ... . | | 1 1 1 1 ... n+1 |

Is the set {D_n/n!}_{n >= 2} bounded?

(``The value of the determinant''? Why not just ``the determinant''?

Why talk about ``the set'' when it's much more common to talk about

``the sequence''? And where's the period on the first sentence?)

Solution: No, it is the harmonic series.

We subtract the first row from each of the other rows, to get a matrix

3 1 1 1 ... 1, -2 3 0 0 ... 0, -2 0 4 0 ... 0, ..., -2 0 0 0 ... n.

Then we subtract 1/3 of the new second row from the first, 1/4 of the

new third row from the first, and so on, to kill all the 1's along the

top. We are left with a triangular matrix, with diagonal X 3 4 ... n,

where X equals 3 - (-2)/3 - (-2)/4 - ... - (-2)/n =

3 + 2/3 + 2/4 + ... + 2/n = 2(1 + 1/2 + 1/3 + 1/4 + ... + 1/n). Thus

the determinant is n! times 1 + 1/2 + 1/3 + ... + 1/n. Q. E. D.

Problem B6

Let M be a set of real n by n matrices such that

(i) I \in M, where I is the n by n identity matrix;

(ii) if A \in M and B \in M, then either AB \in M or -AB \in M, but not both;

(iii) if A \in M and B \in M, then either AB = BA or AB = -BA;

(iv) if A \in M and A \noteq I, there is at least one B \in M such that

AB = -BA.

Prove that M contains at most n^2 matrices.

Solution (courtesy Noam Elkies): Fix A in M. By (iii) AB = eBA, where e

is either +1 or -1, for any B in M. Then AAB = AeBA = eABA = e^2BAA = BAA.

So A^2 commutes with any B in M. Of course the same is true of -A^2. On

the other hand by (ii) A^2 or -A^2 is in M. Pick C = A^2 or C = -A^2 so

that C is in M.

If C is not I, then by (iv) we can find a B in M such that CB = -BC. But

we know CB = BC for any B in M. Thus CB = 0, which is impossible, as by

(ii) no two elements of M can multiply to 0.

We conclude that C must be I. In other words, for any A in M, either A^2

or -A^2 must be I.

Now suppose M has more than n^2 matrices. The space of real n by n

matrices has dimension n^2, so we can find a nontrivial linear relation

\sum_{D in M} x_D D = 0. Pick such a relation with the smallest possible

number of nonzero x_D. We will construct a smaller relation, obtaining a

contradiction and finishing the proof.

Pick an A with x_A nonzero, and multiply by it: \sum_{D in M} x_D DA = 0.

In light of (ii) the matrices DA run over M modulo sign. Hence we have a

new relation \sum_{E in M} y_E E = 0. The point of this transformation is

that now the coefficient y_I of I is +- x_A, which is nonzero.

Pick any C other than I such that y_C is nonzero. By (iv) pick B in M

such that CB = -BC. Multiply \sum_{E in M} y_E E = 0 by B on both the left

and the right, and add: \sum_{E in M} y_E (BE + EB) = 0. Now by (iii) we

have BE + EB = (1 + e_{BE})BE, where e_{BE} is either +1 or -1. In

particular e_{BI} = 1 (clear) and e_{BC} = -1 (by construction of B).

So we get \sum_{E in M} y_E (1 + e_{BE}) BE = 0, where at least one term

does not disappear and at least one term does disappear. As before the

matrices BE run over M modulo sign. So we have a relation with fewer

terms as desired.

---Dan Bernstein, brnstnd@ocf.berkeley.edu, 7 December 1992

Continue to: