衒学記鳥の日樹蝶

質問 高校生です。Wolframalphaで遊んでいたら面白い答えが出てきて解いてみようと思ったのですが、この積分どうやって解きますか？∫0→π/4 √{tan(x)-tan^2(x)}dx 答えは( √{(1/2)+(1/√2)}-1 )πです。平方完成してtanx-1/2=1/2sinθなどとしても1/cosθが残りますしKing propertyでもうまくいかなそうです。 高校生です。Wolf…