初三数学证明题，3个方程6个未知数，可用含xym的代数式来表示abc