Kwadrat PHGD , połowica kwadratu PE , będzie równy kwadratowi PDB , cyrkułu : kwadrat PKRD , równy ósmej części PDN cyrkułu .