请回答下列问题：
如图，已知在Rt△ABC中，∠ABC=90°，点D是BC边的中点，分别以B、C为圆心，大于线段BC长度一半的长为半径圆弧，两弧在直线BC上方的交点为P，直线PD交AC于点E，连接BE，则下列结论：①ED⊥BC；②∠A=∠EBA；③EB平分∠AED；④ED=12AB中，一定正确的是（ ）
，不等式
的解集是
，则
等于