Lagrangeの乗数法を用いて、x^2+y^2=1の条件下、二変数関数 z=ax^2+2hxy+by^2の極値問題を考察せよ。