6.1-3

若最大元素x在非根节点i上
$\because A[PARENT(i)]\geq A[i]$
$\therefore A[PARENT(i)]=A[i]$
故依次向上，能够推出$A[root]=x$，与根节点不是最大元素矛盾
故最大元素必然在根节点