x^2-y^2=1上の点P(a,b)について、Oを原点とするとき、双曲線・線分OP・x軸によって囲まれた面積をSとすると、a=cosh2s、b=sinh2sとなることを天下り的に教わったのですが、どうやれば証明できますか？