Solve right‑angled triangle problems (#459)