∫ln（sinx）d-cotx=-cotx ·ln（sinx）+∫cotxdln（sinx）=-cotx lnsinx+∫﹙1-sin²x﹚／sin²xdx=-cotx lnsinx-cotx-x+c