23/07/20 23:59:32.38 gIuDxJTr.net
a>tan(1.4) = 5.797
> D(expression(atan(x)),'x')
1/(1 + x^2)
> curve(atan,0,10)
> abline(h=1.4,lty=3)
> tan(1.4)
[1] 5.797884
> integrate(\(x) 1/(1+x^2),0,tan(1.4))$value
[1] 1.4
グラフより明らか
URLﾘﾝｸ(i.imgur.com)
∴示された
（cogito ergo sum.以外は 何が自明かは人によって異なる）
東大合格者の別解を希望。