Check Machin-like formulas: Difference between revisions

'''Notes''': The function <tt>machin</tt> compares the results of each formula to π/4 (expressed as <tt>1r4p1</tt> in J's numeric notation). The first example above shows the results of these comparisons for each formula (with 1 for true and 0 for false). In J, arctan is expressed as <tt>_3 o. ''values''</tt> and the function <tt>x:</tt> coerces values to exact representation; thereafter J will maintain exactness throughout its calculations, as long as it can.

 

<lang>Tan[ArcTan[1/2] + ArcTan[1/3]] == 1

Tan[2 ArcTan[1/3] + ArcTan[1/7]] == 1