>>235

投稿してから自分で調べたら
マチンの公式の類似例としてオイラー
arctan(1/p)=arctan{1/(p+q)}+arctan{q/(p^2+p*q+1)}
が出てきた、というだけです。
今しがた身につけたばかりの知識でしたので、
少し見当外れだったかもしれません。