辺の長さを13k、8k、7kとして余弦定理の式に代入。
したらkが消えてcosが求まる。
三角形の内角は180ﾟより小さいので、（単位円から）cosの値が小さいものから順に角が大きいとわかる