some putnam question

Level 2

Let f be a real-valued function on the plane such that for every square ABCD in the plane, f (A)+ f (B)+ f (C)+ f (D) = 0. Does it follow that f (P) = 0 for all points P in the plane?

yes no no enough information i don't know ;)

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Ahmed Mahmoud
May 13, 2018

Yes, it does follow. Let P be any point in the plane. Let

ABCD be any square with center P. Let E;F;G;H be

the midpoints of the segments AB;BC;CD;DA, respectively.

The function f must satisfy the equations

0 = f (A)+ f (B)+ f (C)+ f (D)

0 = f (E)+ f (F)+ f (G)+ f (H)

0 = f (A)+ f (E)+ f (P)+ f (H)

0 = f (B)+ f (F)+ f (P)+ f (E)

0 = f (C)+ f (G)+ f (P)+ f (F)

0 = f (D)+ f (H)+ f (P)+ f (G):

If we add the last four equations, then subtract the first

equation and twice the second equation, we obtain 0 =4 f (P), whence f (P) = 0.

Michael Mendrin
May 14, 2018

If the four corners add up to 0 0 , then the average is also 0 0 . If we consider infinitesimally small rectanges on the plane, then that means the local average in every such infinitesimaly small rectange is 0 0 , which means the function is 0 0 everywhere.

This is not a formal proof but it's a way of looking at it intuitively.

i thought the same but they just needed some written solution

Ahmed Mahmoud - 3 years ago

Log in to reply

That's why we have formal proofs in mathematics.

Michael Mendrin - 3 years ago

Log in to reply

you are right man:)

Ahmed Mahmoud - 3 years ago

Your argument could be formalized into a proof if f were a continuous function, but that is not assumed in the statement of the question.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...