P_(n)=2^n･sin(π/2^n)
q_(n)=2^n･tan(π/2^n) のとき
q_(n+1)=2p_(n)q_(n)/(p_(n)+q_(n))
p_(n+1)=√(p_(n)q_(n+1)) を示せ


それぞれ半角の公式と倍角の公式でできるそうなのですが、式変形が間違ってるのか解けませんでした
よろしくお願いします