张依婷，王淼坤

(湖州师范学院 理学院,浙江 湖州 313000)

0 引 言

众所周知，在平面直角坐标系下，伯努利双纽线标准方程为(x2+y2)2=x2-y2,其弧长公式可表示为4arcsl(1),其中arcsl(x)是著名的反双纽线(三角)正弦函数，定义为[1-3]：

由文献[3]中的定理1.7表明:

近年来，利用二元平均值研究特殊函数的渐近性质及不等式是一种非常有效的方法[4-5].本文将在平均值理论中探究反双纽线正弦函数满足的新不等式,并引入与本文研究相关的几个二元平均值.

设p∈,两个正数a和b的p阶幂平均定义为：

2015年，Witkowski[6]引入Seiffert函数，给出了一族二元平均值——Seiffert型平均值.特别地，若令Seiffert函数为反双纽线(三角)正弦函数，可得如下的反双纽线正弦平均值Marcsl(a,b)：

对p∈和s≥1，定义两个正数a和b推广的p阶幂平均为：

并记以下几个特殊情形：

2017年，王根娣等[7]建立了反双纽线正弦函数的Shafer-Fink型不等式：

不难发现，上述两个不等式可表示为反双纽线正弦平均值Marcsl(a,b)与推广的p阶幂平均之间的平均值不等式，即当a,b>0且a≠b时，

更多关于反双纽线正弦函数的不等式，如Wilker型不等式、Huygens型不等式见文献[8-10].

定理1设α,β∈(0,1)，不等式

对所有a,b>0,a≠b均成立，当且仅当α≤α0=8/27及β≥β0=10/(9ω)≈0.848.

定理2设λ,μ∈(0,1)，不等式

对所有a,b>0,a≠b均成立，当且仅当λ≤λ0=2/3及μ≥μ0=5/(4ω)≈0.954.

在定理1和定理2中，令a=1+x,b=1-x,可得到以下结论：

结论当x∈(0,1)时,不等式

成立，其中,10/(9ω)≈0.848,8/27,5/(4ω)≈0.954和2/3是满足上述不等式成立的最佳参数.

1 引 理

为证明本文的主要结果，建立以下两个引理：

引理1设p∈(0,1)，定义(0,1)上的函数

则下列论断成立：

(Ⅰ)当α0=8/27时，Gα0(x)>0且Gα0(x)在(0,1)上严格单调增加；

(Ⅱ)当β0=10/(9ω)时，Gβ0(x)<0且存在x0∈(0,1),Gβ0(x)在(0,x0)上严格单调减小，在(x0,1)上严格单调增加.

证明计算得：

(1)

(2)

其中，

(3)

Hp(0+)=40-40p,Hp(1-)=0.

(4)

下面分p=α0和p=β0两种情况进行讨论:

情形1p=α0,则由式(3)得：∀t∈(0,1),

(5)

结合式(1)……