嗯。因此分裂。x1严格> x2 impliex x1, x2 > 0
x1 > 0 x1 <π意味着罪恶(x1) > 0
两个积极的和数量是正的。
x =符号(“x”(1 - 2),“真实”的)
假设(0.0001 > > 0 & x (1) > x (2))
日元= x (1) + (2)
y2 = sin (x (1))
总(y1 > 0)
总(y2 > 0)
信谊y3 y4% y3正值y1、y4是正值sin (x (1))
假设(y3 > 0 & y4 > 0)
总(y3 + y4 > 0)