>>819
x2 = log_2(2 - √3)　の最初の2は対数の底だろ？　ということは真数部分を有理化して
x2 = log_2(2 - √3)=log_2｛1/(2+√3)}=-log_2(2 +√3)