IAL 2023 Jan FP3 Q3

题目

Problem

Solve the equation

4\tanh x+\operatorname{sech}x=1

giving your answer in the form $x=\ln k$ where $k$ is a fully simplified rational number.

(6)

题目中文翻译

求解方程

4\tanh x+\operatorname{sech}x=1

并将答案写成 $x=\ln k$ 的形式，其中 $k$ 为完全化简的有理数。