@Kitonum 

How does the angle you are looking for change if, instead of the side length of the square, only the property "square" and no side length is specified?
;-)

@vv 

As you might have guessed, proving this statement requires a thorough knowledge of functional analysis and linear algebra. With some effort and literature study, I was able to prove it. Interestingly, this theorem is not included in my favorite books by Riesz/Nagy, Natanson, Hewitt/Stromberg and Shilov/Gurevich. And after further searching, only relatively recent individual articles were found. Their authors are in particular: Pal, Radcliffe and Mirotin. Thanks to your task, I was able to close a gap in my education even at my age. Is there a book on functional analysis/algebra that presents this theorem in its overall context? By this, I mean the structure of the premises and conclusions.

@dharr 

I have occasionally had to solve tasks of this kind when the stability behavior of structures or their natural frequencies/resonances had to be investigated. Unfortunately, the real background of GFY 40's question is not known. And therefore it is unclear whether complex zeros of the calculation model have any significance in reality. Furthermore, the task appears to be a linear model in which "higher order terms" were neglected in the well-known way. I would be interested in information on this. Perhaps the calculated complex zeros are "only" a numerical effect due to the process?

@Rouben Rostamian  

It is impressive that "plot" calculates a table of values ​​(beta; det) in the background and uses it to draw the graphs det=det(beta). I didn't know that and could have used it 50 years ago ;-) . This makes it possible to calculate local zeros of monotonicity arcs with the help of "fsolve" - ​​I am delighted. My suggestion can therefore be seen as a primitive preliminary stage of this procedure and can be forgotten.

@vv 

That is a very interesting task - thank you :-). Since only periodicity is assumed, the concept of function for real-valued functions must be understood more generally. In any case, the statement does not apply generally to "usual" continuous or even differentiable functions. I still need to think about that in more detail, so here is just an attempt at an idea. One solution seems to lie in linear algebra (functions as vector space) and functional analysis (completeness/closure). Let's see if I can come up with something precise. I find tasks like this fun.

@vv 

... cos(0)=1. Therefore (1) a*p=2*m*pi and (2) p=2*n*pi. Inserting p from (2) into (1) and solving for a gives a=m/n and proves the statement according to your idea of ​​proof.
It actually looks as if the statement cannot be checked graphically using the example. It is true that f(x) is periodic for rational a. A continuous approximation of graphs to the state "non-periodic" is probably not possible, although every real number can be represented as the limit of a sequence of rational numbers. Another obstacle is probably the only finite representation of numbers on the computer.
I became aware of this task in 1974.

@Kitonum 

In order to get to know Maple commands better, I am currently interested in the possibilities of checking variants/combinations for target properties. In particular, I would like to be able to examine variants that cannot be easily indexed using a running index 1, 2, ...
How is your code plotted as a result? No drawing was created when it was executed.

@Kitonum 

... for me to practice reading Maple commands in the program. So would you please post the complete code?

@dharr 

...practice reading Maple. But as far as I understand your software expression, a combination like 3-5-7 is missing.

@vv 

I found out about the puzzle about 40 years ago. It probably comes from the AMM. The solution I found at the time was a geometric structure made up of seven congruent triangles, six of which form a regular hexagon and the seventh triangle is attached to the outside of one of the hexagon sides. Unfortunately, as a Maple beginner, I can only use a piece of paper and a pen to prove the statement using this structure (regardless of which color you start with at a corner). Other known solutions also use geometric structures, but without congruent triangles. In any case, there are always only a finite number of ways to examine the color variants.

So here is the reason why I asked this puzzle here:
Does Maple offer the possibility of examining all combinations for a selected geometric structure and evaluating the result "color of the three corners of an equilateral triangle"? In my solution, 2^8 variants would then have to be examined (if I haven't miscalculated).

@Christopher2222 

... contains all the necessary and sufficient information. It follows from this that the existence of an equilateral triangle with corners of the same color must be proven.

Starting aid ;-) :
Choose an equilateral triangle. If the corners are the same color, then you are done. Otherwise, one point is a different color. And now let's get started...(tiling).

@Christopher2222 

The solution is not quite that simple. When a point is chosen, it is not known in advance which of the two colors it has. According to the task, all we know is that it is either red or black. In other words, it is red with probability 0.5 or black with the same probability. According to the task, it is therefore not possible to determine a point with a previously chosen color.

@Rouben Rostamian

...... even without a way of solution. ;-)

@Alfred_F 

The - sign in "sqrt..." must be removed.

@dharr 

First of all, a correction:
The eigenvalues ​​are + or - sqrt(-lambda*mu) :-( . I was too hasty.
With my comment on the system of equations (18) I just wanted to point out the simplicity of the problem originally asked for - sorry. After calculating the eigenvalues ​​and the well-known exp-approach for the general solution of (18), I am amazed that such powerful software as Maple is being used to solve it. On a piece of paper, it would be a short exercise, like when I was a student 60 years ago. But You have probably noticed that I am only a theoretician (once a mathematician, always a mathematician). Regardless, I am very interested in closing my educational gaps in using Maple here, thanks also to Your help ;-) .