tan の2倍角(パクリ)

言われてみれば

だね。直角3角形の斜辺への中線を補助線として引くのは高度なテクニックで忘れてしまいがち。