4 . 已知函数，若对于其定义域中任意给定的实数，都有，就称函数满足性质．
(1)已知，判断是否满足性质，并说明理由；
(2)若满足性质，且定义域为．
已知时，，求函数的解析式并指出方程是否有正整数解？请说明理由；
若在上单调递增，判定并证明在上的单调性．

5 . 2024年春节期间，某家庭设计了一个抽红包游戏，以营造和谐轻松愉快的家庭氛围．游戏中有外观完全相同的红包共6个，其中装有10元，20元，30元的红包各两个，小明每次从中任意抽取3个红包，记录金额后放回，共抽2次．若每次抽的红包总金额超过60元记2分，超过40元不超过60元记1分，不超过40元不计分，两次结束得分恰好为3分奖励旺旺零食大礼包一份．
(1)求小明在第一次抽取中，抽出装有20元红包个数多于装有10元红包个数的概率；
(2)用随机变量X表示小明抽两次的得分总和，求X的分布列及期望．

7 . 在平面直角坐标系中，过直线上任一点作该直线的垂线，，线段的中垂线与直线交于点．
(1)当在直线上运动时，求点的轨迹的方程；
(2)过向圆引两条切线，与轨迹的另一个交点分别为，．
（i）证明：直线与圆也相切；
（ii）求周长的最小值．