>>931
xとyは△ADE=1/3*△ABCという拘束条件があるため
独立ではない