设三边为a,b,c,c为斜边
a+b+c=1
a+b=1-c
由均值不等式可得
ab