2020-수학-가형-홀수-12¶

문제¶

2020-수학-가형-홀수-12

from sympy import *

x= symbols('x')
k= symbols('k')
vol = integrate(exp(x)/(exp(x)+1),(x,0,k))
vol

\[\displaystyle \log{\left(e^{k} + 1 \right)} - \log{\left(2 \right)}\]

solve(vol-log(7),k)

[log(13)]