@janhardo 

...the implicit solution is obtained by multiplying the given ODE by 2 and then integrating. The initial value is irrelevant in this case. Only the general solution is obtained. The situation is different if the given ODE is converted into explicit form. Then, y(x) must be assumed to be nonzero to ensure continuity on the right-hand side. This also applies to the initial value. Only with special treatment can the abscissa x=0 be included as the boundary of the continuity region. Maple apparently checks for the possibility of b=0 in the background and then rejects the solution as an initial value problem.

... ic=b ? It should be not zero, because of continuity of the "right side". Try it.

@sand15 

The puzzle described is a highly simplified problem from theoretical mechanics. Since English is not my native language, I may have been misunderstood. As a Maple newbie, I just want to learn something about symbolic calculations, as I now have the time and interest to do so at my age. Nevertheless, thank you for your easy-to-understand geometric explanations.

The original problem from theoretical mechanics was intended to simulate the reflection behavior of an ideally elastic sphere upon non-central impact near a spatial wall corner (not at the origin and with walls made of plastic material).

However, since this certainly goes too far here and is unsuitable for me as a Maple learning object, I hereby withdraw the puzzle.

@Rouben Rostamian  

It doesn't matter whether it's a bullet or a sphere, the three circles aren't enough to define exactly one sphere. There are obviously a whole host/set of spheres that meet the requirements. This leads to the question: What is the geometric locus of all sphere centers?

@Carl Love 

...constructing all pairs from the set of indices and omitting irrelevant ones is nothing new to me. But as a beginner, I'm still a long way from implementing this algorithm as professionally as You do. So, there's still a lot to learn :-) .

@dharr 

I can do the rest on my own :-) .

@dharr @janhardo 

I'll take a closer look at this to learn some more Maple techniques. There are some commands in there that I'm still unfamiliar with. So, thank You very much!

@janhardo 

......means, according to the formula in your graph, whether the left side is equal to the right side.

@janhardo 

...even at my age, it's still easy to do:
Multiply both sides of the statement by (2*cos(2^n*x-1)),
apply the third binomial formula to the numerator on the left side,
transform 4*cos^2(2^n*x)-1=2*(cos^2(2^n*x)-1)+1,
apply the half-angle theorem to the parentheses on the right side in the previous line, and I'm done.
My question remains:
Can Maple verify the original statement?

@Carl Love 

...after my mistake.

On
https://www.youtube.com/watch?v=WevMIH6OoQc
I found an exotic-looking addition theorem. I couldn't quickly find any errors in the proof presented there. Therefore, for practice purposes, I wanted to try to reproduce it using symbolic calculations in the Maple-world. Then should be, for the terms "term1" and "term2" in the variable x, term1 = term2. And that's why I don't understand the "false" statement. I'll probably have to use a magnifying glass and tweezers.

Thank you for your advice.

Things get puzzling for x=t/2^n. In the attached file, (3) yields the desired result, but (4) and (5) are contradictory.test2.mw
 

Download test2.mw

@mmcdara 

Thanks for both answers.
BTW
This also proved a well-known addition theorem for the angle sum in the cosine :-).

@vv 

Out of habit, I also tried "derive" with this problem – unsuccessfully. Therefore, in this collection of challenging problems, the tedious solution must be taken "by foot."
The solution for the limit is (2*cos(t)+1)/3.

@acer @dharr

...calculating in the same continuously open worksheet is made again and again ..., the simple result term (6*n-5)/16 no longer occurs; the calculation stops before it. What does this mean?

@dharr 

I would never have thought of the last two simplify commands, thank you very much. The variety of commands created by nesting is impressive.