2 problems

Irrationality conjecture. Then $x$ is $x/\pi$ is irrational. The claim is posed in connection with the arithmetic nature of the solutions to the tangent equation; the source provid…

Tangent-equation conjecture. These two equations have no common solutions in $(0,\pi/2)$. The source states this as an equivalent formulation of the disjoint-root conjecture for th…