汽车年审怎么审:勾股定理的证明方法