在直角三角形中，有三边为，a, b, c. 其中c是斜边， 证明：
证法1： 利用正切的的公式，
将左面的两个角度之和带入上面公式化简后有：
Tan(α+β)=（+bc++ac）/(-bc-ac-)
= （+bc++ac）/(-bc-ac--) （分母利用勾股定理））
=-1
由于α＜π/2, β＜π/2, (因为括号内为正数)
因此α+β＜π，
所以α+β=arctan(-1)=3π/4
证法2：如图做直角三角形的内切圆，圆的中心角为2π,在中心处出发有6个相邻的角，其中两两相等，各取一个角相加为π， 就有下式：
所以：
haproxy概述haproxy是一款开源的高性能的反向代理或者说是负载均衡服务软件之一，支持双机热备，虚拟主机基于TCP/HTTP应用代理，具有图形界面等功能。其配置简单，而且拥有很好的对服务器节点的健康检查功能(相当于keepalived健康检查)，当其代理的后端服务器出现故障时，haproxy...
使用AWS的客户经常问我们，对于负载均衡，到底是使用AWS的ELB还是Nginx Plus？Amazon曾经发布了一个白皮书来说明如何在AWS上配置Nginx Plus。本文将聚焦在选择Nginx Plus或者ELB时需要考虑的因素方面，也会讨论一些更适合于组合使用Nginx Plus和ELB的情形...
Docker是一个使用Go语言开发的开源的应用容器引擎，让开发者可以打包他们的应用以及依赖到一个可移植的容器中，然后发布到任何流行的机器上。Docker的迅猛发展和全新理念，席卷了整个IT界，成为云时代的一颗新星。Docker的优势Docker相比于传统虚拟化方式具有更多的优势：docker启动快速...
二级目录映射目前前后端项目分离场景多了以后，一般是前端一个端口，后端一个端口。如前端是https://example.com/index.html，调用的接口是https://example.com:4433如此部署对于一些小项目未免有些麻烦，当然你在公网环境下也可以选择使用子域名、其他域名进行跨域...
木二 YP小站运维工具简述Ansible及其优势？Ansible是一款极其简单的开源的自动化运维工具，基于Python开发，集合了众多运维工具(puppet, cfengine, chef, func, fabric)的优点。实现了批量系统配置，批量程序部署，批量运行命令等功能。同时Ansible是...
最近有台nginx服务器(Linux环境)运行的错误日志，提示“Too many open files”，本文整理下我个人总结的解决方法：1、检查当前nginx服务master 进程 和 worker 进程的文件句柄限制（1）在 Nginx 运行时，检查当前 master 进程的限制：cat /pr...