[VA] SRC #009 - Pi Day 2021 Special

[J-F Garnier]

Equations (a) and (b) would be good candidates for benchmarking the combined solve and integrate features on various calculators but I can't really solve them between [3,4] because the expressions to integrate are not defined outside [0,\(\pi\)] however I was able to check that \(\pi\) is indeed a solution of (a), up to 30 decimals or so with Free42. Nice expressions, I have no idea of how they were built.

For point (c), well ... it's a nice identity

J-F