在三角形PBF中有 角P+1/2角B=180-(180-角D-1/2角C)
得到角P=角D+1/2角C-1/2角B,又因为角A+角B=角C+角D,将角C=角A+角B-角D代入前式可证得
角P=1/2角A+1/2角D