Can Maple prove this simple identity  binomial(2*n, n)/2 = binomial(2*n-1, n-1) ,where n is integer and positive. Doing it manually is very easy. My attempt was unsuccessful:

is(binomial(2*n, n)/2=binomial(2*n-1, n-1)) assuming n::posint;

                                                       FAIL

Here is a problem that I recently had to solve and I really liked it. I recommend it to all Maple fans:

"The contour of the Christmas tree on the occasion of the New Year 2022 is a triangle, which is divided into 7 small triangles, the bases of which are parallel. The areas of triangles and the star are measured in snowflakes, the values of which are presented on the balls (of course, the number of snowflakes must be integer). It is necessary to determine the areas of triangles, on the balls of which there are no numbers".

At first glance it seems that the area of the star is not related to the problem, but it is not. This will become clear only after the problem is solved.

This question came to me when I answered in this thread  https://www.mapleprimes.com/questions/231603-Solve-Onevariable-Equation

The equation there is quite cumbersome, I extracted a shorter subexpression from it (I converted all floats to exact constants), but the  solve  command hangs when trying to solve it. fsolve  handles the equation easily. We can see that the equation  Eq  is quite simple and easy to solve even by hand. I ask this question in a separate topic, because this seems to be a serious bug in the  solve  command.

restart;
Eq:=1-1/(1+203808*exp(-342569/506*t)*(1/131537))^(131537/203808)=44983/56599;
solve(Eq);

Edit. I noticed that the  isolate  command solves the problem, but of course the question remains open with  solve .

How to simplify this trigonometric expression with Maple? I only know the way with  identify command, which is difficult to call mathematically correct:

restart;
Expr:=arctan((1-tan(20*Pi/180))/(1-tan(25*Pi/180)));
evalf[15](Expr);
identify(%);

The problem: to simplify the expression

for any negative  x  and  y .

Below we see that Maple copes with the task brilliantly (example 1). For example, it presents  sqrt(x*y)  as  sqrt(-x)*sqrt(-y)  and so on. But the same technique, applied only to the numerator of this expression does not give the desired presentation in the form of a square (example 2 and example 3).

restart;
# Example 1
A:=(x+y-2*sqrt(x*y))/(sqrt(-x)+sqrt(-y));
simplify(A) assuming negative;
factor(%,{sqrt(-x),sqrt(-y)});

restart;
# Example 2
B:=x+y-2*sqrt(x*y);
simplify(B) assuming negative;
factor(%,{sqrt(-x),sqrt(-y)});

restart;
# Example 3
B:=x+y-2*sqrt(x*y);
R:=simplify(B) assuming positive;
combine(R) assuming positive;
factor(R,{sqrt(x),sqrt(y)});

                                                   

Two questions:

1. Does anyone know the reasons for this behavior.

2. Does anyone know an easy way to simplify in examples 2 and 3 (without  substitutions  like  x=+-u^2  and  y=+-v^2 and so on,  of course)

Download sqrt.mw