@Mariusz Iwaniuk 

Your text is difficult to read, it is too small. As far as I can read, the solution (x; y) = (5; 1) is missing. Can recursions be created for the other solutions in the table?

The system of ordinary differential equations to be investigated is linear, homogeneous and has constant coefficients. The solution of such simple systems is described in detail in the literature (Kamke, Pontrjagin, ...). What is being sought? There is no information on initial values. Is only the general solution to be determined or are there specific numerical specifications for the coefficients?

If there are specific initial values ​​and coefficients, the solution of the ODE system in question is very simple with the help of paper and pen after calculating the zeros of the characteristic polynomial. This polynomial is a biquadratic equation.

@nm 

Actually, I asked if the determination of the center of the matrix ring in particular is implemented in Maple. It seems that this is not the case, so we can end our discussion.

@vv 

In the future I have some plans regarding symbolic calculation. I would like to find out where the limits are. As before, I have chosen tasks for this on my journey of discovery.

@nm 

Apparently I expressed myself imprecisely, sorry. The background to my question is the task:
Determine all matrices X that are commutable with every regular matrix with respect to matrix multiplication, i.e. A*X = X*A for all A. This does not exclude the possibility of random hits for X, for which the factors X and A are also commutable.

@Carl Love 

This is a strong solution. But I need a little more time to understand it. The brevity of the solution is impressive. But what happens in the "background" after calling the commands is invisible. A long time ago I solved this task in individual steps using the good old derive. This resulted in two solutions for the auxiliary values ​​(s; x), both of which lead to y=11. But these values ​​are not what the task is looking for.

Thank you very much :-).

@vv 

You have proved a theorem under more general conditions, from which Völler's theorem follows as a special case - congratulations. Please forgive my late comment. I wanted to look into it thoroughly first.

@vv 

Your work shows the imprecise formulation of Völler's theorem and its proof in the original work from 1858. Only when working through his proof can it be seen that important prerequisite for the proof are not mentioned or are only mentioned in passing/superficially. Today the theorem would be formulated differently.

Interpretation in the sense of the original proof (loosely formulated):

In the Euclidean plane, the convex or concave curve section of a four-fold continuously differentiable function f(x) and the points A and B on it as well as the tangents at these points with their intersection point C are given. F is the area of ​​the triangle ABC and G is the area of ​​the curve segment over the chord of length s = AB. The ratio G/F = 2/3 is to be proven for the limiting case B ---> A, i.e. s ---> 0. The function f(x) is assumed to be convex/concave positive with non-vanishing 1st and 2nd derivatives at the points A and B.

Therefore, to explain:

In the original work according to the source, it is tacitly assumed that with a general function approach f(x), the first and second derivatives do not disappear at points A and B and that f(x) is continuously differentiable up to the fourth derivative, so that the Bernoulli/L'Hospital rule can be applied according to the proof procedure. This can only be seen in the course of the proof, including in the sketch and at the end of the calculation. Non-degenerate circles of curvature are assumed at curve points A and B and local extrema are to be excluded there. The sketch used in the original proof shows this without comment, because this is the only way to obtain the non-degenerate position of the tangent intersection point C.

Under these conditions, it is sufficient to evaluate the 4th derivative.

@Rouben Rostamian  

The "red line" of your proof is exactly the same as the one Mr. Völler did in 1858 with the help of paper and pen. I did the same thing some time ago with the help of another software (MC14) and had great difficulty using symbolic calculations. Apparently there are no such problems with Maple.

As a Maple newcomer, I learned something new again - thank you very much.

BTW:
It would be interesting to pose the Völler question in R^n for differentiable (n-1)-dimensional "surfaces". But I still need time to learn how to use Maple.

@Kitonum The proof using Maple is not difficult. Vector calculus is used completely correctly. However, I am of the opinion that a reference to an elementary proof procedure should be allowed. And in this case, elementary knowledge of geometry is sufficient.
Regardless of this, as a Maple newbie, I learned something new from the vector proof (geometry package).

There is a simpler solution that can be described using elementary geometric means. The result 6/7 is of course correct.

@Carl Love Thank you for all the explanations and "poly.mw". It helps.

@Scot Gould

Embarrassing - embarrassing - now I see it too. But thanks to your help I've learned something - be more careful when typing. Now the world is OK again.

@Scot Gould 

To avoid misunderstandings:
As a newbie/beginner in Maple, I am asking for help and advice in this forum, solely to get to know Maple. I accept references to more in-depth mathematical backgrounds with all due respect and an understanding smile/grin - in my case they are unnecessary. To practice Maple, I have chosen tasks from various subject areas and different levels of difficulty. I hope to receive information on my application errors in this forum so that I can learn from them.

To 1.)
I would like to use the Hesse matrix and its determinant in the solution of the task. Its definiteness is decisive for the type of local extremum. Maple offers it as "Hessian", so I use this. I have recalculated the determinant in another independent way and found that the value in your file is correct. The value in my file is incorrect. So where is my mistake in entering the command for "Hessian"? It is interesting to note that your matrix and my matrix only differ in the second derivatives of the function g(u,v) on the main diagonal. I cannot explain this and would like your advice.

2.)
For professional reasons, it was necessary for me to study specialist literature in the original language. This meant that, in addition to school and university, I learned several foreign languages. I will try and hope that we will continue to communicate objectively.

3.)
Thank you again for your advice on settings in Maple. I have already written about the different values ​​of the determinants. Perhaps it is an input error on my part?

Best wishes for the weekend, Alfred_F

@dharr 

Thank you for both answers. As there is no general solution method for Diophantine equations, I had hoped that Maple would have a solution command for a special class of equations of this type. But the numerical solution by force (try-success-failure) is also a solution method that can be continued indefinitely. But as a newbie to Maple, I cannot program yet.

The elegant theoretical solution (paper and pen) to the problem is based on "infinite descent" (Fermat, Euler). Based on this, it is possible to construct recursions for the solution specifically for this problem. So there is also a constructive solution, albeit in the software I used previously. The asymptotic behavior of the solutions is also interesting. You get close to the integer solutions quite quickly.