>>830
この式変形は解答作成者の趣味だな。